Trace number 4405429

Some explanations

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

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

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

Solver answer on this benchmark

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

General information on the benchmark

NameSubisomorphism/Subisomorphism-m1-si2-m4D/
Subisomorphism-si2-m4Dr6-m256-00.xml
MD5SUM73ef0e8387fdebf21bbae2b4acf5d521
Bench CategoryCSP (decision problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark0.036418
Satisfiable
(Un)Satisfiability was proved
Number of variables51
Number of constraints105
Number of domains1
Minimum domain size256
Maximum domain size256
Distribution of domain sizes[{"size":256,"count":51}]
Minimum variable degree2
Maximum variable degree11
Distribution of variable degrees[{"degree":2,"count":11},{"degree":3,"count":12},{"degree":4,"count":11},{"degree":6,"count":3},{"degree":7,"count":3},{"degree":8,"count":3},{"degree":9,"count":5},{"degree":10,"count":1},{"degree":11,"count":2}]
Minimum constraint arity1
Maximum constraint arity51
Distribution of constraint arities[{"arity":1,"count":17},{"arity":2,"count":87},{"arity":51,"count":1}]
Number of extensional constraints104
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":104},{"type":"allDifferent","count":1}]
Optimization problemNO
Type of objective

Solver Data 

0.00/0.00	c (scop.sh) java -Xms22g -Xmx22g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Encode -hybrid -solver HOME/manyglucose-4.1-27_release -solverOption -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 -tmp HOME -serialFile HOME/scop-10218-serial-file.bin HOME/instance-4405429-1569338815.xml
0.66/0.54	
0.66/0.54	Fun-sCOP hybrid+manyglucose-4.1-27_release (2019-06-15)
0.66/0.54	
0.66/0.56	c BEGIN-Prog: Tue Sep 24 17:26:15 CEST 2019
0.66/0.56	c PID: 10221
0.66/0.56	c IP: 172.20.3.151
0.66/0.56	c HOST: node151.alineos.net
0.66/0.57	c (0,0) Parsing Begin
1.65/0.93	c (0,0) Parsing End
1.65/0.94	c (0,0) CSP: 51 int (0 aux), 0 bool (0 aux), 105 ctr, max domain size 256
1.65/0.94	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 19 MiB used (max 0 MiB)
1.65/0.94	c (0,0) Constraint Name Generate Begin
1.65/0.94	c (0,0) Ctr:HOME/instance-4405429-1569338815.xml,AllDifferent:ExtensionConflict:ExtensionSupport:Var
1.65/0.94	c (0,0) Constraint Name Generate End
1.65/0.94	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 19 MiB used (max 0 MiB)
1.65/0.94	c (0,0) CSP to CSPinCNF Begin
9.15/3.55	c (3,3) translated 11 (10%) constraints
12.46/5.46	c (4,4) translated 21 (20%) constraints
14.63/7.52	c (6,6) translated 32 (30%) constraints
16.51/9.38	c (8,8) translated 42 (40%) constraints
18.67/11.44	c (10,10) translated 53 (50%) constraints
20.58/13.30	c (12,12) translated 63 (60%) constraints
22.59/15.34	c (14,14) translated 74 (70%) constraints
26.56/17.46	c (16,16) translated 84 (80%) constraints
27.66/18.40	c (17,17) translated 95 (90%) constraints
27.66/18.43	c (17,17) translated 105 (100%) constraints
27.66/18.43	c (17,17) ===========================================
28.04/18.53	c (17,17) Hybrid: #OE=22323, #LE=0
28.04/18.53	c (17,17) Hybrid
28.04/18.53	c (17,17) ===========================================
29.53/19.25	c (18,18) translated 32576 (10%) constraints
30.18/19.87	c (19,19) translated 65152 (20%) constraints
30.78/20.48	c (19,19) translated 97727 (30%) constraints
31.39/21.10	c (20,20) translated 130303 (40%) constraints
32.11/21.71	c (21,20) translated 162878 (50%) constraints
32.71/22.32	c (21,21) translated 195454 (60%) constraints
33.31/22.93	c (22,22) translated 228030 (70%) constraints
33.91/23.55	c (23,22) translated 260605 (80%) constraints
34.52/24.16	c (23,23) translated 293181 (90%) constraints
35.17/24.79	c (24,23) translated 325756 (100%) constraints
35.17/24.79	c (24,23) CSP to CSPinCNF End
35.28/24.80	c (24,23) CSP: 51 int (0 aux), 22272 bool (22272 aux), 325756 ctr, max domain size 256
35.28/24.80	c (24,23) Heap : 2481 MiB used (max 21589 MiB), NonHeap : 30 MiB used (max 0 MiB)
35.28/24.80	c (24,23) CSPinCNF Propagation Begin
39.00/26.87	c (26,26) 0 values, 1009 unsatisfiable literals, and 925 valid clauses are removed
39.00/26.87	c (26,26) CSPinCNF Propagation End
39.00/26.88	c (26,26) CSP: 51 int (0 aux), 22272 bool (22272 aux), 324831 ctr, max domain size 256
39.00/26.88	c (26,26) Heap : 4358 MiB used (max 21589 MiB), NonHeap : 28 MiB used (max 0 MiB)
39.24/27.03	c (26,26) Hybrid: #OE=22323, #LE=0
39.24/27.03	c (26,26) Simplify CSPinCNF Begin
40.30/27.64	c (27,26) Simplify CSPinCNF End
40.30/27.65	c (27,26) CSP: 51 int (0 aux), 24822 bool (24822 aux), 327381 ctr, max domain size 256
40.30/27.65	c (27,26) Heap : 4689 MiB used (max 21589 MiB), NonHeap : 28 MiB used (max 0 MiB)
40.30/27.65	c (27,26) Calculate Precise Domain Begin
40.30/27.65	c (27,26) 0 values are removed by re-calculation
40.30/27.65	c (27,26) Calculate Precise Domain End
40.30/27.65	c (27,26) CSP: 51 int (0 aux), 24822 bool (24822 aux), 327381 ctr, max domain size 256
40.30/27.65	c (27,26) Heap : 4689 MiB used (max 21589 MiB), NonHeap : 28 MiB used (max 0 MiB)
40.30/27.65	c (27,26) CSPinCNF to SatSolver Begin
47.01/30.94	c (30,29) 32739 (10 %) CSP clauses are encoded (0 SAT variables, 691801 SAT clauses)
47.36/31.26	c (30,30) 65477 (20 %) CSP clauses are encoded (0 SAT variables, 724539 SAT clauses)
47.68/31.57	c (31,30) 98215 (30 %) CSP clauses are encoded (0 SAT variables, 757277 SAT clauses)
47.98/31.87	c (31,30) 130953 (40 %) CSP clauses are encoded (0 SAT variables, 790015 SAT clauses)
48.29/32.18	c (31,31) 163691 (50 %) CSP clauses are encoded (0 SAT variables, 822753 SAT clauses)
48.58/32.48	c (31,31) 196429 (60 %) CSP clauses are encoded (0 SAT variables, 855491 SAT clauses)
48.99/32.80	c (32,31) 229167 (70 %) CSP clauses are encoded (0 SAT variables, 888229 SAT clauses)
49.29/33.11	c (32,32) 261905 (80 %) CSP clauses are encoded (0 SAT variables, 920967 SAT clauses)
49.58/33.41	c (32,32) 294643 (90 %) CSP clauses are encoded (0 SAT variables, 953705 SAT clauses)
49.89/33.72	c (33,32) 327381 (100 %) CSP clauses are encoded (0 SAT variables, 986443 SAT clauses)
49.93/33.85	c (33,32) CSPinCNF to SatSolver End
49.93/33.85	c (33,32) Heap : 4041 MiB used (max 21589 MiB), NonHeap : 31 MiB used (max 0 MiB)
49.93/33.85	c (33,32) 37784 bool, 986444 clause
49.93/33.85	c (33,32) Export Begin
50.01/33.93	c (33,32) Export to HOME/scop-10218-serial-file.bin
50.01/33.93	c (33,32) Export End
50.01/33.93	c (33,32) Export File Size: 0.01 MB
50.01/33.93	c (33,32) 0,0,24,26,27,27,33,STOP-AFTER(DIMACS)
50.01/33.93	c END-Prog: Tue Sep 24 17:26:48 CEST 2019
50.01/33.97	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-10218-serial-file.bin
50.70/34.42	c (0,0) Read Serial File Begin
50.70/34.42	c (0,0) HOME/scop-10218-serial-file.bin
50.99/34.63	c (0,0) Read Serial File End
50.99/34.65	
50.99/34.65	Fun-sCOP hybrid+manyglucose-4.1-27_release (2019-06-15)
50.99/34.65	(Solving Process)
50.99/34.65	
50.99/34.67	c BEGIN-Prog: Tue Sep 24 17:26:49 CEST 2019
50.99/34.67	c PID: 10242
50.99/34.67	c IP: 172.20.3.151
50.99/34.67	c HOST: node151.alineos.net
50.99/34.67	c (0,0) SatSolver.solve Begin
50.99/34.67	c (0,0) HOME/manyglucose-4.1-27_release -model -nthreads=8 -maxmemory=20000 -lit-scans=6000000 HOME/instance-4405429-1569338815.xml-scop-10221.cnf
51.20/34.70	c (0,0) c
51.20/34.70	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)
51.20/34.70	c (0,0) c
51.20/34.70	c (0,0) c WARNING: for repeatability, setting FPU to use double precision
51.20/34.70	c (0,0) c 8 solvers engines and 1 companion as a blackboard created.
51.20/34.70	c (0,0) c ========================================[ Problem Statistics ]===========================================
51.20/34.70	c (0,0) c |                                                                                                       |
51.60/35.01	c (0,0) c |  Number of variables:         37784                                                                   |
51.60/35.01	c (0,0) c |  Number of clauses:          986444                                                                   |
51.60/35.01	c (0,0) c |  Parse time:                   0.28 s                                                                 |
51.60/35.01	c (0,0) c |                                                                                                       |
53.99/37.45	c (3,0) c |  Simplification time:          2.41 s                                                                 |
53.99/37.45	c (3,0) c |                                                                                                       |
53.99/37.45	c (3,0) c |  Generating clones                                                                                    |
54.19/37.68	c (3,0) c |  all clones generated. Memory =   557.64Mb.                                                           |
54.19/37.68	c (3,0) c ========================================================================================================|
54.19/37.68	c (3,0) c
54.19/37.68	c (3,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
54.19/37.68	c (3,0) c
54.19/37.68	c (3,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
54.19/37.68	c (3,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
54.19/37.68	c (3,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
54.19/37.68	c (3,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
54.19/37.68	c (3,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
54.19/37.68	c (3,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
54.19/37.68	c (3,0) c | Initial random_seed   |   91648253 |   91648254 |   91648255 |   91648256 |   91648257 |   91648258 |   91648259 |   91648260 |
54.19/37.68	c (3,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
54.19/37.68	c (3,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
54.19/37.69	c (3,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
54.19/37.69	c (3,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
54.19/37.69	c (3,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
54.19/37.69	c (3,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
54.19/37.69	c (3,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
54.19/37.69	c (3,0) c | var_decay             |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |
54.19/37.69	c (3,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
54.19/37.69	c (3,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
54.19/37.69	c (3,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
54.19/37.69	c (3,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
55.24/38.00	c (3,0) c
55.24/38.00	c (3,0) c real time : 3.30555 s
55.24/38.00	c (3,0) c cpu time  : 4.25018 s
55.24/38.00	c (3,0) c
55.24/38.00	c (3,0) c
55.24/38.00	c (3,0) c
55.24/38.00	c (3,0) c |---------------------------------------- FINAL STATS --------------------------------------------------|
55.24/38.00	c (3,0) c
55.24/38.00	c (3,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
55.24/38.00	c (3,0) c | Threads       |      Total      |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
55.24/38.00	c (3,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
55.24/38.00	c (3,0) c | Conflicts     |            1342 |         17 |        239 |        162 |        176 |        196 |        207 |        186 |        159 |
55.24/38.00	c (3,0) c | Decisions     |            2780 |         72 |        520 |        374 |        274 |        422 |        375 |        504 |        239 |
55.24/38.00	c (3,0) c | Propagations  |         1681662 |      69506 |     233501 |     208394 |     220897 |     215505 |     230460 |     225846 |     277553 |
55.24/38.00	c (3,0) c | ReduceDBs     |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
55.24/38.00	c (3,0) c | SimpDBs       |               8 |          1 |          1 |          1 |          1 |          1 |          1 |          1 |          1 |
55.24/38.00	c (3,0) c | Restarts      |               8 |          1 |          1 |          1 |          1 |          1 |          1 |          1 |          1 |
55.24/38.00	c (3,0) c | ForcedImports |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
55.24/38.00	c (3,0) c | PropBinClauses|         1493013 |      48414 |     217071 |     186782 |     189922 |     192525 |     209414 |     222215 |     226670 |
55.24/38.00	c (3,0) c | PropPreBlocker|        28434195 |    1652640 |    4055026 |    3515775 |    3221922 |    3983948 |    3962726 |    3994055 |    4048103 |
55.24/38.00	c (3,0) c | PropNotBlocker|        10638405 |     760002 |    1354925 |    1327234 |    1303280 |    1497974 |    1504367 |    1435999 |    1454624 |
55.24/38.00	c (3,0) c | LitFullScans  |        42860999 |    2520838 |    6005536 |    5266682 |    5026327 |    6004346 |    6012090 |    6001203 |    6023977 |
55.24/38.00	c (3,0) c | LitScanFracts |             926 |          0 |         86 |          0 |          0 |         40 |         25 |        733 |         42 |
55.24/38.00	c (3,0) c | DecisionLevel0|               8 |          1 |          1 |          1 |          1 |          1 |          1 |          1 |          1 |
55.24/38.00	c (3,0) c | Periods       |               5 |          0 |          1 |          0 |          0 |          1 |          1 |          1 |          1 |
55.24/38.00	c (3,0) c | Margin        |             160 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |
55.24/38.00	c (3,0) c | Avg_Trail     |                 |      13085 |       8213 |       4656 |       4293 |       5784 |       4447 |       4233 |       5798 |
55.24/38.00	c (3,0) c | Avg_DL        |                 |         11 |         78 |         30 |         14 |         32 |         21 |         34 |         17 |
55.24/38.00	c (3,0) c | Avg_Res       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
55.24/38.00	c (3,0) c | Avg_Res_Seen  |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
55.24/38.00	c (3,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
55.24/38.00	c (3,0) c | Exported      |              82 |          2 |          5 |         16 |          7 |         13 |         14 |         10 |         15 |
55.24/38.00	c (3,0) c | Imported      |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
55.24/38.00	c (3,0) c | Good          |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
55.24/38.00	c (3,0) c | Purge         |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
55.24/38.00	c (3,0) c | Promoted      |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
55.24/38.00	c (3,0) c | Remove_Imp    |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
55.24/38.00	c (3,0) c | Blocked_Reuse |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
55.24/38.00	c (3,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
55.24/38.00	c (3,0) c | Unaries       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
55.24/38.00	c (3,0) c | Binaries      |                 |          0 |          0 |          4 |          0 |          1 |          2 |          4 |          0 |
55.24/38.00	c (3,0) c | Glues         |                 |          2 |          5 |         16 |          7 |         13 |         14 |         10 |         15 |
55.24/38.00	c (3,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
55.24/38.00	c (3,0) c | Orig_Seen     |             0 % |        933 |       5191 |       6398 |       5674 |       5469 |       5003 |       6330 |       4816 |
55.24/38.00	c (3,0) c | Diff Orig seen|                 |      X     |       4258 |       5465 |       4741 |       4536 |       4070 |       5397 |       3883 |
55.24/38.00	c (3,0) c | Hamming       |            18 % |      X     |       7546 |       6612 |       7363 |       6858 |       7068 |       6728 |       6652 |
55.24/38.00	c (3,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
55.24/38.00	c (3,0) c | RunningTime   |                 |    0.2 100%|    0.3 100%|    0.3 100%|    0.3 100%|    0.3 100%|    0.3 100%|    0.3 100%|    0.3 100%|
55.24/38.00	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.24/38.00	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.24/38.00	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.24/38.00	c (3,0) c | SolvingTime   |                 |    0.2     |    0.3     |    0.3     |    0.3     |    0.3     |    0.3     |    0.3     |    0.3     |
55.24/38.00	c (3,0) c | PropagationTim|                 |    0.2  99%|    0.3  95%|    0.3  97%|    0.3  96%|    0.3  97%|    0.3  96%|    0.3  96%|    0.3  97%|
55.24/38.00	c (3,0) c | AnalysisTime  |                 |    0.0   0%|    0.0   4%|    0.0   2%|    0.0   3%|    0.0   2%|    0.0   2%|    0.0   3%|    0.0   2%|
55.24/38.00	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.24/38.00	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.24/38.00	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.24/38.00	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.24/38.00	c (3,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
55.24/38.00	c (3,0) c
55.24/38.00	c (3,0) c
55.24/38.00	c (3,0) c Threads : 8
55.24/38.00	c (3,0) c Winner : 0
55.24/38.00	c (3,0) c Conflicts_0 : 17
55.24/38.00	c (3,0) c Conflicts_1 : 239
55.24/38.00	c (3,0) c Conflicts_2 : 162
55.24/38.00	c (3,0) c Conflicts_3 : 176
55.24/38.00	c (3,0) c Conflicts_4 : 196
55.24/38.00	c (3,0) c Conflicts_5 : 207
55.24/38.00	c (3,0) c Conflicts_6 : 186
55.24/38.00	c (3,0) c Conflicts_7 : 159
55.24/38.00	c (3,0) c Conflicts_total : 1342
55.24/38.00	c (3,0) c Conflicts_winner : 17
55.24/38.00	c (3,0) c Decisions_0 : 72
55.24/38.00	c (3,0) c Decisions_1 : 520
55.24/38.00	c (3,0) c Decisions_2 : 374
55.24/38.00	c (3,0) c Decisions_3 : 274
55.24/38.00	c (3,0) c Decisions_4 : 422
55.24/38.00	c (3,0) c Decisions_5 : 375
55.24/38.00	c (3,0) c Decisions_6 : 504
55.24/38.00	c (3,0) c Decisions_7 : 239
55.24/38.00	c (3,0) c Decisions_total : 2780
55.24/38.00	c (3,0) c Decisions_winner : 72
55.24/38.00	c (3,0) c Propagations_0 : 69506
55.24/38.00	c (3,0) c Propagations_1 : 233501
55.24/38.00	c (3,0) c Propagations_2 : 208394
55.24/38.00	c (3,0) c Propagations_3 : 220897
55.24/38.00	c (3,0) c Propagations_4 : 215505
55.24/38.00	c (3,0) c Propagations_5 : 230460
55.24/38.00	c (3,0) c Propagations_6 : 225846
55.24/38.00	c (3,0) c Propagations_7 : 277553
55.24/38.00	c (3,0) c Propagations_total : 1681662
55.24/38.00	c (3,0) c Propagations_winner : 69506
55.24/38.00	c (3,0) c ReduceDBs_0 : 0
55.24/38.00	c (3,0) c ReduceDBs_1 : 0
55.24/38.00	c (3,0) c ReduceDBs_2 : 0
55.24/38.00	c (3,0) c ReduceDBs_3 : 0
55.24/38.01	c (3,0) c ReduceDBs_4 : 0
55.24/38.01	c (3,0) c ReduceDBs_5 : 0
55.24/38.01	c (3,0) c ReduceDBs_6 : 0
55.24/38.01	c (3,0) c ReduceDBs_7 : 0
55.24/38.01	c (3,0) c ReduceDBs_total : 0
55.24/38.01	c (3,0) c ReduceDBs_winner : 0
55.24/38.01	c (3,0) c SimpDBs_0 : 1
55.24/38.01	c (3,0) c SimpDBs_1 : 1
55.24/38.01	c (3,0) c SimpDBs_2 : 1
55.24/38.01	c (3,0) c SimpDBs_3 : 1
55.24/38.01	c (3,0) c SimpDBs_4 : 1
55.24/38.01	c (3,0) c SimpDBs_5 : 1
55.24/38.01	c (3,0) c SimpDBs_6 : 1
55.24/38.01	c (3,0) c SimpDBs_7 : 1
55.24/38.01	c (3,0) c SimpDBs_total : 8
55.24/38.01	c (3,0) c SimpDBs_winner : 1
55.24/38.01	c (3,0) c Restarts_0 : 1
55.24/38.01	c (3,0) c Restarts_1 : 1
55.24/38.01	c (3,0) c Restarts_2 : 1
55.24/38.01	c (3,0) c Restarts_3 : 1
55.24/38.01	c (3,0) c Restarts_4 : 1
55.24/38.01	c (3,0) c Restarts_5 : 1
55.24/38.01	c (3,0) c Restarts_6 : 1
55.24/38.01	c (3,0) c Restarts_7 : 1
55.24/38.01	c (3,0) c Restarts_total : 8
55.24/38.01	c (3,0) c Restarts_winner : 1
55.24/38.01	c (3,0) c ForcedImports_0 : 0
55.24/38.01	c (3,0) c ForcedImports_1 : 0
55.24/38.01	c (3,0) c ForcedImports_2 : 0
55.24/38.01	c (3,0) c ForcedImports_3 : 0
55.24/38.01	c (3,0) c ForcedImports_4 : 0
55.24/38.01	c (3,0) c ForcedImports_5 : 0
55.24/38.01	c (3,0) c ForcedImports_6 : 0
55.24/38.01	c (3,0) c ForcedImports_7 : 0
55.24/38.01	c (3,0) c ForcedImports_total : 0
55.24/38.01	c (3,0) c ForcedImports_winner : 0
55.24/38.01	c (3,0) c PropsBinClauses_0 : 48414
55.24/38.01	c (3,0) c PropsBinClauses_1 : 217071
55.24/38.01	c (3,0) c PropsBinClauses_2 : 186782
55.24/38.01	c (3,0) c PropsBinClauses_3 : 189922
55.24/38.01	c (3,0) c PropsBinClauses_4 : 192525
55.24/38.01	c (3,0) c PropsBinClauses_5 : 209414
55.24/38.01	c (3,0) c PropsBinClauses_6 : 222215
55.24/38.01	c (3,0) c PropsBinClauses_7 : 226670
55.24/38.01	c (3,0) c PropsBinClauses_total : 1493013
55.24/38.01	c (3,0) c PropsBinClauses_winner : 48414
55.24/38.01	c (3,0) c PropsPreBlocker_0 : 1652640
55.24/38.01	c (3,0) c PropsPreBlocker_1 : 4055026
55.24/38.01	c (3,0) c PropsPreBlocker_2 : 3515775
55.24/38.01	c (3,0) c PropsPreBlocker_3 : 3221922
55.24/38.01	c (3,0) c PropsPreBlocker_4 : 3983948
55.24/38.01	c (3,0) c PropsPreBlocker_5 : 3962726
55.24/38.01	c (3,0) c PropsPreBlocker_6 : 3994055
55.24/38.01	c (3,0) c PropsPreBlocker_7 : 4048103
55.24/38.01	c (3,0) c PropsPreBlocker_total : 28434195
55.24/38.01	c (3,0) c PropsPreBlocker_winner : 1652640
55.24/38.01	c (3,0) c PropsNotBlocker_0 : 760002
55.24/38.01	c (3,0) c PropsNotBlocker_1 : 1354925
55.24/38.01	c (3,0) c PropsNotBlocker_2 : 1327234
55.24/38.01	c (3,0) c PropsNotBlocker_3 : 1303280
55.24/38.01	c (3,0) c PropsNotBlocker_4 : 1497974
55.24/38.01	c (3,0) c PropsNotBlocker_5 : 1504367
55.24/38.01	c (3,0) c PropsNotBlocker_6 : 1435999
55.79/38.01	c (3,0) c PropsNotBlocker_7 : 1454624
55.79/38.01	c (3,0) c PropsNotBlocker_total : 10638405
55.79/38.01	c (3,0) c PropsNotBlocker_winner : 760002
55.79/38.01	c (3,0) c PropsLitFullScans_0 : 2520838
55.79/38.01	c (3,0) c PropsLitFullScans_1 : 6005536
55.79/38.01	c (3,0) c PropsLitFullScans_2 : 5266682
55.79/38.01	c (3,0) c PropsLitFullScans_3 : 5026327
55.79/38.01	c (3,0) c PropsLitFullScans_4 : 6004346
55.79/38.01	c (3,0) c PropsLitFullScans_5 : 6012090
55.79/38.01	c (3,0) c PropsLitFullScans_6 : 6001203
55.79/38.01	c (3,0) c PropsLitFullScans_7 : 6023977
55.79/38.01	c (3,0) c PropsLitFullScans_total : 42860999
55.79/38.01	c (3,0) c PropsLitFullScans_winner : 2520838
55.79/38.01	c (3,0) c LitScanFractions_0 : 0
55.79/38.01	c (3,0) c LitScanFractions_1 : 86
55.79/38.01	c (3,0) c LitScanFractions_2 : 0
55.79/38.01	c (3,0) c LitScanFractions_3 : 0
55.79/38.01	c (3,0) c LitScanFractions_4 : 40
55.79/38.01	c (3,0) c LitScanFractions_5 : 25
55.79/38.01	c (3,0) c LitScanFractions_6 : 733
55.79/38.01	c (3,0) c LitScanFractions_7 : 42
55.79/38.01	c (3,0) c LitScanFractions_total : 926
55.79/38.01	c (3,0) c LitScanFractions_winner : 0
55.79/38.01	c (3,0) c DecisionLevel0_0 : 1
55.79/38.01	c (3,0) c DecisionLevel0_1 : 1
55.79/38.01	c (3,0) c DecisionLevel0_2 : 1
55.79/38.01	c (3,0) c DecisionLevel0_3 : 1
55.79/38.01	c (3,0) c DecisionLevel0_4 : 1
55.79/38.01	c (3,0) c DecisionLevel0_5 : 1
55.79/38.01	c (3,0) c DecisionLevel0_6 : 1
55.79/38.01	c (3,0) c DecisionLevel0_7 : 1
55.79/38.01	c (3,0) c DecisionLevel0_total : 8
55.79/38.01	c (3,0) c DecisionLevel0_winner : 1
55.79/38.01	c (3,0) c Periods_0 : 0
55.79/38.01	c (3,0) c Periods_1 : 1
55.79/38.01	c (3,0) c Periods_2 : 0
55.79/38.01	c (3,0) c Periods_3 : 0
55.79/38.01	c (3,0) c Periods_4 : 1
55.79/38.01	c (3,0) c Periods_5 : 1
55.79/38.01	c (3,0) c Periods_6 : 1
55.79/38.01	c (3,0) c Periods_7 : 1
55.79/38.01	c (3,0) c Periods_total : 5
55.79/38.01	c (3,0) c Periods_winner : 0
55.79/38.01	c (3,0) c Margin_0 : 20
55.79/38.01	c (3,0) c Margin_1 : 20
55.79/38.01	c (3,0) c Margin_2 : 20
55.79/38.01	c (3,0) c Margin_3 : 20
55.79/38.01	c (3,0) c Margin_4 : 20
55.79/38.01	c (3,0) c Margin_5 : 20
55.79/38.01	c (3,0) c Margin_6 : 20
55.79/38.01	c (3,0) c Margin_7 : 20
55.79/38.01	c (3,0) c Margin_total : 160
55.79/38.01	c (3,0) c Margin_winner : 20
55.79/38.01	c (3,0) c Exported_0 : 2
55.79/38.01	c (3,0) c Exported_1 : 5
55.79/38.01	c (3,0) c Exported_2 : 16
55.79/38.01	c (3,0) c Exported_3 : 7
55.79/38.01	c (3,0) c Exported_4 : 13
55.79/38.01	c (3,0) c Exported_5 : 14
55.79/38.01	c (3,0) c Exported_6 : 10
55.79/38.01	c (3,0) c Exported_7 : 15
55.79/38.01	c (3,0) c Exported_total : 82
55.79/38.01	c (3,0) c Exported_winner : 2
55.79/38.01	c (3,0) c Imported_0 : 0
55.79/38.01	c (3,0) c Imported_1 : 0
55.79/38.01	c (3,0) c Imported_2 : 0
55.79/38.01	c (3,0) c Imported_3 : 0
55.79/38.01	c (3,0) c Imported_4 : 0
55.79/38.01	c (3,0) c Imported_5 : 0
55.79/38.01	c (3,0) c Imported_6 : 0
55.79/38.01	c (3,0) c Imported_7 : 0
55.79/38.01	c (3,0) c Imported_total : 0
55.79/38.01	c (3,0) c Imported_winner : 0
55.79/38.01	c (3,0) c Good_0 : 0
55.79/38.01	c (3,0) c Good_1 : 0
55.79/38.01	c (3,0) c Good_2 : 0
55.79/38.01	c (3,0) c Good_3 : 0
55.79/38.01	c (3,0) c Good_4 : 0
55.79/38.01	c (3,0) c Good_5 : 0
55.79/38.01	c (3,0) c Good_6 : 0
55.79/38.01	c (3,0) c Good_7 : 0
55.79/38.01	c (3,0) c Good_total : 0
55.79/38.01	c (3,0) c Good_winner : 0
55.79/38.01	c (3,0) c Purge_0 : 0
55.79/38.01	c (3,0) c Purge_1 : 0
55.79/38.01	c (3,0) c Purge_2 : 0
55.79/38.01	c (3,0) c Purge_3 : 0
55.79/38.01	c (3,0) c Purge_4 : 0
55.79/38.01	c (3,0) c Purge_5 : 0
55.79/38.01	c (3,0) c Purge_6 : 0
55.79/38.01	c (3,0) c Purge_7 : 0
55.79/38.01	c (3,0) c Purge_total : 0
55.79/38.01	c (3,0) c Purge_winner : 0
55.79/38.01	c (3,0) c Promoted_0 : 0
55.79/38.01	c (3,0) c Promoted_1 : 0
55.79/38.01	c (3,0) c Promoted_2 : 0
55.79/38.01	c (3,0) c Promoted_3 : 0
55.79/38.01	c (3,0) c Promoted_4 : 0
55.79/38.01	c (3,0) c Promoted_5 : 0
55.79/38.01	c (3,0) c Promoted_6 : 0
55.79/38.01	c (3,0) c Promoted_7 : 0
55.79/38.01	c (3,0) c Promoted_total : 0
55.79/38.01	c (3,0) c Promoted_winner : 0
55.79/38.01	c (3,0) c Remove_Imp_0 : 0
55.79/38.01	c (3,0) c Remove_Imp_1 : 0
55.79/38.01	c (3,0) c Remove_Imp_2 : 0
55.79/38.01	c (3,0) c Remove_Imp_3 : 0
55.79/38.01	c (3,0) c Remove_Imp_4 : 0
55.79/38.01	c (3,0) c Remove_Imp_5 : 0
55.79/38.01	c (3,0) c Remove_Imp_6 : 0
55.79/38.01	c (3,0) c Remove_Imp_7 : 0
55.79/38.01	c (3,0) c Remove_Imp_total : 0
55.79/38.01	c (3,0) c Remove_Imp_winner : 0
55.79/38.01	c (3,0) c Blocked_Reuse_0 : 0
55.79/38.01	c (3,0) c Blocked_Reuse_1 : 0
55.79/38.01	c (3,0) c Blocked_Reuse_2 : 0
55.79/38.01	c (3,0) c Blocked_Reuse_3 : 0
55.79/38.01	c (3,0) c Blocked_Reuse_4 : 0
55.79/38.01	c (3,0) c Blocked_Reuse_5 : 0
55.79/38.01	c (3,0) c Blocked_Reuse_6 : 0
55.79/38.01	c (3,0) c Blocked_Reuse_7 : 0
55.79/38.01	c (3,0) c Blocked_Reuse_total : 0
55.79/38.01	c (3,0) c Blocked_Reuse_winner : 0
55.79/38.01	c (3,0) c Unaries_0 : 0
55.79/38.01	c (3,0) c Unaries_1 : 0
55.79/38.01	c (3,0) c Unaries_2 : 0
55.79/38.01	c (3,0) c Unaries_3 : 0
55.79/38.01	c (3,0) c Unaries_4 : 0
55.79/38.01	c (3,0) c Unaries_5 : 0
55.79/38.01	c (3,0) c Unaries_6 : 0
55.79/38.01	c (3,0) c Unaries_7 : 0
55.79/38.01	c (3,0) c Unaries_total : 0
55.79/38.01	c (3,0) c Unaries_winner : 0
55.79/38.01	c (3,0) c Binaries_0 : 0
55.79/38.01	c (3,0) c Binaries_1 : 0
55.79/38.01	c (3,0) c Binaries_2 : 4
55.79/38.01	c (3,0) c Binaries_3 : 0
55.79/38.01	c (3,0) c Binaries_4 : 1
55.79/38.01	c (3,0) c Binaries_5 : 2
55.79/38.01	c (3,0) c Binaries_6 : 4
55.79/38.01	c (3,0) c Binaries_7 : 0
55.79/38.01	c (3,0) c Binaries_total : 11
55.79/38.01	c (3,0) c Binaries_winner : 0
55.79/38.01	c (3,0) c Glues_0 : 2
55.79/38.01	c (3,0) c Glues_1 : 5
55.79/38.01	c (3,0) c Glues_2 : 16
55.79/38.01	c (3,0) c Glues_3 : 7
55.79/38.01	c (3,0) c Glues_4 : 13
55.79/38.01	c (3,0) c Glues_5 : 14
55.79/38.01	c (3,0) c Glues_6 : 10
55.79/38.01	c (3,0) c Glues_7 : 15
55.79/38.01	c (3,0) c Glues_total : 82
55.79/38.01	c (3,0) c Glues_winner : 2
55.79/38.01	c (3,0) c RunningTime_0 : 0.192763
55.79/38.01	c (3,0) c RunningTime_1 : 0.291557
55.79/38.01	c (3,0) c RunningTime_2 : 0.278379
55.79/38.01	c (3,0) c RunningTime_3 : 0.278414
55.79/38.01	c (3,0) c RunningTime_4 : 0.288370
55.79/38.01	c (3,0) c RunningTime_5 : 0.298419
55.79/38.01	c (3,0) c RunningTime_6 : 0.312739
55.79/38.01	c (3,0) c RunningTime_7 : 0.296015
55.79/38.01	c (3,0) c RunningTime_total : 2.236656
55.79/38.01	c (3,0) c RunningTime_winner : 0.192763
55.79/38.01	c (3,0) c WaitingTime_0 : 0.000000
55.79/38.01	c (3,0) c WaitingTime_1 : 0.000000
55.79/38.01	c (3,0) c WaitingTime_2 : 0.000000
55.79/38.01	c (3,0) c WaitingTime_3 : 0.000000
55.79/38.01	c (3,0) c WaitingTime_4 : 0.000000
55.79/38.01	c (3,0) c WaitingTime_5 : 0.000000
55.79/38.01	c (3,0) c WaitingTime_6 : 0.000000
55.79/38.01	c (3,0) c WaitingTime_7 : 0.000000
55.79/38.01	c (3,0) c WaitingTime_total : 0.000000
55.79/38.01	c (3,0) c WaitingTime_winner : 0.000000
55.79/38.01	c (3,0) c ExchangingTime_0 : 0.000007
55.79/38.01	c (3,0) c ExchangingTime_1 : 0.000025
55.79/38.01	c (3,0) c ExchangingTime_2 : 0.000043
55.79/38.01	c (3,0) c ExchangingTime_3 : 0.000020
55.79/38.01	c (3,0) c ExchangingTime_4 : 0.000042
55.79/38.01	c (3,0) c ExchangingTime_5 : 0.000044
55.79/38.01	c (3,0) c ExchangingTime_6 : 0.000040
55.79/38.01	c (3,0) c ExchangingTime_7 : 0.000058
55.79/38.01	c (3,0) c ExchangingTime_total : 0.000279
55.79/38.01	c (3,0) c ExchangingTime_winner : 0.000007
55.79/38.01	c (3,0) c PeriodProcTime_0 : 0.000000
55.79/38.01	c (3,0) c PeriodProcTime_1 : 0.000010
55.79/38.01	c (3,0) c PeriodProcTime_2 : 0.000000
55.79/38.01	c (3,0) c PeriodProcTime_3 : 0.000000
55.79/38.01	c (3,0) c PeriodProcTime_4 : 0.000011
55.79/38.01	c (3,0) c PeriodProcTime_5 : 0.000008
55.79/38.01	c (3,0) c PeriodProcTime_6 : 0.000008
55.79/38.01	c (3,0) c PeriodProcTime_7 : 0.000009
55.79/38.01	c (3,0) c PeriodProcTime_total : 0.000046
55.79/38.01	c (3,0) c PeriodProcTime_winner : 0.000000
55.79/38.01	c (3,0) c SolvingTime_0 : 0.192770
55.79/38.01	c (3,0) c SolvingTime_1 : 0.291593
55.79/38.01	c (3,0) c SolvingTime_2 : 0.278422
55.79/38.01	c (3,0) c SolvingTime_3 : 0.278433
55.79/38.01	c (3,0) c SolvingTime_4 : 0.288423
55.79/38.01	c (3,0) c SolvingTime_5 : 0.298471
55.79/38.01	c (3,0) c SolvingTime_6 : 0.312787
55.79/38.01	c (3,0) c SolvingTime_7 : 0.296082
55.79/38.01	c (3,0) c SolvingTime_total : 2.236981
55.79/38.01	c (3,0) c SolvingTime_winner : 0.192770
55.79/38.01	c (3,0) c PropagationTime_0 : 0.190954
55.79/38.01	c (3,0) c PropagationTime_1 : 0.276830
55.79/38.01	c (3,0) c PropagationTime_2 : 0.269666
55.79/38.01	c (3,0) c PropagationTime_3 : 0.267092
55.79/38.01	c (3,0) c PropagationTime_4 : 0.278466
55.79/38.01	c (3,0) c PropagationTime_5 : 0.287664
55.79/38.01	c (3,0) c PropagationTime_6 : 0.299474
55.79/38.01	c (3,0) c PropagationTime_7 : 0.286991
55.79/38.01	c (3,0) c PropagationTime_total : 2.157138
55.79/38.01	c (3,0) c PropagationTime_winner : 0.190954
55.79/38.01	c (3,0) c AnalysisTime_0 : 0.000628
55.79/38.01	c (3,0) c AnalysisTime_1 : 0.010273
55.79/38.01	c (3,0) c AnalysisTime_2 : 0.005809
55.79/38.01	c (3,0) c AnalysisTime_3 : 0.008076
55.79/38.01	c (3,0) c AnalysisTime_4 : 0.006966
55.79/38.01	c (3,0) c AnalysisTime_5 : 0.006811
55.79/38.01	c (3,0) c AnalysisTime_6 : 0.009388
55.79/38.01	c (3,0) c AnalysisTime_7 : 0.005595
55.79/38.01	c (3,0) c AnalysisTime_total : 0.053545
55.79/38.01	c (3,0) c AnalysisTime_winner : 0.000628
55.79/38.01	c (3,0) c ReductionTime_0 : 0.000000
55.79/38.01	c (3,0) c ReductionTime_1 : 0.000000
55.79/38.01	c (3,0) c ReductionTime_2 : 0.000000
55.79/38.01	c (3,0) c ReductionTime_3 : 0.000000
55.79/38.01	c (3,0) c ReductionTime_4 : 0.000000
55.79/38.01	c (3,0) c ReductionTime_5 : 0.000000
55.79/38.01	c (3,0) c ReductionTime_6 : 0.000000
55.79/38.01	c (3,0) c ReductionTime_7 : 0.000000
55.79/38.01	c (3,0) c ReductionTime_total : 0.000000
55.79/38.01	c (3,0) c ReductionTime_winner : 0.000000
55.79/38.01	c (3,0) c SimplifyTime_0 : 0.000000
55.79/38.01	c (3,0) c SimplifyTime_1 : 0.000001
55.79/38.01	c (3,0) c SimplifyTime_2 : 0.000001
55.79/38.01	c (3,0) c SimplifyTime_3 : 0.000000
55.79/38.01	c (3,0) c SimplifyTime_4 : 0.000000
55.79/38.01	c (3,0) c SimplifyTime_5 : 0.000000
55.79/38.01	c (3,0) c SimplifyTime_6 : 0.000000
55.79/38.01	c (3,0) c SimplifyTime_7 : 0.000000
55.79/38.01	c (3,0) c SimplifyTime_total : 0.000002
55.79/38.01	c (3,0) c SimplifyTime_winner : 0.000000
55.79/38.01	c (3,0) c UsedRateTime_0 : 0.000000
55.79/38.01	c (3,0) c UsedRateTime_1 : 0.000000
55.79/38.01	c (3,0) c UsedRateTime_2 : 0.000000
55.79/38.01	c (3,0) c UsedRateTime_3 : 0.000000
55.79/38.01	c (3,0) c UsedRateTime_4 : 0.000000
55.79/38.01	c (3,0) c UsedRateTime_5 : 0.000000
55.79/38.01	c (3,0) c UsedRateTime_6 : 0.000000
55.79/38.01	c (3,0) c UsedRateTime_7 : 0.000000
55.79/38.01	c (3,0) c UsedRateTime_total : 0.000000
55.79/38.02	c (3,0) c UsedRateTime_winner : 0.000000
55.79/38.02	c (3,0) c OverlapRateTime_0 : 0.000000
55.79/38.02	c (3,0) c OverlapRateTime_1 : 0.000000
55.79/38.02	c (3,0) c OverlapRateTime_2 : 0.000000
55.79/38.02	c (3,0) c OverlapRateTime_3 : 0.000000
55.79/38.02	c (3,0) c OverlapRateTime_4 : 0.000000
55.79/38.02	c (3,0) c OverlapRateTime_5 : 0.000000
55.79/38.02	c (3,0) c OverlapRateTime_6 : 0.000000
55.79/38.02	c (3,0) c OverlapRateTime_7 : 0.000000
55.79/38.02	c (3,0) c OverlapRateTime_total : 0.000000
55.79/38.02	c (3,0) c OverlapRateTime_winner : 0.000000
55.79/38.02	c (3,0) c
55.79/38.02	c (3,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
55.79/38.02	c (3,0) c
55.79/38.02	c (3,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
55.79/38.02	c (3,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
55.79/38.02	c (3,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
55.79/38.02	c (3,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
55.79/38.02	c (3,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
55.79/38.02	c (3,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
55.79/38.02	c (3,0) c | Initial random_seed   |  130186073 | 1168358321 | 1957192351 | 1804416624 |  820278482 | 1753503958 |  757112100 | 1980182143 |
55.79/38.02	c (3,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
55.79/38.02	c (3,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
55.79/38.02	c (3,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
55.79/38.02	c (3,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
55.79/38.02	c (3,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
55.79/38.02	c (3,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
55.79/38.02	c (3,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
55.79/38.02	c (3,0) c | var_decay             |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |
55.79/38.02	c (3,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
55.79/38.02	c (3,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
55.79/38.02	c (3,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
55.79/38.02	c (3,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
55.79/38.02	c (3,0) 
55.79/38.02	c (3,0) s SATISFIABLE
55.79/38.07	c (3,0) SatSolver.solve End
55.79/38.07	c (3,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
55.79/38.07	c (3,0) Show results Begin
56.07/38.16	c (3,0) x[0] = 0
56.07/38.16	c (3,0) x[1] = 39
56.07/38.16	c (3,0) x[2] = 93
56.07/38.16	c (3,0) x[3] = 100
56.07/38.16	c (3,0) x[4] = 179
56.07/38.16	c (3,0) x[5] = 214
56.07/38.16	c (3,0) x[6] = 43
56.07/38.16	c (3,0) x[7] = 116
56.07/38.16	c (3,0) x[8] = 154
56.07/38.16	c (3,0) x[9] = 167
56.07/38.16	c (3,0) x[10] = 200
56.07/38.16	c (3,0) x[11] = 213
56.07/38.16	c (3,0) x[12] = 247
56.07/38.16	c (3,0) x[13] = 249
56.07/38.16	c (3,0) x[14] = 59
56.07/38.16	c (3,0) x[15] = 75
56.07/38.16	c (3,0) x[16] = 215
56.07/38.16	c (3,0) x[17] = 228
56.07/38.16	c (3,0) x[18] = 254
56.07/38.16	c (3,0) x[19] = 48
56.07/38.16	c (3,0) x[20] = 125
56.07/38.16	c (3,0) x[21] = 135
56.07/38.16	c (3,0) x[22] = 105
56.07/38.16	c (3,0) x[23] = 124
56.07/38.16	c (3,0) x[24] = 255
56.07/38.16	c (3,0) x[25] = 237
56.07/38.16	c (3,0) x[26] = 203
56.07/38.16	c (3,0) x[27] = 234
56.07/38.16	c (3,0) x[28] = 223
56.07/38.16	c (3,0) x[29] = 138
56.07/38.16	c (3,0) x[30] = 104
56.07/38.16	c (3,0) x[31] = 112
56.07/38.16	c (3,0) x[32] = 118
56.07/38.16	c (3,0) x[33] = 208
56.07/38.16	c (3,0) x[34] = 88
56.07/38.16	c (3,0) x[35] = 239
56.07/38.16	c (3,0) x[36] = 82
56.07/38.16	c (3,0) x[37] = 99
56.07/38.16	c (3,0) x[38] = 172
56.07/38.16	c (3,0) x[39] = 225
56.07/38.16	c (3,0) x[40] = 246
56.07/38.16	c (3,0) x[41] = 227
56.07/38.16	c (3,0) x[42] = 76
56.07/38.16	c (3,0) x[43] = 35
56.07/38.16	c (3,0) x[44] = 6
56.07/38.16	c (3,0) x[45] = 47
56.07/38.16	c (3,0) x[46] = 69
56.07/38.16	c (3,0) x[47] = 77
56.07/38.16	c (3,0) x[48] = 197
56.07/38.16	c (3,0) x[49] = 207
56.07/38.16	c (3,0) x[50] = 27
56.07/38.16	s SATISFIABLE
56.07/38.17	v <instantiation>
56.07/38.17	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>
56.07/38.17	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>
56.07/38.17	v </instantiation>
56.07/38.17	c (3,0) Show results End
56.07/38.17	c (3,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 18 MiB used (max 0 MiB)
56.07/38.17	c (3,0) 3,3,STOP-AFTER(ALL)
56.07/38.17	c END-Prog: Tue Sep 24 17:26:52 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 (12755 MiB free)
  memory of node 1: 16384 MiB (10070 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4405429-1569338815/watcher-4405429-1569338815 -o /tmp/evaluation-result-4405429-1569338815/solver-4405429-1569338815 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node151-1569335938-8846 --watchdog 2580 HOME/scop.sh 22g HOME/scop.jar -hybrid HOME/manyglucose-4.1-27_release -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 HOME HOME/instance-4405429-1569338815.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=10218, runsolver pid=10215

[startup+0.100136 s]*
/proc/loadavg: 6.47 4.10 2.42 2/212 10240
/proc/meminfo: memFree=23282596/32770624 swapFree=66956484/67108860
[pid=10218] ppid=10215 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/10218/stat : 10218 (scop.sh) S 10215 10218 8819 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 510152760 115843072 349 33554432000 4194304 5098028 140730600839792 140730600837048 139704326455932 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 20533248 140730600846116 140730600846444 140730600846444 140730600849357 0
/proc/10218/statm: 28282 349 296 221 0 87 0
[pid=10221] ppid=10218 vsize=27314120 memory=104312 CPUtime=0.11 cores=0-7
/proc/10221/stat : 10221 (java) S 10218 10218 8819 0 -1 1077944320 6173 0 0 0 9 2 0 0 20 0 20 0 510152761 27969658880 26078 33554432000 4194304 4196468 140729742715344 140729742697888 140524637277943 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 9543680 140729742717674 140729742718102 140729742718102 140729742720975 0
/proc/10221/statm: 6828530 26078 2802 1 0 6790935 0
[pid=10221/tid=10222] ppid=10218 vsize=27314120 memory=7824048260765358745 CPUtime=0.08 cores=0-7
/proc/10221/task/10222/stat : 10222 (java) R 10218 10218 8819 0 -1 4202560 4272 0 0 0 7 1 0 0 20 0 20 0 510152761 27969658880 26590 33554432000 4194304 4196468 140729742715344 140524609091456 140524617554768 0 4 2 16800973 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 9543680 140729742717674 140729742718102 140729742718102 140729742720975 0
[pid=10221/tid=10223] ppid=10218 vsize=27314120 memory=732369857604967397 CPUtime=0 cores=0-7
/proc/10221/task/10223/stat : 10223 (java) S 10218 10218 8819 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510152763 27969658880 26590 33554432000 4194304 4196468 140729742715344 140524641520144 140524637288149 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9543680 140729742717674 140729742718102 140729742718102 140729742720975 0
[pid=10221/tid=10224] ppid=10218 vsize=27314120 memory=139719267513984 CPUtime=0 cores=0-7
/proc/10221/task/10224/stat : 10224 (java) S 10218 10218 8819 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510152763 27969658880 26590 33554432000 4194304 4196468 140729742715344 140524424915600 140524637288149 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9543680 140729742717674 140729742718102 140729742718102 140729742720975 0
[pid=10221/tid=10225] ppid=10218 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10221/task/10225/stat : 10225 (java) S 10218 10218 8819 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510152763 27969658880 26590 33554432000 4194304 4196468 140729742715344 140524423862544 140524637288149 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9543680 140729742717674 140729742718102 140729742718102 140729742720975 0
[pid=10221/tid=10226] ppid=10218 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10221/task/10226/stat : 10226 (java) S 10218 10218 8819 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510152763 27969658880 26590 33554432000 4194304 4196468 140729742715344 140524422810000 140524637288149 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9543680 140729742717674 140729742718102 140729742718102 140729742720975 0
[pid=10221/tid=10227] ppid=10218 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10221/task/10227/stat : 10227 (java) S 10218 10218 8819 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510152763 27969658880 26590 33554432000 4194304 4196468 140729742715344 140524421757968 140524637288149 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9543680 140729742717674 140729742718102 140729742718102 140729742720975 0
[pid=10221/tid=10228] ppid=10218 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/10221/task/10228/stat : 10228 (java) S 10218 10218 8819 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510152763 27969658880 26590 33554432000 4194304 4196468 140729742715344 140524420705424 140524637288149 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9543680 140729742717674 140729742718102 140729742718102 140729742720975 0
[pid=10221/tid=10229] ppid=10218 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10221/task/10229/stat : 10229 (java) S 10218 10218 8819 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510152763 27969658880 26590 33554432000 4194304 4196468 140729742715344 140524419652368 140524637288149 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9543680 140729742717674 140729742718102 140729742718102 140729742720975 0
[pid=10221/tid=10230] ppid=10218 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10221/task/10230/stat : 10230 (java) S 10218 10218 8819 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510152763 27969658880 26590 33554432000 4194304 4196468 140729742715344 140524052798352 140524637288149 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9543680 140729742717674 140729742718102 140729742718102 140729742720975 0
[pid=10221/tid=10231] ppid=10218 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10221/task/10231/stat : 10231 (java) S 10218 10218 8819 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510152765 27969658880 26590 33554432000 4194304 4196468 140729742715344 140522755692784 140524637289090 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9543680 140729742717674 140729742718102 140729742718102 140729742720975 0
[pid=10221/tid=10232] ppid=10218 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10221/task/10232/stat : 10232 (java) S 10218 10218 8819 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 510152765 27969658880 26590 33554432000 4194304 4196468 140729742715344 140522538656928 140524637288149 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9543680 140729742717674 140729742718102 140729742718102 140729742720975 0
[pid=10221/tid=10233] ppid=10218 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10221/task/10233/stat : 10233 (java) S 10218 10218 8819 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 510152766 27969658880 26590 33554432000 4194304 4196468 140729742715344 140522404434672 140524637288149 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9543680 140729742717674 140729742718102 140729742718102 140729742720975 0
[pid=10221/tid=10234] ppid=10218 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10221/task/10234/stat : 10234 (java) S 10218 10218 8819 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510152768 27969658880 26590 33554432000 4194304 4196468 140729742715344 140522029930448 140524637296539 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9543680 140729742717674 140729742718102 140729742718102 140729742720975 0
[pid=10221/tid=10235] ppid=10218 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10221/task/10235/stat : 10235 (java) S 10218 10218 8819 0 -1 1077944384 302 0 0 0 0 0 0 0 20 0 20 0 510152768 27969658880 26590 33554432000 4194304 4196468 140729742715344 140522754640624 140524637289090 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9543680 140729742717674 140729742718102 140729742718102 140729742720975 0
[pid=10221/tid=10236] ppid=10218 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10221/task/10236/stat : 10236 (java) S 10218 10218 8819 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510152768 27969658880 26590 33554432000 4194304 4196468 140729742715344 140522753588080 140524637289090 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9543680 140729742717674 140729742718102 140729742718102 140729742720975 0
[pid=10221/tid=10237] ppid=10218 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10221/task/10237/stat : 10237 (java) S 10218 10218 8819 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510152768 27969658880 26590 33554432000 4194304 4196468 140729742715344 140522752535024 140524637289090 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9543680 140729742717674 140729742718102 140729742718102 140729742720975 0
[pid=10221/tid=10238] ppid=10218 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10221/task/10238/stat : 10238 (java) S 10218 10218 8819 0 -1 1077944384 247 0 0 0 0 0 0 0 20 0 20 0 510152768 27969658880 26590 33554432000 4194304 4196468 140729742715344 140522751482480 140524637289090 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9543680 140729742717674 140729742718102 140729742718102 140729742720975 0
[pid=10221/tid=10239] ppid=10218 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10221/task/10239/stat : 10239 (java) S 10218 10218 8819 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510152768 27969658880 26590 33554432000 4194304 4196468 140729742715344 140521532025312 140524637288149 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9543680 140729742717674 140729742718102 140729742718102 140729742720975 0
[pid=10221/tid=10240] ppid=10218 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/10221/task/10240/stat : 10240 (java) S 10218 10218 8819 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510152769 27969658880 26590 33554432000 4194304 4196468 140729742715344 140522750429872 140524637289090 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9543680 140729742717674 140729742718102 140729742718102 140729742720975 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 105708 KiB

[startup+0.210613 s]*
/proc/loadavg: 6.47 4.10 2.42 3/212 10240
/proc/meminfo: memFree=23261604/32770624 swapFree=66956484/67108860
[pid=10218] ppid=10215 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/10218/stat : 10218 (scop.sh) S 10215 10218 8819 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 510152760 115843072 349 33554432000 4194304 5098028 140730600839792 140730600837048 139704326455932 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 20533248 140730600846116 140730600846444 140730600846444 140730600849357 0
/proc/10218/statm: 28282 349 296 221 0 87 0
[pid=10221] ppid=10218 vsize=27314120 memory=123416 CPUtime=0.25 cores=0-7
/proc/10221/stat : 10221 (java) S 10218 10218 8819 0 -1 1077944320 11775 0 0 0 21 4 0 0 20 0 20 0 510152761 27969658880 30854 33554432000 4194304 4196468 140729742715344 140729742697888 140524637277943 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 9543680 140729742717674 140729742718102 140729742718102 140729742720975 0
/proc/10221/statm: 6828530 30854 2923 1 0 6790935 0
[pid=10221/tid=10222] ppid=10218 vsize=27314120 memory=0 CPUtime=0.2 cores=0-7
/proc/10221/task/10222/stat : 10222 (java) R 10218 10218 8819 0 -1 4202560 9485 0 0 0 17 3 0 0 20 0 20 0 510152761 27969658880 30854 33554432000 4194304 4196468 140729742715344 140524609077328 140524622443582 0 4 2 16800973 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 9543680 140729742717674 140729742718102 140729742718102 140729742720975 0
[pid=10221/tid=10223] ppid=10218 vsize=27314120 memory=732369857604967397 CPUtime=0 cores=0-7
/proc/10221/task/10223/stat : 10223 (java) S 10218 10218 8819 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510152763 27969658880 30854 33554432000 4194304 4196468 140729742715344 140524641520144 140524637288149 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9543680 140729742717674 140729742718102 140729742718102 140729742720975 0
[pid=10221/tid=10224] ppid=10218 vsize=27314120 memory=139719267513984 CPUtime=0 cores=0-7
/proc/10221/task/10224/stat : 10224 (java) S 10218 10218 8819 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510152763 27969658880 30854 33554432000 4194304 4196468 140729742715344 140524424915600 140524637288149 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9543680 140729742717674 140729742718102 140729742718102 140729742720975 0
[pid=10221/tid=10225] ppid=10218 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10221/task/10225/stat : 10225 (java) S 10218 10218 8819 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510152763 27969658880 30854 33554432000 4194304 4196468 140729742715344 140524423862544 140524637288149 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9543680 140729742717674 140729742718102 140729742718102 140729742720975 0
[pid=10221/tid=10226] ppid=10218 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10221/task/10226/stat : 10226 (java) S 10218 10218 8819 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510152763 27969658880 30854 33554432000 4194304 4196468 140729742715344 140524422810000 140524637288149 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9543680 140729742717674 140729742718102 140729742718102 140729742720975 0
[pid=10221/tid=10227] ppid=10218 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10221/task/10227/stat : 10227 (java) S 10218 10218 8819 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510152763 27969658880 30854 33554432000 4194304 4196468 140729742715344 140524421757968 140524637288149 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9543680 140729742717674 140729742718102 140729742718102 140729742720975 0
[pid=10221/tid=10228] ppid=10218 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/10221/task/10228/stat : 10228 (java) S 10218 10218 8819 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510152763 27969658880 30854 33554432000 4194304 4196468 140729742715344 140524420705424 140524637288149 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9543680 140729742717674 140729742718102 140729742718102 140729742720975 0
[pid=10221/tid=10229] ppid=10218 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10221/task/10229/stat : 10229 (java) S 10218 10218 8819 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510152763 27969658880 30854 33554432000 4194304 4196468 140729742715344 140524419652368 140524637288149 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9543680 140729742717674 140729742718102 140729742718102 140729742720975 0
[pid=10221/tid=10230] ppid=10218 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10221/task/10230/stat : 10230 (java) S 10218 10218 8819 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510152763 27969658880 30854 33554432000 4194304 4196468 140729742715344 140524052798352 140524637288149 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9543680 140729742717674 140729742718102 140729742718102 140729742720975 0
[pid=10221/tid=10231] ppid=10218 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10221/task/10231/stat : 10231 (java) S 10218 10218 8819 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510152765 27969658880 30854 33554432000 4194304 4196468 140729742715344 140522755692784 140524637289090 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9543680 140729742717674 140729742718102 140729742718102 140729742720975 0
[pid=10221/tid=10232] ppid=10218 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10221/task/10232/stat : 10232 (java) S 10218 10218 8819 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 510152765 27969658880 30854 33554432000 4194304 4196468 140729742715344 140522538656928 140524637288149 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9543680 140729742717674 140729742718102 140729742718102 140729742720975 0
[pid=10221/tid=10233] ppid=10218 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10221/task/10233/stat : 10233 (java) S 10218 10218 8819 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 510152766 27969658880 30854 33554432000 4194304 4196468 140729742715344 140522404434672 140524637288149 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9543680 140729742717674 140729742718102 140729742718102 140729742720975 0
[pid=10221/tid=10234] ppid=10218 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10221/task/10234/stat : 10234 (java) S 10218 10218 8819 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510152768 27969658880 30854 33554432000 4194304 4196468 140729742715344 140522029930448 140524637296539 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9543680 140729742717674 140729742718102 140729742718102 140729742720975 0
[pid=10221/tid=10235] ppid=10218 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10221/task/10235/stat : 10235 (java) S 10218 10218 8819 0 -1 1077944384 431 0 0 0 0 0 0 0 20 0 20 0 510152768 27969658880 30854 33554432000 4194304 4196468 140729742715344 140522754640624 140524637289090 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9543680 140729742717674 140729742718102 140729742718102 140729742720975 0
[pid=10221/tid=10236] ppid=10218 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10221/task/10236/stat : 10236 (java) S 10218 10218 8819 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510152768 27969658880 30854 33554432000 4194304 4196468 140729742715344 140522753588080 140524637289090 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9543680 140729742717674 140729742718102 140729742718102 140729742720975 0
[pid=10221/tid=10237] ppid=10218 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10221/task/10237/stat : 10237 (java) S 10218 10218 8819 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 20 0 510152768 27969658880 30854 33554432000 4194304 4196468 140729742715344 140522752535024 140524637289090 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9543680 140729742717674 140729742718102 140729742718102 140729742720975 0
[pid=10221/tid=10238] ppid=10218 vsize=27314120 memory=0 CPUtime=0.02 cores=0-7
/proc/10221/task/10238/stat : 10238 (java) S 10218 10218 8819 0 -1 1077944384 446 0 0 0 2 0 0 0 20 0 20 0 510152768 27969658880 30854 33554432000 4194304 4196468 140729742715344 140522751482480 140524637289090 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9543680 140729742717674 140729742718102 140729742718102 140729742720975 0
[pid=10221/tid=10239] ppid=10218 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10221/task/10239/stat : 10239 (java) S 10218 10218 8819 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510152768 27969658880 30854 33554432000 4194304 4196468 140729742715344 140521532025312 140524637288149 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9543680 140729742717674 140729742718102 140729742718102 140729742720975 0
[pid=10221/tid=10240] ppid=10218 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/10221/task/10240/stat : 10240 (java) S 10218 10218 8819 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510152769 27969658880 30854 33554432000 4194304 4196468 140729742715344 140522750429872 140524637289090 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9543680 140729742717674 140729742718102 140729742718102 140729742720975 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 124812 KiB

[startup+0.309989 s]*
/proc/loadavg: 6.47 4.10 2.42 2/212 10240
/proc/meminfo: memFree=23258440/32770624 swapFree=66956484/67108860
[pid=10218] ppid=10215 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/10218/stat : 10218 (scop.sh) S 10215 10218 8819 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 510152760 115843072 349 33554432000 4194304 5098028 140730600839792 140730600837048 139704326455932 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 20533248 140730600846116 140730600846444 140730600846444 140730600849357 0
/proc/10218/statm: 28282 349 296 221 0 87 0
[pid=10221] ppid=10218 vsize=27314120 memory=127584 CPUtime=0.42 cores=0-7
/proc/10221/stat : 10221 (java) S 10218 10218 8819 0 -1 1077944320 12295 0 0 0 38 4 0 0 20 0 20 0 510152761 27969658880 31896 33554432000 4194304 4196468 140729742715344 140729742697888 140524637277943 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 9543680 140729742717674 140729742718102 140729742718102 140729742720975 0
/proc/10221/statm: 6828530 31896 3023 1 0 6790935 0
[pid=10221/tid=10222] ppid=10218 vsize=27314120 memory=6791534058613427641 CPUtime=0.29 cores=0-7
/proc/10221/task/10222/stat : 10222 (java) R 10218 10218 8819 0 -1 4202560 9816 0 0 0 26 3 0 0 20 0 20 0 510152761 27969658880 31896 33554432000 4194304 4196468 140729742715344 140524609062928 140524618841447 0 4 2 16800973 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 9543680 140729742717674 140729742718102 140729742718102 140729742720975 0
[pid=10221/tid=10223] ppid=10218 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10221/task/10223/stat : 10223 (java) S 10218 10218 8819 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510152763 27969658880 31896 33554432000 4194304 4196468 140729742715344 140524641520144 140524637288149 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9543680 140729742717674 140729742718102 140729742718102 140729742720975 0
[pid=10221/tid=10224] ppid=10218 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10221/task/10224/stat : 10224 (java) S 10218 10218 8819 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510152763 27969658880 31896 33554432000 4194304 4196468 140729742715344 140524424915600 140524637288149 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9543680 140729742717674 140729742718102 140729742718102 140729742720975 0
[pid=10221/tid=10225] ppid=10218 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10221/task/10225/stat : 10225 (java) S 10218 10218 8819 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510152763 27969658880 31896 33554432000 4194304 4196468 140729742715344 140524423862544 140524637288149 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9543680 140729742717674 140729742718102 140729742718102 140729742720975 0
[pid=10221/tid=10226] ppid=10218 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10221/task/10226/stat : 10226 (java) S 10218 10218 8819 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510152763 27969658880 31896 33554432000 4194304 4196468 140729742715344 140524422810000 140524637288149 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9543680 140729742717674 140729742718102 140729742718102 140729742720975 0
[pid=10221/tid=10227] ppid=10218 vsize=27314120 memory=2244 CPUtime=0 cores=0-7
/proc/10221/task/10227/stat : 10227 (java) S 10218 10218 8819 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510152763 27969658880 31896 33554432000 4194304 4196468 140729742715344 140524421757968 140524637288149 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9543680 140729742717674 140729742718102 140729742718102 140729742720975 0
[pid=10221/tid=10228] ppid=10218 vsize=27314120 memory=139719111439279 CPUtime=0 cores=0-7
/proc/10221/task/10228/stat : 10228 (java) S 10218 10218 8819 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510152763 27969658880 31896 33554432000 4194304 4196468 140729742715344 140524420705424 140524637288149 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9543680 140729742717674 140729742718102 140729742718102 140729742720975 0
[pid=10221/tid=10229] ppid=10218 vsize=27314120 memory=139719111441584 CPUtime=0 cores=0-7
/proc/10221/task/10229/stat : 10229 (java) S 10218 10218 8819 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510152763 27969658880 31896 33554432000 4194304 4196468 140729742715344 140524419652368 140524637288149 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9543680 140729742717674 140729742718102 140729742718102 140729742720975 0
[pid=10221/tid=10230] ppid=10218 vsize=27314120 memory=139719111443888 CPUtime=0 cores=0-7
/proc/10221/task/10230/stat : 10230 (java) S 10218 10218 8819 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510152763 27969658880 31896 33554432000 4194304 4196468 140729742715344 140524052798352 140524637288149 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9543680 140729742717674 140729742718102 140729742718102 140729742720975 0
[pid=10221/tid=10231] ppid=10218 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10221/task/10231/stat : 10231 (java) S 10218 10218 8819 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510152765 27969658880 31896 33554432000 4194304 4196468 140729742715344 140522755692784 140524637289090 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9543680 140729742717674 140729742718102 140729742718102 140729742720975 0
[pid=10221/tid=10232] ppid=10218 vsize=27314120 memory=279438222894736 CPUtime=0 cores=0-7
/proc/10221/task/10232/stat : 10232 (java) S 10218 10218 8819 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 510152765 27969658880 31896 33554432000 4194304 4196468 140729742715344 140522538656928 140524637288149 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9543680 140729742717674 140729742718102 140729742718102 140729742720975 0
[pid=10221/tid=10233] ppid=10218 vsize=27314120 memory=279438222901648 CPUtime=0 cores=0-7
/proc/10221/task/10233/stat : 10233 (java) S 10218 10218 8819 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 510152766 27969658880 31896 33554432000 4194304 4196468 140729742715344 140522404434672 140524637288149 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9543680 140729742717674 140729742718102 140729742718102 140729742720975 0
[pid=10221/tid=10234] ppid=10218 vsize=27314120 memory=279438222842928 CPUtime=0 cores=0-7
/proc/10221/task/10234/stat : 10234 (java) S 10218 10218 8819 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510152768 27969658880 31896 33554432000 4194304 4196468 140729742715344 140522029930448 140524637296539 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9543680 140729742717674 140729742718102 140729742718102 140729742720975 0
[pid=10221/tid=10235] ppid=10218 vsize=27314120 memory=279438222915472 CPUtime=0 cores=0-7
/proc/10221/task/10235/stat : 10235 (java) S 10218 10218 8819 0 -1 1077944384 440 0 0 0 0 0 0 0 20 0 20 0 510152768 27969658880 31896 33554432000 4194304 4196468 140729742715344 140522754640624 140524637289090 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9543680 140729742717674 140729742718102 140729742718102 140729742720975 0
[pid=10221/tid=10236] ppid=10218 vsize=27314120 memory=279438222922384 CPUtime=0.02 cores=0-7
/proc/10221/task/10236/stat : 10236 (java) S 10218 10218 8819 0 -1 1077944384 119 0 0 0 2 0 0 0 20 0 20 0 510152768 27969658880 31896 33554432000 4194304 4196468 140729742715344 140522753588080 140524637289090 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9543680 140729742717674 140729742718102 140729742718102 140729742720975 0
[pid=10221/tid=10237] ppid=10218 vsize=27314120 memory=279438222920080 CPUtime=0.01 cores=0-7
/proc/10221/task/10237/stat : 10237 (java) S 10218 10218 8819 0 -1 1077944384 76 0 0 0 1 0 0 0 20 0 20 0 510152768 27969658880 31896 33554432000 4194304 4196468 140729742715344 140522752535024 140524637289090 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9543680 140729742717674 140729742718102 140729742718102 140729742720975 0
[pid=10221/tid=10238] ppid=10218 vsize=27314120 memory=279438222936240 CPUtime=0.07 cores=0-7
/proc/10221/task/10238/stat : 10238 (java) S 10218 10218 8819 0 -1 1077944384 488 0 0 0 7 0 0 0 20 0 20 0 510152768 27969658880 31896 33554432000 4194304 4196468 140729742715344 140522751482480 140524637289090 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9543680 140729742717674 140729742718102 140729742718102 140729742720975 0
[pid=10221/tid=10239] ppid=10218 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10221/task/10239/stat : 10239 (java) S 10218 10218 8819 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510152768 27969658880 31896 33554432000 4194304 4196468 140729742715344 140521532025312 140524637288149 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9543680 140729742717674 140729742718102 140729742718102 140729742720975 0
[pid=10221/tid=10240] ppid=10218 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/10221/task/10240/stat : 10240 (java) S 10218 10218 8819 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510152769 27969658880 31896 33554432000 4194304 4196468 140729742715344 140522750429872 140524637289090 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9543680 140729742717674 140729742718102 140729742718102 140729742720975 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 128980 KiB

[startup+0.70098 s]
/proc/loadavg: 6.47 4.10 2.42 2/212 10240
/proc/meminfo: memFree=23236364/32770624 swapFree=66956484/67108860
[pid=10218] ppid=10215 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/10218/stat : 10218 (scop.sh) S 10215 10218 8819 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 510152760 115843072 349 33554432000 4194304 5098028 140730600839792 140730600837048 139704326455932 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 20533248 140730600846116 140730600846444 140730600846444 140730600849357 0
/proc/10218/statm: 28282 349 296 221 0 87 0
[pid=10221] ppid=10218 vsize=27322516 memory=163940 CPUtime=1.01 cores=0-7
/proc/10221/stat : 10221 (java) S 10218 10218 8819 0 -1 1077944320 20174 0 0 0 95 6 0 0 20 0 20 0 510152761 27978256384 40985 33554432000 4194304 4196468 140729742715344 140729742697888 140524637277943 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 9543680 140729742717674 140729742718102 140729742718102 140729742720975 0
/proc/10221/statm: 6830629 40985 3201 1 0 6791959 0
[pid=10221/tid=10222] ppid=10218 vsize=27322516 memory=279438223231168 CPUtime=0.68 cores=0-7
/proc/10221/task/10222/stat : 10222 (java) R 10218 10218 8819 0 -1 4202560 17039 0 0 0 63 5 0 0 20 0 20 0 510152761 27978256384 40985 33554432000 4194304 4196468 140729742715344 140524609109680 140524616579478 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 9543680 140729742717674 140729742718102 140729742718102 140729742720975 0
[pid=10221/tid=10223] ppid=10218 vsize=27322516 memory=5076651345044 CPUtime=0 cores=0-7
/proc/10221/task/10223/stat : 10223 (java) S 10218 10218 8819 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510152763 27978256384 40985 33554432000 4194304 4196468 140729742715344 140524641520144 140524637288149 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9543680 140729742717674 140729742718102 140729742718102 140729742720975 0
[pid=10221/tid=10224] ppid=10218 vsize=27322516 memory=0 CPUtime=0 cores=0-7
/proc/10221/task/10224/stat : 10224 (java) S 10218 10218 8819 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510152763 27978256384 40985 33554432000 4194304 4196468 140729742715344 140524424915600 140524637288149 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9543680 140729742717674 140729742718102 140729742718102 140729742720975 0
[pid=10221/tid=10225] ppid=10218 vsize=27322516 memory=0 CPUtime=0 cores=0-7
/proc/10221/task/10225/stat : 10225 (java) S 10218 10218 8819 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510152763 27978256384 40985 33554432000 4194304 4196468 140729742715344 140524423862544 140524637288149 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9543680 140729742717674 140729742718102 140729742718102 140729742720975 0

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

/proc/10242/task/10246/stat : 10246 (java) S 10218 10218 8819 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510156159 8616062976 30038 33554432000 4194304 4196468 140735526401936 140317126810768 140317642827477 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18173952 140735526409207 140735526409366 140735526409366 140735526412239 0
[pid=10242/tid=10247] ppid=10218 vsize=8414124 memory=1476 CPUtime=0 cores=0-7
/proc/10242/task/10247/stat : 10247 (java) S 10218 10218 8819 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 510156159 8616062976 30038 33554432000 4194304 4196468 140735526401936 140317125757968 140317642827477 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18173952 140735526409207 140735526409366 140735526409366 140735526412239 0
[pid=10242/tid=10248] ppid=10218 vsize=8414124 memory=120076 CPUtime=0 cores=0-7
/proc/10242/task/10248/stat : 10248 (java) S 10218 10218 8819 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510156159 8616062976 30038 33554432000 4194304 4196468 140735526401936 140317124704656 140317642827477 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18173952 140735526409207 140735526409366 140735526409366 140735526412239 0
[pid=10242/tid=10249] ppid=10218 vsize=8414124 memory=106868 CPUtime=0 cores=0-7
/proc/10242/task/10249/stat : 10249 (java) S 10218 10218 8819 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510156159 8616062976 30038 33554432000 4194304 4196468 140735526401936 140317123651856 140317642827477 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18173952 140735526409207 140735526409366 140735526409366 140735526412239 0
[pid=10242/tid=10250] ppid=10218 vsize=8414124 memory=772 CPUtime=0 cores=0-7
/proc/10242/task/10250/stat : 10250 (java) S 10218 10218 8819 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510156159 8616062976 30038 33554432000 4194304 4196468 140735526401936 140317122599568 140317642827477 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18173952 140735526409207 140735526409366 140735526409366 140735526412239 0
[pid=10242/tid=10251] ppid=10218 vsize=8414124 memory=3616 CPUtime=0 cores=0-7
/proc/10242/task/10251/stat : 10251 (java) S 10218 10218 8819 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 510156159 8616062976 30038 33554432000 4194304 4196468 140735526401936 140317121546768 140317642827477 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18173952 140735526409207 140735526409366 140735526409366 140735526412239 0
[pid=10242/tid=10252] ppid=10218 vsize=8414124 memory=2832 CPUtime=0 cores=0-7
/proc/10242/task/10252/stat : 10252 (java) S 10218 10218 8819 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 24 0 510156161 8616062976 30038 33554432000 4194304 4196468 140735526401936 140316870359664 140317642828418 0 0 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18173952 140735526409207 140735526409366 140735526409366 140735526412239 0
[pid=10242/tid=10253] ppid=10218 vsize=8414124 memory=1548 CPUtime=0 cores=0-7
/proc/10242/task/10253/stat : 10253 (java) S 10218 10218 8819 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 510156161 8616062976 30038 33554432000 4194304 4196468 140735526401936 140316313117984 140317642827477 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18173952 140735526409207 140735526409366 140735526409366 140735526412239 0
[pid=10242/tid=10254] ppid=10218 vsize=8414124 memory=1396 CPUtime=0 cores=0-7
/proc/10242/task/10254/stat : 10254 (java) S 10218 10218 8819 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510156161 8616062976 30038 33554432000 4194304 4196468 140735526401936 140316044682864 140317642827477 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18173952 140735526409207 140735526409366 140735526409366 140735526412239 0
[pid=10242/tid=10255] ppid=10218 vsize=8414124 memory=6418932 CPUtime=0 cores=0-7
/proc/10242/task/10255/stat : 10255 (java) S 10218 10218 8819 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510156164 8616062976 30038 33554432000 4194304 4196468 140735526401936 140315670174288 140317642835867 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18173952 140735526409207 140735526409366 140735526409366 140735526412239 0
[pid=10242/tid=10256] ppid=10218 vsize=8414124 memory=14008 CPUtime=0.04 cores=0-7
/proc/10242/task/10256/stat : 10256 (java) S 10218 10218 8819 0 -1 1077944384 526 0 0 0 4 0 0 0 20 0 24 0 510156164 8616062976 30038 33554432000 4194304 4196468 140735526401936 140316869306480 140317642828418 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18173952 140735526409207 140735526409366 140735526409366 140735526412239 0
[pid=10242/tid=10257] ppid=10218 vsize=8414124 memory=8444 CPUtime=0.06 cores=0-7
/proc/10242/task/10257/stat : 10257 (java) S 10218 10218 8819 0 -1 1077944384 317 0 0 0 6 0 0 0 20 0 24 0 510156164 8616062976 30038 33554432000 4194304 4196468 140735526401936 140316868253680 140317642828418 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18173952 140735526409207 140735526409366 140735526409366 140735526412239 0
[pid=10242/tid=10258] ppid=10218 vsize=8414124 memory=6172 CPUtime=0.06 cores=0-7
/proc/10242/task/10258/stat : 10258 (java) S 10218 10218 8819 0 -1 1077944384 313 0 0 0 6 0 0 0 20 0 24 0 510156164 8616062976 30038 33554432000 4194304 4196468 140735526401936 140316867201392 140317642828418 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18173952 140735526409207 140735526409366 140735526409366 140735526412239 0
[pid=10242/tid=10259] ppid=10218 vsize=8414124 memory=1124 CPUtime=0.2 cores=0-7
/proc/10242/task/10259/stat : 10259 (java) S 10218 10218 8819 0 -1 1077944384 550 0 0 0 20 0 0 0 20 0 24 0 510156164 8616062976 30038 33554432000 4194304 4196468 140735526401936 140316866148592 140317642828418 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18173952 140735526409207 140735526409366 140735526409366 140735526412239 0
[pid=10242/tid=10260] ppid=10218 vsize=8414124 memory=14008 CPUtime=0 cores=0-7
/proc/10242/task/10260/stat : 10260 (java) S 10218 10218 8819 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 510156164 8616062976 30038 33554432000 4194304 4196468 140735526401936 140315172268896 140317642827477 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18173952 140735526409207 140735526409366 140735526409366 140735526412239 0
[pid=10242/tid=10261] ppid=10218 vsize=8414124 memory=12024 CPUtime=0 cores=0-7
/proc/10242/task/10261/stat : 10261 (java) S 10218 10218 8819 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510156164 8616062976 30038 33554432000 4194304 4196468 140735526401936 140316865096496 140317642828418 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18173952 140735526409207 140735526409366 140735526409366 140735526412239 0
[pid=10242/tid=10263] ppid=10218 vsize=8414124 memory=772 CPUtime=0 cores=0-7
/proc/10242/task/10263/stat : 10263 (java) S 10218 10218 8819 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 510156230 8616062976 30038 33554432000 4194304 4196468 140735526401936 140316857063232 140317642841881 0 4 2 25189581 18446744071579417331 0 0 -1 5 0 0 0 0 0 6293624 6294260 18173952 140735526409207 140735526409366 140735526409366 140735526412239 0
[pid=10242/tid=10265] ppid=10218 vsize=8414124 memory=3616 CPUtime=0 cores=0-7
/proc/10242/task/10265/stat : 10265 (java) S 10218 10218 8819 0 -1 4202560 23 0 0 0 0 0 0 0 20 0 24 0 510156230 8616062976 30038 33554432000 4194304 4196468 140735526401936 140314769603984 140317642839197 0 4 2 25189581 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 18173952 140735526409207 140735526409366 140735526409366 140735526412239 0
[pid=10242/tid=10266] ppid=10218 vsize=8414124 memory=2832 CPUtime=0 cores=0-7
/proc/10242/task/10266/stat : 10266 (java) S 10218 10218 8819 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 24 0 510156231 8616062976 30038 33554432000 4194304 4196468 140735526401936 140314501168400 140317642839197 0 4 2 25189581 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 18173952 140735526409207 140735526409366 140735526409366 140735526412239 0
[pid=10242/tid=10267] ppid=10218 vsize=8414124 memory=1548 CPUtime=0 cores=0-7
/proc/10242/task/10267/stat : 10267 (java) S 10218 10218 8819 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 510156233 8616062976 30038 33554432000 4194304 4196468 140735526401936 140314232741168 140317642827477 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18173952 140735526409207 140735526409366 140735526409366 140735526412239 0
Current children cumulated CPU time: 54.19 s
Current children cumulated vsize: 8930556 KiB
Current children cumulated memory: 500220 KiB

[startup+38.0012 s]*
/proc/loadavg: 3.85 3.73 2.37 2/218 10275
/proc/meminfo: memFree=22660556/32770624 swapFree=66956484/67108860
[pid=10218] ppid=10215 vsize=113128 memory=1476 CPUtime=50.14 cores=0-7
/proc/10218/stat : 10218 (scop.sh) S 10215 10218 8819 0 -1 4202496 583 46750 0 0 0 0 4758 256 20 0 1 0 510152760 115843072 369 33554432000 4194304 5098028 140730600839792 140730600836536 139704326455932 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 20533248 140730600846116 140730600846444 140730600846444 140730600849357 0
/proc/10218/statm: 28282 369 311 221 0 87 0
[pid=10242] ppid=10218 vsize=8414124 memory=120152 CPUtime=1.17 cores=0-7
/proc/10242/stat : 10242 (java) S 10218 10218 8819 0 -1 1077944320 20051 0 0 0 110 7 0 0 20 0 24 0 510156157 8616062976 30038 33554432000 4194304 4196468 140735526401936 140735526384480 140317642817271 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 18173952 140735526409207 140735526409366 140735526409366 140735526412239 0
/proc/10242/statm: 2103531 30038 3202 1 0 2064875 0
[pid=10262] ppid=10242 vsize=1128228 memory=593896 CPUtime=4.48 cores=0-7
/proc/10262/stat : 10262 (manyglucose-4.1) S 10242 10218 8819 0 -1 4202496 127017 0 0 0 425 23 0 0 20 0 1 0 510156230 1155305472 148474 33554432000 4194304 4454172 140733518981632 140733518978352 140637676801149 0 4 0 8388610 18446744071580971376 0 0 17 4 0 0 0 0 0 6552832 6554400 27889664 140733518988137 140733518988336 140733518988336 140733518991290 0
/proc/10262/statm: 282057 148474 417 64 0 277725 0
[pid=10242/tid=10243] ppid=10218 vsize=8414124 memory=7686721470267299731 CPUtime=0.75 cores=0-7
/proc/10242/task/10243/stat : 10243 (java) S 10218 10218 8819 0 -1 1077944384 16936 0 0 0 70 5 0 0 20 0 24 0 510156158 8616062976 30038 33554432000 4194304 4196468 140735526401936 140317614657440 140317642827477 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18173952 140735526409207 140735526409366 140735526409366 140735526412239 0
[pid=10242/tid=10244] ppid=10218 vsize=8414124 memory=-1 CPUtime=0 cores=0-7
/proc/10242/task/10244/stat : 10244 (java) S 10218 10218 8819 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 510156159 8616062976 30038 33554432000 4194304 4196468 140735526401936 140317647059856 140317642827477 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18173952 140735526409207 140735526409366 140735526409366 140735526412239 0
[pid=10242/tid=10245] ppid=10218 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/10242/task/10245/stat : 10245 (java) S 10218 10218 8819 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510156159 8616062976 30038 33554432000 4194304 4196468 140735526401936 140317455620880 140317642827477 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18173952 140735526409207 140735526409366 140735526409366 140735526412239 0
[pid=10242/tid=10246] ppid=10218 vsize=8414124 memory=-1 CPUtime=0 cores=0-7
/proc/10242/task/10246/stat : 10246 (java) S 10218 10218 8819 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510156159 8616062976 30038 33554432000 4194304 4196468 140735526401936 140317126810768 140317642827477 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18173952 140735526409207 140735526409366 140735526409366 140735526412239 0
[pid=10242/tid=10247] ppid=10218 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/10242/task/10247/stat : 10247 (java) S 10218 10218 8819 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 510156159 8616062976 30038 33554432000 4194304 4196468 140735526401936 140317125757968 140317642827477 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18173952 140735526409207 140735526409366 140735526409366 140735526412239 0
[pid=10242/tid=10248] ppid=10218 vsize=8414124 memory=-1 CPUtime=0 cores=0-7
/proc/10242/task/10248/stat : 10248 (java) S 10218 10218 8819 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510156159 8616062976 30038 33554432000 4194304 4196468 140735526401936 140317124704656 140317642827477 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18173952 140735526409207 140735526409366 140735526409366 140735526412239 0
[pid=10242/tid=10249] ppid=10218 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/10242/task/10249/stat : 10249 (java) S 10218 10218 8819 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510156159 8616062976 30038 33554432000 4194304 4196468 140735526401936 140317123651856 140317642827477 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18173952 140735526409207 140735526409366 140735526409366 140735526412239 0
[pid=10242/tid=10250] ppid=10218 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/10242/task/10250/stat : 10250 (java) S 10218 10218 8819 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510156159 8616062976 30038 33554432000 4194304 4196468 140735526401936 140317122599568 140317642827477 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18173952 140735526409207 140735526409366 140735526409366 140735526412239 0
[pid=10242/tid=10251] ppid=10218 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/10242/task/10251/stat : 10251 (java) S 10218 10218 8819 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 510156159 8616062976 30038 33554432000 4194304 4196468 140735526401936 140317121546768 140317642827477 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18173952 140735526409207 140735526409366 140735526409366 140735526412239 0
[pid=10242/tid=10252] ppid=10218 vsize=8414124 memory=6944656592455097440 CPUtime=0 cores=0-7
/proc/10242/task/10252/stat : 10252 (java) S 10218 10218 8819 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 24 0 510156161 8616062976 30038 33554432000 4194304 4196468 140735526401936 140316870359664 140317642828418 0 0 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18173952 140735526409207 140735526409366 140735526409366 140735526412239 0
[pid=10242/tid=10253] ppid=10218 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/10242/task/10253/stat : 10253 (java) S 10218 10218 8819 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 510156161 8616062976 30038 33554432000 4194304 4196468 140735526401936 140316313117984 140317642827477 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18173952 140735526409207 140735526409366 140735526409366 140735526412239 0
[pid=10242/tid=10254] ppid=10218 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/10242/task/10254/stat : 10254 (java) S 10218 10218 8819 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510156161 8616062976 30038 33554432000 4194304 4196468 140735526401936 140316044682864 140317642827477 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18173952 140735526409207 140735526409366 140735526409366 140735526412239 0
[pid=10242/tid=10255] ppid=10218 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/10242/task/10255/stat : 10255 (java) S 10218 10218 8819 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510156164 8616062976 30038 33554432000 4194304 4196468 140735526401936 140315670174288 140317642835867 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18173952 140735526409207 140735526409366 140735526409366 140735526412239 0
[pid=10242/tid=10256] ppid=10218 vsize=8414124 memory=0 CPUtime=0.04 cores=0-7
/proc/10242/task/10256/stat : 10256 (java) S 10218 10218 8819 0 -1 1077944384 526 0 0 0 4 0 0 0 20 0 24 0 510156164 8616062976 30038 33554432000 4194304 4196468 140735526401936 140316869306480 140317642828418 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18173952 140735526409207 140735526409366 140735526409366 140735526412239 0
[pid=10242/tid=10257] ppid=10218 vsize=8414124 memory=0 CPUtime=0.06 cores=0-7
/proc/10242/task/10257/stat : 10257 (java) S 10218 10218 8819 0 -1 1077944384 317 0 0 0 6 0 0 0 20 0 24 0 510156164 8616062976 30038 33554432000 4194304 4196468 140735526401936 140316868253680 140317642828418 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18173952 140735526409207 140735526409366 140735526409366 140735526412239 0
[pid=10242/tid=10258] ppid=10218 vsize=8414124 memory=0 CPUtime=0.06 cores=0-7
/proc/10242/task/10258/stat : 10258 (java) S 10218 10218 8819 0 -1 1077944384 313 0 0 0 6 0 0 0 20 0 24 0 510156164 8616062976 30038 33554432000 4194304 4196468 140735526401936 140316867201392 140317642828418 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18173952 140735526409207 140735526409366 140735526409366 140735526412239 0
[pid=10242/tid=10259] ppid=10218 vsize=8414124 memory=0 CPUtime=0.2 cores=0-7
/proc/10242/task/10259/stat : 10259 (java) R 10218 10218 8819 0 -1 4202560 570 0 0 0 20 0 0 0 20 0 24 0 510156164 8616062976 30038 33554432000 4194304 4196468 140735526401936 140316866148592 140317635920923 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 18173952 140735526409207 140735526409366 140735526409366 140735526412239 0
[pid=10242/tid=10260] ppid=10218 vsize=8414124 memory=-1 CPUtime=0 cores=0-7
/proc/10242/task/10260/stat : 10260 (java) S 10218 10218 8819 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 510156164 8616062976 30038 33554432000 4194304 4196468 140735526401936 140315172268896 140317642827477 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18173952 140735526409207 140735526409366 140735526409366 140735526412239 0
[pid=10242/tid=10261] ppid=10218 vsize=8414124 memory=-1 CPUtime=0 cores=0-7
/proc/10242/task/10261/stat : 10261 (java) S 10218 10218 8819 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510156164 8616062976 30038 33554432000 4194304 4196468 140735526401936 140316865096496 140317642828418 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18173952 140735526409207 140735526409366 140735526409366 140735526412239 0
[pid=10242/tid=10263] ppid=10218 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/10242/task/10263/stat : 10263 (java) S 10218 10218 8819 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 510156230 8616062976 30038 33554432000 4194304 4196468 140735526401936 140316857063232 140317642841881 0 4 2 25189581 18446744071579417331 0 0 -1 5 0 0 0 0 0 6293624 6294260 18173952 140735526409207 140735526409366 140735526409366 140735526412239 0
[pid=10242/tid=10265] ppid=10218 vsize=8414124 memory=0 CPUtime=0.01 cores=0-7
/proc/10242/task/10265/stat : 10265 (java) R 10218 10218 8819 0 -1 4202560 24 0 0 0 1 0 0 0 20 0 24 0 510156230 8616062976 30038 33554432000 4194304 4196468 140735526401936 140314769610736 140317642839101 0 4 2 25189581 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 18173952 140735526409207 140735526409366 140735526409366 140735526412239 0
[pid=10242/tid=10266] ppid=10218 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/10242/task/10266/stat : 10266 (java) S 10218 10218 8819 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 24 0 510156231 8616062976 30038 33554432000 4194304 4196468 140735526401936 140314501168400 140317642839197 0 4 2 25189581 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 18173952 140735526409207 140735526409366 140735526409366 140735526412239 0
[pid=10242/tid=10267] ppid=10218 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/10242/task/10267/stat : 10267 (java) S 10218 10218 8819 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 510156233 8616062976 30038 33554432000 4194304 4196468 140735526401936 140314232741168 140317642827477 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18173952 140735526409207 140735526409366 140735526409366 140735526412239 0
Current children cumulated CPU time: 55.79 s
Current children cumulated vsize: 9655480 KiB
Current children cumulated memory: 715524 KiB

[startup+38.111 s]
/proc/loadavg: 3.85 3.73 2.37 2/218 10275
/proc/meminfo: memFree=22660556/32770624 swapFree=66956484/67108860
[pid=10218] ppid=10215 vsize=113128 memory=1476 CPUtime=50.14 cores=0-7
/proc/10218/stat : 10218 (scop.sh) S 10215 10218 8819 0 -1 4202496 583 46750 0 0 0 0 4758 256 20 0 1 0 510152760 115843072 369 33554432000 4194304 5098028 140730600839792 140730600836536 139704326455932 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 20533248 140730600846116 140730600846444 140730600846444 140730600849357 0
/proc/10218/statm: 28282 369 311 221 0 87 0
[pid=10242] ppid=10218 vsize=8283048 memory=129916 CPUtime=5.93 cores=0-7
/proc/10242/stat : 10242 (java) S 10218 10218 8819 0 -1 1077944320 20412 127024 0 0 134 8 425 26 20 0 22 0 510156157 8481841152 32479 33554432000 4194304 4196468 140735526401936 140735526384480 140317642817271 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 18173952 140735526409207 140735526409366 140735526409366 140735526412239 0
/proc/10242/statm: 2070762 32479 3214 1 0 2032106 0
[pid=10242/tid=10243] ppid=10218 vsize=8283048 memory=120152 CPUtime=5.3 cores=0-7
/proc/10242/task/10243/stat : 10243 (java) R 10218 10218 8819 0 -1 4202560 17078 127024 0 0 74 5 425 26 20 0 22 0 510156158 8481841152 32479 33554432000 4194304 4196468 140735526401936 140317614647248 140317135526994 0 4 2 25189581 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 18173952 140735526409207 140735526409366 140735526409366 140735526412239 0
[pid=10242/tid=10244] ppid=10218 vsize=8283048 memory=1476 CPUtime=4.51 cores=0-7
/proc/10242/task/10244/stat : 10244 (java) S 10218 10218 8819 0 -1 1077944384 2 127024 0 0 0 0 425 26 20 0 22 0 510156159 8481841152 32479 33554432000 4194304 4196468 140735526401936 140317647059856 140317642827477 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18173952 140735526409207 140735526409366 140735526409366 140735526412239 0
[pid=10242/tid=10245] ppid=10218 vsize=8283048 memory=1984 CPUtime=4.51 cores=0-7
/proc/10242/task/10245/stat : 10245 (java) S 10218 10218 8819 0 -1 1077944384 1 127024 0 0 0 0 425 26 20 0 22 0 510156159 8481841152 32479 33554432000 4194304 4196468 140735526401936 140317455620880 140317642827477 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18173952 140735526409207 140735526409366 140735526409366 140735526412239 0
[pid=10242/tid=10246] ppid=10218 vsize=8283048 memory=2532 CPUtime=4.51 cores=0-7
/proc/10242/task/10246/stat : 10246 (java) S 10218 10218 8819 0 -1 1077944384 1 127024 0 0 0 0 425 26 20 0 22 0 510156159 8481841152 32479 33554432000 4194304 4196468 140735526401936 140317126810768 140317642827477 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18173952 140735526409207 140735526409366 140735526409366 140735526412239 0
[pid=10242/tid=10247] ppid=10218 vsize=8283048 memory=93 CPUtime=4.51 cores=0-7
/proc/10242/task/10247/stat : 10247 (java) S 10218 10218 8819 0 -1 1077944384 3 127024 0 0 0 0 425 26 20 0 22 0 510156159 8481841152 32479 33554432000 4194304 4196468 140735526401936 140317125757968 140317642827477 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18173952 140735526409207 140735526409366 140735526409366 140735526412239 0
[pid=10242/tid=10248] ppid=10218 vsize=8283048 memory=0 CPUtime=4.51 cores=0-7
/proc/10242/task/10248/stat : 10248 (java) S 10218 10218 8819 0 -1 1077944384 1 127024 0 0 0 0 425 26 20 0 22 0 510156159 8481841152 32479 33554432000 4194304 4196468 140735526401936 140317124704656 140317642827477 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18173952 140735526409207 140735526409366 140735526409366 140735526412239 0
[pid=10242/tid=10249] ppid=10218 vsize=8283048 memory=0 CPUtime=4.51 cores=0-7
/proc/10242/task/10249/stat : 10249 (java) S 10218 10218 8819 0 -1 1077944384 1 127024 0 0 0 0 425 26 20 0 22 0 510156159 8481841152 32479 33554432000 4194304 4196468 140735526401936 140317123651856 140317642827477 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18173952 140735526409207 140735526409366 140735526409366 140735526412239 0
[pid=10242/tid=10250] ppid=10218 vsize=8283048 memory=279438222974032 CPUtime=4.51 cores=0-7
/proc/10242/task/10250/stat : 10250 (java) S 10218 10218 8819 0 -1 1077944384 1 127024 0 0 0 0 425 26 20 0 22 0 510156159 8481841152 32479 33554432000 4194304 4196468 140735526401936 140317122599568 140317642827477 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18173952 140735526409207 140735526409366 140735526409366 140735526412239 0
[pid=10242/tid=10251] ppid=10218 vsize=8283048 memory=1476 CPUtime=4.51 cores=0-7
/proc/10242/task/10251/stat : 10251 (java) S 10218 10218 8819 0 -1 1077944384 2 127024 0 0 0 0 425 26 20 0 22 0 510156159 8481841152 32479 33554432000 4194304 4196468 140735526401936 140317121546768 140317642827477 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18173952 140735526409207 140735526409366 140735526409366 140735526412239 0
[pid=10242/tid=10252] ppid=10218 vsize=8283048 memory=1476 CPUtime=4.51 cores=0-7
/proc/10242/task/10252/stat : 10252 (java) S 10218 10218 8819 0 -1 1077944384 5 127024 0 0 0 0 425 26 20 0 22 0 510156161 8481841152 32479 33554432000 4194304 4196468 140735526401936 140316870359664 140317642828418 0 0 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18173952 140735526409207 140735526409366 140735526409366 140735526412239 0
[pid=10242/tid=10253] ppid=10218 vsize=8283048 memory=82760 CPUtime=4.51 cores=0-7
/proc/10242/task/10253/stat : 10253 (java) S 10218 10218 8819 0 -1 1077944384 13 127024 0 0 0 0 425 26 20 0 22 0 510156161 8481841152 32479 33554432000 4194304 4196468 140735526401936 140316313117984 140317642827477 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18173952 140735526409207 140735526409366 140735526409366 140735526412239 0
[pid=10242/tid=10254] ppid=10218 vsize=8283048 memory=1476 CPUtime=4.51 cores=0-7
/proc/10242/task/10254/stat : 10254 (java) S 10218 10218 8819 0 -1 1077944384 1 127024 0 0 0 0 425 26 20 0 22 0 510156161 8481841152 32496 33554432000 4194304 4196468 140735526401936 140316044682864 140317642827477 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18173952 140735526409207 140735526409366 140735526409366 140735526412239 0
[pid=10242/tid=10255] ppid=10218 vsize=8283048 memory=120076 CPUtime=4.51 cores=0-7
/proc/10242/task/10255/stat : 10255 (java) S 10218 10218 8819 0 -1 1077944384 1 127024 0 0 0 0 425 26 20 0 22 0 510156164 8481841152 32496 33554432000 4194304 4196468 140735526401936 140315670174288 140317642835867 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18173952 140735526409207 140735526409366 140735526409366 140735526412239 0
[pid=10242/tid=10256] ppid=10218 vsize=8283048 memory=8819569139123385389 CPUtime=4.59 cores=0-7
/proc/10242/task/10256/stat : 10256 (java) S 10218 10218 8819 0 -1 1077944384 547 127024 0 0 8 0 425 26 20 0 22 0 510156164 8481841152 32496 33554432000 4194304 4196468 140735526401936 140316869306480 140317642828418 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18173952 140735526409207 140735526409366 140735526409366 140735526412239 0
[pid=10242/tid=10257] ppid=10218 vsize=8283048 memory=0 CPUtime=4.6 cores=0-7
/proc/10242/task/10257/stat : 10257 (java) S 10218 10218 8819 0 -1 1077944384 337 127024 0 0 9 0 425 26 20 0 22 0 510156164 8481841152 32496 33554432000 4194304 4196468 140735526401936 140316868253680 140317642828418 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18173952 140735526409207 140735526409366 140735526409366 140735526412239 0
[pid=10242/tid=10258] ppid=10218 vsize=8283048 memory=0 CPUtime=4.6 cores=0-7
/proc/10242/task/10258/stat : 10258 (java) R 10218 10218 8819 0 -1 4202560 329 127024 0 0 9 0 425 26 20 0 22 0 510156164 8481841152 32496 33554432000 4194304 4196468 140735526401936 140316867201392 140317635802313 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 18173952 140735526409207 140735526409366 140735526409366 140735526412239 0
[pid=10242/tid=10259] ppid=10218 vsize=8283048 memory=0 CPUtime=4.76 cores=0-7
/proc/10242/task/10259/stat : 10259 (java) R 10218 10218 8819 0 -1 4202560 674 127024 0 0 25 0 425 26 20 0 22 0 510156164 8481841152 32496 33554432000 4194304 4196468 140735526401936 140316866144320 140317635054398 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 18173952 140735526409207 140735526409366 140735526409366 140735526412239 0
[pid=10242/tid=10260] ppid=10218 vsize=8283048 memory=0 CPUtime=4.51 cores=0-7
/proc/10242/task/10260/stat : 10260 (java) S 10218 10218 8819 0 -1 1077944384 3 127024 0 0 0 0 425 26 20 0 22 0 510156164 8481841152 32496 33554432000 4194304 4196468 140735526401936 140315172268896 140317642827477 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18173952 140735526409207 140735526409366 140735526409366 140735526412239 0
[pid=10242/tid=10261] ppid=10218 vsize=8283048 memory=1476 CPUtime=4.51 cores=0-7
/proc/10242/task/10261/stat : 10261 (java) S 10218 10218 8819 0 -1 1077944384 1 127024 0 0 0 0 425 26 20 0 22 0 510156164 8481841152 32496 33554432000 4194304 4196468 140735526401936 140316865096496 140317642828418 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18173952 140735526409207 140735526409366 140735526409366 140735526412239 0
[pid=10242/tid=10263] ppid=10218 vsize=8283048 memory=3620 CPUtime=4.51 cores=0-7
/proc/10242/task/10263/stat : 10263 (java) S 10218 10218 8819 0 -1 1077944384 24 127024 0 0 0 0 425 26 20 0 22 0 510156230 8481841152 32496 33554432000 4194304 4196468 140735526401936 140316857062416 140317642828418 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18173952 140735526409207 140735526409366 140735526409366 140735526412239 0
[pid=10242/tid=10267] ppid=10218 vsize=8283048 memory=3976732485301903407 CPUtime=4.51 cores=0-7
/proc/10242/task/10267/stat : 10267 (java) S 10218 10218 8819 0 -1 1077944384 7 127024 0 0 0 0 425 26 20 0 22 0 510156233 8481841152 32496 33554432000 4194304 4196468 140735526401936 140314232742960 140317642828418 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18173952 140735526409207 140735526409366 140735526409366 140735526412239 0
Current children cumulated CPU time: 56.07 s
Current children cumulated vsize: 8396176 KiB
Current children cumulated memory: 131392 KiB

Child status: 0
Real time (s): 38.1831
CPU time (s): 56.2511
CPU user time (s): 53.3188
CPU system time (s): 2.93231
CPU usage (%): 147.319
Max. virtual memory (cumulated for all children) (KiB): 27443924
Max. memory (cumulated for all children) (KiB): 6424496

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 53.3188
system time used= 2.93231
maximum resident set size= 6423100
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 195042
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= 24450
involuntary context switches= 135


# summary of solver processes directly reported to runsolver:
#   pid: 10218
#   total CPU time (s): 56.2511
#   total CPU user time (s): 53.3188
#   total CPU system time (s): 2.93231

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.290772 second user time and 0.439369 second system time

The end

Launcher Data 

Begin job on node151 at 2019-09-24 17:26:14
IDJOB=4405429
IDBENCH=131444
IDSOLVER=2868
FILE ID=node151/4405429-1569338815
RUNJOBID= node151-1569335938-8846
PBS_JOBID= 21705046
Free space on /tmp= 12412 MiB

SOLVER NAME= Fun-sCOP hybrid+ManyGlucose (2019-09-22)
BENCH NAME= XCSP17/Subisomorphism/Subisomorphism-m1-si2-m4D/Subisomorphism-si2-m4Dr6-m256-00.xml
COMMAND LINE= DIR/scop.sh 22g DIR/scop.jar -hybrid DIR/manyglucose-4.1-27_release -model:-nthreads=NBCORE:-maxmemory=20000:-lit-scans=6000000 TMPDIR BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4405429-1569338815/watcher-4405429-1569338815 -o /tmp/evaluation-result-4405429-1569338815/solver-4405429-1569338815 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node151-1569335938-8846 --watchdog 2580  HOME/scop.sh 22g HOME/scop.jar -hybrid HOME/manyglucose-4.1-27_release -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 HOME HOME/instance-4405429-1569338815.xml

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

MD5SUM BENCH= 73ef0e8387fdebf21bbae2b4acf5d521
RANDOM SEED=1229534081

node151.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.53
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	: 5335.75
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.53
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	: 5335.75
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.53
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	: 5335.75
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.53
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	: 5335.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        23374420 kB
MemAvailable:   31793896 kB
Buffers:           89136 kB
Cached:          8490716 kB
SwapCached:        50756 kB
Active:          2728176 kB
Inactive:        5908076 kB
Active(anon):       3392 kB
Inactive(anon):   107572 kB
Active(file):    2724784 kB
Inactive(file):  5800504 kB
Unevictable:      108536 kB
Mlocked:          108536 kB
SwapTotal:      67108860 kB
SwapFree:       66956484 kB
Dirty:             20724 kB
Writeback:             0 kB
AnonPages:        113868 kB
Mapped:            54740 kB
Shmem:             45948 kB
Slab:             351628 kB
SReclaimable:     322648 kB
SUnreclaim:        28980 kB
KernelStack:        3408 kB
PageTables:         5272 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     514904 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     69632 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      138624 kB
DirectMap2M:    33406976 kB

Free space on /tmp at the end= 12392 MiB
End job on node151 at 2019-09-24 17:26:52