Trace number 4392657

Some explanations

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

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

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

Solver answer on this benchmark

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

General information on the benchmark

NameSocialGolfers/SocialGolfers-cp-s1/
SocialGolfers-8-9-9-cp.xml
MD5SUM7f38f9e4cc6c9387b3de2b1a6255283e
Bench CategoryCSP (decision problem)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark27.2146
Satisfiable
(Un)Satisfiability was proved
Number of variables648
Number of constraints92027
Number of domains1
Minimum domain size8
Maximum domain size8
Distribution of domain sizes[{"size":8,"count":648}]
Minimum variable degree570
Maximum variable degree571
Distribution of variable degrees[{"degree":570,"count":576},{"degree":571,"count":72}]
Minimum constraint arity4
Maximum constraint arity648
Distribution of constraint arities[{"arity":4,"count":92016},{"arity":72,"count":10},{"arity":648,"count":1}]
Number of extensional constraints0
Number of intensional constraints92016
Distribution of constraint types[{"type":"intension","count":92016},{"type":"lex","count":1},{"type":"cardinality","count":9},{"type":"instantiation","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-3891-serial-file.bin HOME/instance-4392657-1568426996.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: Sat Sep 14 04:08:58 CEST 2019
0.66/0.56	c PID: 3894
0.66/0.56	c IP: 172.20.3.103
0.66/0.56	c HOST: node103.alineos.net
0.66/0.57	c (0,0) Parsing Begin
13.43/6.18	c (5,5) Parsing End
13.43/6.19	c (5,5) CSP: 630 int (0 aux), 18 bool (0 aux), 92027 ctr, max domain size 8
13.43/6.19	c (5,5) Heap : 3717 MiB used (max 21589 MiB), NonHeap : 25 MiB used (max 0 MiB)
13.43/6.19	c (5,5) Constraint Name Generate Begin
13.91/6.47	c (5,5) Ctr:HOME/instance-4392657-1568426996.xml,Cardinality:Instantiation:LexMatrix:Ne:Num:Or:Var
13.91/6.47	c (5,5) Constraint Name Generate End
13.91/6.47	c (5,5) Heap : 3829 MiB used (max 21589 MiB), NonHeap : 25 MiB used (max 0 MiB)
13.91/6.47	c (5,5) CSP to CSPinCNF Begin
15.82/7.12	c (6,6) translated 9203 (10%) constraints
16.17/7.40	c (6,6) translated 18406 (20%) constraints
16.37/7.68	c (7,7) translated 27609 (30%) constraints
16.67/7.95	c (7,7) translated 36811 (40%) constraints
16.97/8.22	c (7,7) translated 46014 (50%) constraints
17.17/8.49	c (7,7) translated 55217 (60%) constraints
17.48/8.76	c (8,8) translated 64419 (70%) constraints
17.87/9.04	c (8,8) translated 73622 (80%) constraints
18.17/9.30	c (8,8) translated 82825 (90%) constraints
21.71/10.64	c (10,10) translated 92027 (100%) constraints
27.66/13.78	c (13,13) ===========================================
28.23/13.94	c (13,13) Hybrid: #OE=1633, #LE=5256
28.23/13.94	c (13,13) Hybrid
28.23/13.94	c (13,13) ===========================================
29.47/14.53	c (13,13) translated 10480 (10%) constraints
29.98/15.04	c (14,14) translated 20960 (20%) constraints
30.54/15.56	c (15,14) translated 31440 (30%) constraints
31.05/16.07	c (15,15) translated 41920 (40%) constraints
31.54/16.59	c (16,15) translated 52400 (50%) constraints
32.04/17.10	c (16,16) translated 62880 (60%) constraints
32.64/17.61	c (17,16) translated 73360 (70%) constraints
33.15/18.12	c (17,17) translated 83840 (80%) constraints
34.26/18.71	c (18,17) translated 94320 (90%) constraints
35.68/19.28	c (18,18) translated 104800 (100%) constraints
35.68/19.29	c (18,18) CSP to CSPinCNF End
35.68/19.29	c (18,18) CSP: 630 int (0 aux), 11443 bool (11425 aux), 115312 ctr, max domain size 8
35.68/19.29	c (18,18) Heap : 4297 MiB used (max 21589 MiB), NonHeap : 29 MiB used (max 0 MiB)
35.68/19.29	c (18,18) CSPinCNF Propagation Begin
38.33/20.38	c (19,19) 1216 values, 26560 unsatisfiable literals, and 21911 valid clauses are removed
38.33/20.38	c (19,19) CSPinCNF Propagation End
38.33/20.38	c (19,19) CSP: 630 int (0 aux), 11443 bool (11425 aux), 93401 ctr, max domain size 8
38.33/20.38	c (19,19) Heap : 5171 MiB used (max 21589 MiB), NonHeap : 30 MiB used (max 0 MiB)
38.86/20.63	c (20,19) Hybrid: #OE=6817, #LE=5256
38.86/20.63	c (20,19) Simplify CSPinCNF Begin
43.31/22.60	c (22,21) Simplify CSPinCNF End
43.31/22.62	c (22,21) CSP: 630 int (0 aux), 53521 bool (53503 aux), 135479 ctr, max domain size 8
43.31/22.62	c (22,21) Heap : 762 MiB used (max 21589 MiB), NonHeap : 31 MiB used (max 0 MiB)
43.31/22.62	c (22,21) Calculate Precise Domain Begin
43.31/22.62	c (22,21) 0 values are removed by re-calculation
43.31/22.62	c (22,21) Calculate Precise Domain End
43.31/22.63	c (22,21) CSP: 630 int (0 aux), 53521 bool (53503 aux), 135479 ctr, max domain size 8
43.31/22.63	c (22,21) Heap : 762 MiB used (max 21589 MiB), NonHeap : 31 MiB used (max 0 MiB)
43.31/22.63	c (22,21) CSPinCNF to SatSolver Begin
46.65/23.68	c (23,22) 13548 (10 %) CSP clauses are encoded (0 SAT variables, 85827 SAT clauses)
47.22/24.15	c (23,23) 27096 (20 %) CSP clauses are encoded (0 SAT variables, 164720 SAT clauses)
47.71/24.60	c (24,23) 40644 (30 %) CSP clauses are encoded (0 SAT variables, 238832 SAT clauses)
48.12/25.04	c (24,24) 54192 (40 %) CSP clauses are encoded (0 SAT variables, 313021 SAT clauses)
48.43/25.36	c (24,24) 67740 (50 %) CSP clauses are encoded (0 SAT variables, 357467 SAT clauses)
48.63/25.54	c (24,24) 81288 (60 %) CSP clauses are encoded (0 SAT variables, 371015 SAT clauses)
48.83/25.72	c (25,24) 94836 (70 %) CSP clauses are encoded (0 SAT variables, 384563 SAT clauses)
49.03/25.90	c (25,24) 108384 (80 %) CSP clauses are encoded (0 SAT variables, 398111 SAT clauses)
50.14/26.39	c (25,25) 121932 (90 %) CSP clauses are encoded (0 SAT variables, 522699 SAT clauses)
51.35/26.87	c (26,25) 135479 (100 %) CSP clauses are encoded (0 SAT variables, 660670 SAT clauses)
51.35/26.87	c (26,25) CSPinCNF to SatSolver End
51.35/26.87	c (26,25) Heap : 3550 MiB used (max 21589 MiB), NonHeap : 32 MiB used (max 0 MiB)
51.35/26.87	c (26,25) 133503 bool, 660677 clause
51.35/26.87	c (26,25) Export Begin
51.66/26.99	c (26,26) Export to HOME/scop-3891-serial-file.bin
51.66/26.99	c (26,26) Export End
51.66/26.99	c (26,26) Export File Size: 0.11 MB
51.66/26.99	c (26,26) 5,5,18,19,22,22,26,STOP-AFTER(DIMACS)
51.66/26.99	c END-Prog: Sat Sep 14 04:09:24 CEST 2019
0.00/27.03	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-3891-serial-file.bin
51.94/27.50	c (0,0) Read Serial File Begin
51.94/27.50	c (0,0) HOME/scop-3891-serial-file.bin
51.94/27.74	c (0,0) Read Serial File End
51.94/27.75	
51.94/27.75	Fun-sCOP hybrid+manyglucose-4.1-27_release (2019-06-15)
51.94/27.75	(Solving Process)
51.94/27.75	
51.94/27.77	c BEGIN-Prog: Sat Sep 14 04:09:25 CEST 2019
51.94/27.77	c PID: 3914
51.94/27.77	c IP: 172.20.3.103
51.94/27.77	c HOST: node103.alineos.net
51.94/27.78	c (0,0) SatSolver.solve Begin
51.94/27.78	c (0,0) HOME/manyglucose-4.1-27_release -model -nthreads=8 -maxmemory=20000 -lit-scans=6000000 HOME/instance-4392657-1568426996.xml-scop-3894.cnf
51.94/27.80	c (0,0) c
51.94/27.80	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.94/27.80	c (0,0) c
51.94/27.80	c (0,0) c WARNING: for repeatability, setting FPU to use double precision
51.94/27.80	c (0,0) c 8 solvers engines and 1 companion as a blackboard created.
51.94/27.80	c (0,0) c ========================================[ Problem Statistics ]===========================================
51.94/27.80	c (0,0) c |                                                                                                       |
53.48/28.05	c (0,0) c |  Number of variables:        133503                                                                   |
53.48/28.05	c (0,0) c |  Number of clauses:          660549                                                                   |
53.48/28.05	c (0,0) c |  Parse time:                   0.22 s                                                                 |
53.48/28.05	c (0,0) c |                                                                                                       |
53.87/28.44	c (1,0) c |  Simplification time:          0.38 s                                                                 |
53.87/28.44	c (1,0) c |                                                                                                       |
53.87/28.44	c (1,0) c |  Generating clones                                                                                    |
54.18/28.72	c (1,0) c |  all clones generated. Memory =   489.36Mb.                                                           |
54.18/28.72	c (1,0) c ========================================================================================================|
54.18/28.72	c (1,0) c
54.18/28.72	c (1,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
54.18/28.72	c (1,0) c
54.18/28.75	c (1,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
54.18/28.75	c (1,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
54.18/28.75	c (1,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
54.18/28.75	c (1,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
54.18/28.75	c (1,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
54.18/28.75	c (1,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
54.18/28.75	c (1,0) c | Initial random_seed   |   91648253 |   91648254 |   91648255 |   91648256 |   91648257 |   91648258 |   91648259 |   91648260 |
54.18/28.75	c (1,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
54.18/28.75	c (1,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
54.18/28.75	c (1,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
54.18/28.75	c (1,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
54.18/28.75	c (1,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
54.18/28.75	c (1,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
54.18/28.75	c (1,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
54.18/28.75	c (1,0) c | var_decay             |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |
54.18/28.75	c (1,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
54.18/28.75	c (1,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
54.18/28.75	c (1,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
54.18/28.75	c (1,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
54.72/28.84	c (1,0) c
54.72/28.84	c (1,0) c real time : 1.0431 s
54.72/28.84	c (1,0) c cpu time  : 1.55594 s
54.72/28.84	c (1,0) c
54.72/28.84	c (1,0) c
54.72/28.84	c (1,0) c
54.72/28.84	c (1,0) c |---------------------------------------- FINAL STATS --------------------------------------------------|
54.72/28.85	c (1,0) c
54.72/28.85	c (1,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
54.72/28.85	c (1,0) c | Threads       |      Total      |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
54.72/28.85	c (1,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
54.72/28.85	c (1,0) c | Conflicts     |           32785 |       3454 |       3014 |       2726 |       3286 |       5459 |       3378 |       5318 |       6150 |
54.72/28.85	c (1,0) c | Decisions     |           58678 |       6265 |       6157 |       6136 |       6757 |       9170 |       6634 |       8597 |       8962 |
54.72/28.85	c (1,0) c | Propagations  |         4772741 |     678460 |     663488 |     583567 |     672342 |     447593 |     750507 |     451754 |     525030 |
54.72/28.85	c (1,0) c | ReduceDBs     |               8 |          1 |          1 |          1 |          1 |          1 |          1 |          1 |          1 |
54.72/28.85	c (1,0) c | SimpDBs       |               8 |          1 |          1 |          1 |          1 |          1 |          1 |          1 |          1 |
54.72/28.85	c (1,0) c | Restarts      |              51 |          6 |          9 |         12 |          7 |          3 |          8 |          3 |          3 |
54.72/28.85	c (1,0) c | ForcedImports |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
54.72/28.85	c (1,0) c | PropBinClauses|         4671018 |     605541 |     624779 |     524219 |     603711 |     548813 |     686038 |     474774 |     603143 |
54.72/28.85	c (1,0) c | PropPreBlocker|        20592810 |    2280383 |    1986284 |    1952369 |    2298391 |    3101774 |    2296875 |    3054526 |    3622208 |
54.72/28.85	c (1,0) c | PropNotBlocker|         6554398 |     758075 |     647299 |     640916 |     761420 |     939067 |     768141 |    1004615 |    1034865 |
54.72/28.85	c (1,0) c | LitFullScans  |        46761730 |    6000467 |    4995466 |    5001421 |    6001206 |    5851253 |    5918098 |    6000030 |    6993789 |
54.72/28.85	c (1,0) c | LitScanFracts |             167 |         66 |          0 |          0 |         41 |          0 |          0 |         30 |         30 |
54.72/28.85	c (1,0) c | DecisionLevel0|              97 |         11 |         13 |         19 |          9 |         14 |         11 |          5 |         15 |
54.72/28.85	c (1,0) c | Periods       |               4 |          1 |          0 |          0 |          1 |          0 |          0 |          1 |          1 |
54.72/28.85	c (1,0) c | Margin        |             160 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |
54.72/28.85	c (1,0) c | Avg_Trail     |                 |       1040 |       1381 |       1416 |       1487 |        823 |       1211 |        999 |        851 |
54.72/28.85	c (1,0) c | Avg_DL        |                 |         34 |         52 |         47 |         83 |         52 |         26 |         67 |         44 |
54.72/28.85	c (1,0) c | Avg_Res       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
54.72/28.85	c (1,0) c | Avg_Res_Seen  |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
54.72/28.85	c (1,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
54.72/28.85	c (1,0) c | Exported      |            2097 |         66 |         52 |         59 |         54 |        519 |         40 |        414 |        893 |
54.72/28.85	c (1,0) c | Imported      |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
54.72/28.85	c (1,0) c | Good          |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
54.72/28.85	c (1,0) c | Purge         |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
54.72/28.85	c (1,0) c | Promoted      |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
54.72/28.85	c (1,0) c | Remove_Imp    |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
54.72/28.85	c (1,0) c | Blocked_Reuse |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
54.72/28.85	c (1,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
54.72/28.85	c (1,0) c | Unaries       |                 |          5 |          4 |          7 |          2 |         11 |          3 |          2 |         12 |
54.72/28.85	c (1,0) c | Binaries      |                 |         41 |         18 |         28 |         20 |         31 |         12 |          3 |         39 |
54.72/28.85	c (1,0) c | Glues         |                 |         66 |         52 |         59 |         54 |        185 |         40 |        130 |        165 |
54.72/28.85	c (1,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
54.72/28.85	c (1,0) c | Orig_Seen     |             0 % |       1537 |       1607 |       1687 |       1846 |       1615 |       1590 |       1691 |       1165 |
54.72/28.85	c (1,0) c | Diff Orig seen|                 | -       78 | -        8 |         72 |        231 |      X     | -       25 |         76 | -      450 |
54.72/28.85	c (1,0) c | Hamming       |             0 % |        865 |        817 |        981 |        968 |      X     |        944 |        766 |       1172 |
54.72/28.85	c (1,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
54.72/28.85	c (1,0) c | RunningTime   |                 |    0.1 100%|    0.1 100%|    0.1 100%|    0.1 100%|    0.1 100%|    0.1 100%|    0.1 100%|    0.1 100%|
54.72/28.85	c (1,0) c | WaitingTime   |                 |    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|
54.72/28.85	c (1,0) c | ExchangingTime|                 |    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|
54.72/28.85	c (1,0) c | PeriodProcTime|                 |    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|
54.72/28.85	c (1,0) c | SolvingTime   |                 |    0.1     |    0.1     |    0.1     |    0.1     |    0.1     |    0.1     |    0.1     |    0.1     |
54.72/28.85	c (1,0) c | PropagationTim|                 |    0.1  72%|    0.1  74%|    0.1  74%|    0.1  74%|    0.1  78%|    0.1  73%|    0.1  78%|    0.1  76%|
54.72/28.85	c (1,0) c | AnalysisTime  |                 |    0.0  20%|    0.0  18%|    0.0  19%|    0.0  18%|    0.0  13%|    0.0  19%|    0.0  14%|    0.0  16%|
54.72/28.85	c (1,0) c | ReductionTime |                 |    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|
54.72/28.85	c (1,0) c | SimplifyTime  |                 |    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|
54.72/28.85	c (1,0) c | UsedRateTime  |                 |    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|
54.72/28.85	c (1,0) c | OverlapRateTim|                 |    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|
54.72/28.85	c (1,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
54.72/28.85	c (1,0) c
54.72/28.85	c (1,0) c
54.72/28.85	c (1,0) c Threads : 8
54.72/28.85	c (1,0) c Winner : 4
54.72/28.85	c (1,0) c Conflicts_0 : 3454
54.72/28.85	c (1,0) c Conflicts_1 : 3014
54.72/28.85	c (1,0) c Conflicts_2 : 2726
54.72/28.85	c (1,0) c Conflicts_3 : 3286
54.72/28.85	c (1,0) c Conflicts_4 : 5459
54.72/28.85	c (1,0) c Conflicts_5 : 3378
54.72/28.85	c (1,0) c Conflicts_6 : 5318
54.72/28.85	c (1,0) c Conflicts_7 : 6150
54.72/28.85	c (1,0) c Conflicts_total : 32785
54.72/28.85	c (1,0) c Conflicts_winner : 5459
54.72/28.85	c (1,0) c Decisions_0 : 6265
54.72/28.85	c (1,0) c Decisions_1 : 6157
54.72/28.85	c (1,0) c Decisions_2 : 6136
54.72/28.85	c (1,0) c Decisions_3 : 6757
54.72/28.85	c (1,0) c Decisions_4 : 9170
54.72/28.85	c (1,0) c Decisions_5 : 6634
54.72/28.85	c (1,0) c Decisions_6 : 8597
54.72/28.85	c (1,0) c Decisions_7 : 8962
54.72/28.85	c (1,0) c Decisions_total : 58678
54.72/28.85	c (1,0) c Decisions_winner : 9170
54.72/28.85	c (1,0) c Propagations_0 : 678460
54.72/28.85	c (1,0) c Propagations_1 : 663488
54.72/28.85	c (1,0) c Propagations_2 : 583567
54.72/28.85	c (1,0) c Propagations_3 : 672342
54.72/28.85	c (1,0) c Propagations_4 : 447593
54.72/28.85	c (1,0) c Propagations_5 : 750507
54.72/28.85	c (1,0) c Propagations_6 : 451754
54.72/28.85	c (1,0) c Propagations_7 : 525030
54.72/28.85	c (1,0) c Propagations_total : 4772741
54.72/28.85	c (1,0) c Propagations_winner : 447593
54.72/28.85	c (1,0) c ReduceDBs_0 : 1
54.72/28.85	c (1,0) c ReduceDBs_1 : 1
54.72/28.85	c (1,0) c ReduceDBs_2 : 1
54.72/28.85	c (1,0) c ReduceDBs_3 : 1
54.72/28.85	c (1,0) c ReduceDBs_4 : 1
54.72/28.85	c (1,0) c ReduceDBs_5 : 1
54.72/28.85	c (1,0) c ReduceDBs_6 : 1
54.72/28.85	c (1,0) c ReduceDBs_7 : 1
54.72/28.85	c (1,0) c ReduceDBs_total : 8
54.72/28.85	c (1,0) c ReduceDBs_winner : 1
54.72/28.85	c (1,0) c SimpDBs_0 : 1
54.72/28.85	c (1,0) c SimpDBs_1 : 1
54.72/28.85	c (1,0) c SimpDBs_2 : 1
54.72/28.85	c (1,0) c SimpDBs_3 : 1
54.72/28.85	c (1,0) c SimpDBs_4 : 1
54.72/28.85	c (1,0) c SimpDBs_5 : 1
54.72/28.85	c (1,0) c SimpDBs_6 : 1
54.72/28.85	c (1,0) c SimpDBs_7 : 1
54.72/28.85	c (1,0) c SimpDBs_total : 8
54.72/28.85	c (1,0) c SimpDBs_winner : 1
54.72/28.85	c (1,0) c Restarts_0 : 6
54.72/28.85	c (1,0) c Restarts_1 : 9
54.72/28.85	c (1,0) c Restarts_2 : 12
54.72/28.85	c (1,0) c Restarts_3 : 7
54.72/28.85	c (1,0) c Restarts_4 : 3
54.72/28.85	c (1,0) c Restarts_5 : 8
54.72/28.85	c (1,0) c Restarts_6 : 3
54.72/28.85	c (1,0) c Restarts_7 : 3
54.72/28.85	c (1,0) c Restarts_total : 51
54.72/28.85	c (1,0) c Restarts_winner : 3
54.72/28.85	c (1,0) c ForcedImports_0 : 0
54.72/28.85	c (1,0) c ForcedImports_1 : 0
54.72/28.85	c (1,0) c ForcedImports_2 : 0
54.72/28.85	c (1,0) c ForcedImports_3 : 0
54.72/28.85	c (1,0) c ForcedImports_4 : 0
54.72/28.85	c (1,0) c ForcedImports_5 : 0
54.72/28.85	c (1,0) c ForcedImports_6 : 0
54.72/28.85	c (1,0) c ForcedImports_7 : 0
54.72/28.85	c (1,0) c ForcedImports_total : 0
54.72/28.85	c (1,0) c ForcedImports_winner : 0
54.72/28.85	c (1,0) c PropsBinClauses_0 : 605541
54.72/28.85	c (1,0) c PropsBinClauses_1 : 624779
54.72/28.85	c (1,0) c PropsBinClauses_2 : 524219
54.72/28.85	c (1,0) c PropsBinClauses_3 : 603711
54.72/28.85	c (1,0) c PropsBinClauses_4 : 548813
54.72/28.85	c (1,0) c PropsBinClauses_5 : 686038
54.72/28.85	c (1,0) c PropsBinClauses_6 : 474774
54.72/28.85	c (1,0) c PropsBinClauses_7 : 603143
54.72/28.85	c (1,0) c PropsBinClauses_total : 4671018
54.72/28.85	c (1,0) c PropsBinClauses_winner : 548813
54.72/28.85	c (1,0) c PropsPreBlocker_0 : 2280383
54.72/28.85	c (1,0) c PropsPreBlocker_1 : 1986284
54.72/28.85	c (1,0) c PropsPreBlocker_2 : 1952369
54.72/28.85	c (1,0) c PropsPreBlocker_3 : 2298391
54.72/28.85	c (1,0) c PropsPreBlocker_4 : 3101774
54.72/28.85	c (1,0) c PropsPreBlocker_5 : 2296875
54.72/28.85	c (1,0) c PropsPreBlocker_6 : 3054526
54.72/28.85	c (1,0) c PropsPreBlocker_7 : 3622208
54.72/28.85	c (1,0) c PropsPreBlocker_total : 20592810
54.72/28.85	c (1,0) c PropsPreBlocker_winner : 3101774
54.72/28.85	c (1,0) c PropsNotBlocker_0 : 758075
54.72/28.85	c (1,0) c PropsNotBlocker_1 : 647299
54.72/28.85	c (1,0) c PropsNotBlocker_2 : 640916
54.72/28.85	c (1,0) c PropsNotBlocker_3 : 761420
54.72/28.85	c (1,0) c PropsNotBlocker_4 : 939067
54.72/28.85	c (1,0) c PropsNotBlocker_5 : 768141
54.72/28.85	c (1,0) c PropsNotBlocker_6 : 1004615
54.72/28.85	c (1,0) c PropsNotBlocker_7 : 1034865
54.72/28.85	c (1,0) c PropsNotBlocker_total : 6554398
54.72/28.85	c (1,0) c PropsNotBlocker_winner : 939067
54.72/28.85	c (1,0) c PropsLitFullScans_0 : 6000467
54.72/28.85	c (1,0) c PropsLitFullScans_1 : 4995466
54.72/28.85	c (1,0) c PropsLitFullScans_2 : 5001421
54.72/28.85	c (1,0) c PropsLitFullScans_3 : 6001206
54.72/28.85	c (1,0) c PropsLitFullScans_4 : 5851253
54.72/28.85	c (1,0) c PropsLitFullScans_5 : 5918098
54.72/28.85	c (1,0) c PropsLitFullScans_6 : 6000030
54.72/28.85	c (1,0) c PropsLitFullScans_7 : 6993789
54.72/28.85	c (1,0) c PropsLitFullScans_total : 46761730
54.72/28.85	c (1,0) c PropsLitFullScans_winner : 5851253
54.72/28.85	c (1,0) c LitScanFractions_0 : 66
54.72/28.85	c (1,0) c LitScanFractions_1 : 0
54.72/28.85	c (1,0) c LitScanFractions_2 : 0
54.72/28.85	c (1,0) c LitScanFractions_3 : 41
54.72/28.85	c (1,0) c LitScanFractions_4 : 0
54.72/28.85	c (1,0) c LitScanFractions_5 : 0
54.72/28.85	c (1,0) c LitScanFractions_6 : 30
54.72/28.85	c (1,0) c LitScanFractions_7 : 30
54.72/28.85	c (1,0) c LitScanFractions_total : 167
54.72/28.85	c (1,0) c LitScanFractions_winner : 0
54.72/28.85	c (1,0) c DecisionLevel0_0 : 11
54.72/28.85	c (1,0) c DecisionLevel0_1 : 13
54.72/28.85	c (1,0) c DecisionLevel0_2 : 19
54.72/28.85	c (1,0) c DecisionLevel0_3 : 9
54.72/28.85	c (1,0) c DecisionLevel0_4 : 14
54.72/28.85	c (1,0) c DecisionLevel0_5 : 11
54.72/28.85	c (1,0) c DecisionLevel0_6 : 5
54.72/28.85	c (1,0) c DecisionLevel0_7 : 15
54.72/28.85	c (1,0) c DecisionLevel0_total : 97
54.72/28.85	c (1,0) c DecisionLevel0_winner : 14
54.72/28.85	c (1,0) c Periods_0 : 1
54.72/28.85	c (1,0) c Periods_1 : 0
54.72/28.85	c (1,0) c Periods_2 : 0
54.72/28.85	c (1,0) c Periods_3 : 1
54.72/28.85	c (1,0) c Periods_4 : 0
54.72/28.85	c (1,0) c Periods_5 : 0
54.72/28.85	c (1,0) c Periods_6 : 1
54.72/28.85	c (1,0) c Periods_7 : 1
54.72/28.85	c (1,0) c Periods_total : 4
54.72/28.85	c (1,0) c Periods_winner : 0
54.72/28.85	c (1,0) c Margin_0 : 20
54.72/28.85	c (1,0) c Margin_1 : 20
54.72/28.85	c (1,0) c Margin_2 : 20
54.72/28.85	c (1,0) c Margin_3 : 20
54.72/28.85	c (1,0) c Margin_4 : 20
54.72/28.85	c (1,0) c Margin_5 : 20
54.72/28.85	c (1,0) c Margin_6 : 20
54.72/28.85	c (1,0) c Margin_7 : 20
54.72/28.85	c (1,0) c Margin_total : 160
54.72/28.85	c (1,0) c Margin_winner : 20
54.72/28.85	c (1,0) c Exported_0 : 66
54.72/28.85	c (1,0) c Exported_1 : 52
54.72/28.85	c (1,0) c Exported_2 : 59
54.72/28.85	c (1,0) c Exported_3 : 54
54.72/28.85	c (1,0) c Exported_4 : 519
54.72/28.85	c (1,0) c Exported_5 : 40
54.72/28.85	c (1,0) c Exported_6 : 414
54.72/28.85	c (1,0) c Exported_7 : 893
54.72/28.85	c (1,0) c Exported_total : 2097
54.72/28.85	c (1,0) c Exported_winner : 519
54.72/28.85	c (1,0) c Imported_0 : 0
54.72/28.85	c (1,0) c Imported_1 : 0
54.72/28.85	c (1,0) c Imported_2 : 0
54.72/28.85	c (1,0) c Imported_3 : 0
54.72/28.85	c (1,0) c Imported_4 : 0
54.72/28.85	c (1,0) c Imported_5 : 0
54.72/28.85	c (1,0) c Imported_6 : 0
54.72/28.85	c (1,0) c Imported_7 : 0
54.72/28.85	c (1,0) c Imported_total : 0
54.72/28.85	c (1,0) c Imported_winner : 0
54.72/28.85	c (1,0) c Good_0 : 0
54.72/28.85	c (1,0) c Good_1 : 0
54.72/28.85	c (1,0) c Good_2 : 0
54.72/28.85	c (1,0) c Good_3 : 0
54.72/28.85	c (1,0) c Good_4 : 0
54.72/28.85	c (1,0) c Good_5 : 0
54.72/28.85	c (1,0) c Good_6 : 0
54.72/28.85	c (1,0) c Good_7 : 0
54.72/28.85	c (1,0) c Good_total : 0
54.72/28.85	c (1,0) c Good_winner : 0
54.72/28.85	c (1,0) c Purge_0 : 0
54.72/28.85	c (1,0) c Purge_1 : 0
54.72/28.85	c (1,0) c Purge_2 : 0
54.72/28.85	c (1,0) c Purge_3 : 0
54.72/28.85	c (1,0) c Purge_4 : 0
54.72/28.85	c (1,0) c Purge_5 : 0
54.72/28.85	c (1,0) c Purge_6 : 0
54.72/28.86	c (1,0) c Purge_7 : 0
54.72/28.86	c (1,0) c Purge_total : 0
54.72/28.86	c (1,0) c Purge_winner : 0
54.72/28.86	c (1,0) c Promoted_0 : 0
54.72/28.86	c (1,0) c Promoted_1 : 0
54.72/28.86	c (1,0) c Promoted_2 : 0
54.72/28.86	c (1,0) c Promoted_3 : 0
54.72/28.86	c (1,0) c Promoted_4 : 0
54.72/28.86	c (1,0) c Promoted_5 : 0
54.72/28.86	c (1,0) c Promoted_6 : 0
54.72/28.86	c (1,0) c Promoted_7 : 0
54.72/28.86	c (1,0) c Promoted_total : 0
54.72/28.86	c (1,0) c Promoted_winner : 0
54.72/28.86	c (1,0) c Remove_Imp_0 : 0
54.72/28.86	c (1,0) c Remove_Imp_1 : 0
54.72/28.86	c (1,0) c Remove_Imp_2 : 0
54.72/28.86	c (1,0) c Remove_Imp_3 : 0
54.72/28.86	c (1,0) c Remove_Imp_4 : 0
54.72/28.86	c (1,0) c Remove_Imp_5 : 0
54.72/28.86	c (1,0) c Remove_Imp_6 : 0
54.72/28.86	c (1,0) c Remove_Imp_7 : 0
54.72/28.86	c (1,0) c Remove_Imp_total : 0
54.72/28.86	c (1,0) c Remove_Imp_winner : 0
54.72/28.86	c (1,0) c Blocked_Reuse_0 : 0
54.72/28.86	c (1,0) c Blocked_Reuse_1 : 0
54.72/28.86	c (1,0) c Blocked_Reuse_2 : 0
54.72/28.86	c (1,0) c Blocked_Reuse_3 : 0
54.72/28.86	c (1,0) c Blocked_Reuse_4 : 0
54.72/28.86	c (1,0) c Blocked_Reuse_5 : 0
54.72/28.86	c (1,0) c Blocked_Reuse_6 : 0
54.72/28.86	c (1,0) c Blocked_Reuse_7 : 0
54.72/28.86	c (1,0) c Blocked_Reuse_total : 0
54.72/28.86	c (1,0) c Blocked_Reuse_winner : 0
54.72/28.86	c (1,0) c Unaries_0 : 5
54.72/28.86	c (1,0) c Unaries_1 : 4
54.72/28.86	c (1,0) c Unaries_2 : 7
54.72/28.86	c (1,0) c Unaries_3 : 2
54.72/28.86	c (1,0) c Unaries_4 : 11
54.72/28.86	c (1,0) c Unaries_5 : 3
54.72/28.86	c (1,0) c Unaries_6 : 2
54.72/28.86	c (1,0) c Unaries_7 : 12
54.72/28.86	c (1,0) c Unaries_total : 46
54.72/28.86	c (1,0) c Unaries_winner : 11
54.72/28.86	c (1,0) c Binaries_0 : 41
54.72/28.86	c (1,0) c Binaries_1 : 18
54.72/28.86	c (1,0) c Binaries_2 : 28
54.72/28.86	c (1,0) c Binaries_3 : 20
54.72/28.86	c (1,0) c Binaries_4 : 31
54.72/28.86	c (1,0) c Binaries_5 : 12
54.72/28.86	c (1,0) c Binaries_6 : 3
54.72/28.86	c (1,0) c Binaries_7 : 39
54.72/28.86	c (1,0) c Binaries_total : 192
54.72/28.86	c (1,0) c Binaries_winner : 31
54.72/28.86	c (1,0) c Glues_0 : 66
54.72/28.86	c (1,0) c Glues_1 : 52
54.72/28.86	c (1,0) c Glues_2 : 59
54.72/28.86	c (1,0) c Glues_3 : 54
54.72/28.86	c (1,0) c Glues_4 : 185
54.72/28.86	c (1,0) c Glues_5 : 40
54.72/28.86	c (1,0) c Glues_6 : 130
54.72/28.86	c (1,0) c Glues_7 : 165
54.72/28.86	c (1,0) c Glues_total : 751
54.72/28.86	c (1,0) c Glues_winner : 185
54.72/28.86	c (1,0) c RunningTime_0 : 0.113787
54.72/28.86	c (1,0) c RunningTime_1 : 0.107781
54.72/28.86	c (1,0) c RunningTime_2 : 0.101886
54.72/28.86	c (1,0) c RunningTime_3 : 0.121503
54.72/28.86	c (1,0) c RunningTime_4 : 0.099971
54.72/28.86	c (1,0) c RunningTime_5 : 0.122984
54.72/28.86	c (1,0) c RunningTime_6 : 0.107344
54.72/28.86	c (1,0) c RunningTime_7 : 0.107259
54.72/28.86	c (1,0) c RunningTime_total : 0.882516
54.72/28.86	c (1,0) c RunningTime_winner : 0.099971
54.72/28.86	c (1,0) c WaitingTime_0 : 0.000000
54.72/28.86	c (1,0) c WaitingTime_1 : 0.000000
54.72/28.86	c (1,0) c WaitingTime_2 : 0.000000
54.72/28.86	c (1,0) c WaitingTime_3 : 0.000000
54.72/28.86	c (1,0) c WaitingTime_4 : 0.000000
54.72/28.86	c (1,0) c WaitingTime_5 : 0.000000
54.72/28.86	c (1,0) c WaitingTime_6 : 0.000000
54.72/28.86	c (1,0) c WaitingTime_7 : 0.000000
54.72/28.86	c (1,0) c WaitingTime_total : 0.000000
54.72/28.86	c (1,0) c WaitingTime_winner : 0.000000
54.72/28.86	c (1,0) c ExchangingTime_0 : 0.000231
54.72/28.86	c (1,0) c ExchangingTime_1 : 0.000163
54.72/28.86	c (1,0) c ExchangingTime_2 : 0.000151
54.72/28.86	c (1,0) c ExchangingTime_3 : 0.000195
54.72/28.86	c (1,0) c ExchangingTime_4 : 0.000320
54.72/28.86	c (1,0) c ExchangingTime_5 : 0.000195
54.72/28.86	c (1,0) c ExchangingTime_6 : 0.000298
54.72/28.86	c (1,0) c ExchangingTime_7 : 0.000343
54.72/28.86	c (1,0) c ExchangingTime_total : 0.001895
54.72/28.86	c (1,0) c ExchangingTime_winner : 0.000320
54.72/28.86	c (1,0) c PeriodProcTime_0 : 0.000004
54.72/28.86	c (1,0) c PeriodProcTime_1 : 0.000000
54.72/28.86	c (1,0) c PeriodProcTime_2 : 0.000000
54.72/28.86	c (1,0) c PeriodProcTime_3 : 0.000006
54.72/28.86	c (1,0) c PeriodProcTime_4 : 0.000000
54.72/28.86	c (1,0) c PeriodProcTime_5 : 0.000000
54.72/28.86	c (1,0) c PeriodProcTime_6 : 0.000007
54.72/28.86	c (1,0) c PeriodProcTime_7 : 0.000028
54.72/28.86	c (1,0) c PeriodProcTime_total : 0.000045
54.72/28.86	c (1,0) c PeriodProcTime_winner : 0.000000
54.72/28.86	c (1,0) c SolvingTime_0 : 0.114022
54.72/28.86	c (1,0) c SolvingTime_1 : 0.107944
54.72/28.86	c (1,0) c SolvingTime_2 : 0.102037
54.72/28.86	c (1,0) c SolvingTime_3 : 0.121703
54.72/28.86	c (1,0) c SolvingTime_4 : 0.100291
54.72/28.86	c (1,0) c SolvingTime_5 : 0.123179
54.72/28.86	c (1,0) c SolvingTime_6 : 0.107650
54.72/28.86	c (1,0) c SolvingTime_7 : 0.107630
54.72/28.86	c (1,0) c SolvingTime_total : 0.884456
54.72/28.86	c (1,0) c SolvingTime_winner : 0.100291
54.72/28.86	c (1,0) c PropagationTime_0 : 0.081815
54.72/28.86	c (1,0) c PropagationTime_1 : 0.080280
54.72/28.86	c (1,0) c PropagationTime_2 : 0.075093
54.72/28.86	c (1,0) c PropagationTime_3 : 0.090512
54.72/28.86	c (1,0) c PropagationTime_4 : 0.078577
54.72/28.86	c (1,0) c PropagationTime_5 : 0.090129
54.72/28.86	c (1,0) c PropagationTime_6 : 0.084075
54.72/28.86	c (1,0) c PropagationTime_7 : 0.081295
54.72/28.86	c (1,0) c PropagationTime_total : 0.661775
54.72/28.86	c (1,0) c PropagationTime_winner : 0.078577
54.72/28.86	c (1,0) c AnalysisTime_0 : 0.022537
54.72/28.86	c (1,0) c AnalysisTime_1 : 0.019214
54.72/28.86	c (1,0) c AnalysisTime_2 : 0.018896
54.72/28.86	c (1,0) c AnalysisTime_3 : 0.022497
54.72/28.86	c (1,0) c AnalysisTime_4 : 0.013320
54.72/28.86	c (1,0) c AnalysisTime_5 : 0.023149
54.72/28.86	c (1,0) c AnalysisTime_6 : 0.014902
54.72/28.86	c (1,0) c AnalysisTime_7 : 0.017302
54.72/28.86	c (1,0) c AnalysisTime_total : 0.151816
54.72/28.86	c (1,0) c AnalysisTime_winner : 0.013320
54.72/28.86	c (1,0) c ReductionTime_0 : 0.000327
54.72/28.86	c (1,0) c ReductionTime_1 : 0.000314
54.72/28.86	c (1,0) c ReductionTime_2 : 0.000309
54.72/28.86	c (1,0) c ReductionTime_3 : 0.000326
54.72/28.86	c (1,0) c ReductionTime_4 : 0.000306
54.72/28.86	c (1,0) c ReductionTime_5 : 0.000311
54.72/28.86	c (1,0) c ReductionTime_6 : 0.000313
54.72/28.86	c (1,0) c ReductionTime_7 : 0.000312
54.72/28.86	c (1,0) c ReductionTime_total : 0.002518
54.72/28.86	c (1,0) c ReductionTime_winner : 0.000306
54.72/28.86	c (1,0) c SimplifyTime_0 : 0.000000
54.72/28.86	c (1,0) c SimplifyTime_1 : 0.000000
54.72/28.86	c (1,0) c SimplifyTime_2 : 0.000004
54.72/28.86	c (1,0) c SimplifyTime_3 : 0.000001
54.72/28.86	c (1,0) c SimplifyTime_4 : 0.000002
54.72/28.86	c (1,0) c SimplifyTime_5 : 0.000002
54.72/28.86	c (1,0) c SimplifyTime_6 : 0.000000
54.72/28.86	c (1,0) c SimplifyTime_7 : 0.000001
54.72/28.86	c (1,0) c SimplifyTime_total : 0.000010
54.72/28.86	c (1,0) c SimplifyTime_winner : 0.000002
54.72/28.86	c (1,0) c UsedRateTime_0 : 0.000000
54.72/28.86	c (1,0) c UsedRateTime_1 : 0.000000
54.72/28.86	c (1,0) c UsedRateTime_2 : 0.000000
54.72/28.86	c (1,0) c UsedRateTime_3 : 0.000000
54.72/28.86	c (1,0) c UsedRateTime_4 : 0.000000
54.72/28.86	c (1,0) c UsedRateTime_5 : 0.000000
54.72/28.86	c (1,0) c UsedRateTime_6 : 0.000000
54.72/28.86	c (1,0) c UsedRateTime_7 : 0.000000
54.72/28.87	c (1,0) c UsedRateTime_total : 0.000000
54.72/28.87	c (1,0) c UsedRateTime_winner : 0.000000
54.72/28.87	c (1,0) c OverlapRateTime_0 : 0.000000
54.72/28.87	c (1,0) c OverlapRateTime_1 : 0.000000
54.72/28.87	c (1,0) c OverlapRateTime_2 : 0.000000
54.72/28.87	c (1,0) c OverlapRateTime_3 : 0.000000
54.72/28.87	c (1,0) c OverlapRateTime_4 : 0.000000
54.72/28.87	c (1,0) c OverlapRateTime_5 : 0.000000
54.72/28.87	c (1,0) c OverlapRateTime_6 : 0.000000
54.72/28.87	c (1,0) c OverlapRateTime_7 : 0.000000
54.72/28.87	c (1,0) c OverlapRateTime_total : 0.000000
54.72/28.87	c (1,0) c OverlapRateTime_winner : 0.000000
54.72/28.87	c (1,0) c
54.72/28.87	c (1,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
54.72/28.87	c (1,0) c
54.72/28.87	c (1,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
54.72/28.87	c (1,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
54.72/28.87	c (1,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
54.72/28.87	c (1,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
54.72/28.87	c (1,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
54.72/28.87	c (1,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
54.72/28.87	c (1,0) c | Initial random_seed   |  861298460 |  598786092 | 1737964516 |  170333232 | 2060611846 | 1313605343 | 1286853650 |  928175887 |
54.72/28.87	c (1,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
54.72/28.87	c (1,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
54.72/28.87	c (1,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
54.72/28.87	c (1,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
54.72/28.87	c (1,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
54.72/28.87	c (1,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
54.72/28.87	c (1,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
54.72/28.87	c (1,0) c | var_decay             |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8100 |     0.8000 |     0.8100 |     0.8100 |
54.72/28.87	c (1,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
54.72/28.87	c (1,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
54.72/28.87	c (1,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
54.72/28.87	c (1,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
54.72/28.87	c (1,0) 
54.72/28.88	c (1,0) s UNSATISFIABLE
54.72/28.88	c (1,0) SatSolver.solve End
54.72/28.88	c (1,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
54.72/28.88	c (1,0) Show results Begin
54.72/28.88	s UNSATISFIABLE
54.72/28.88	c (1,0) Show results End
54.72/28.88	c (1,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
54.72/28.88	c (1,0) 1,1,STOP-AFTER(ALL)
54.72/28.88	c END-Prog: Sat Sep 14 04:09:26 CEST 2019

Verifier Data


Watcher Data 

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

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

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4392657-1568426996/watcher-4392657-1568426996 -o /tmp/evaluation-result-4392657-1568426996/solver-4392657-1568426996 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node103-1568426882-3293 --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-4392657-1568426996.xml 

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

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


[startup+0.10006 s]*
/proc/loadavg: 4.82 7.60 8.04 2/211 3913
/proc/meminfo: memFree=31241936/32770624 swapFree=66996976/67108860
[pid=3891] ppid=3888 vsize=113128 memory=1392 CPUtime=0 cores=0-7
/proc/3891/stat : 3891 (scop.sh) S 3888 3891 3266 0 -1 4202496 555 319 0 0 0 0 0 0 20 0 1 0 418952692 115843072 348 33554432000 4194304 5098028 140733256301472 140733256298728 140445522571900 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 29655040 140733256303396 140733256303724 140733256303724 140733256306637 0
/proc/3891/statm: 28282 348 296 221 0 87 0
[pid=3894] ppid=3891 vsize=27314120 memory=104360 CPUtime=0.1 cores=0-7
/proc/3894/stat : 3894 (java) S 3891 3891 3266 0 -1 1077944320 6124 0 0 0 8 2 0 0 20 0 20 0 418952692 27969658880 26090 33554432000 4194304 4196468 140733872601312 140733872583856 140575711710967 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 29638656 140733872607979 140733872608406 140733872608406 140733872611279 0
/proc/3894/statm: 6828530 26090 2817 1 0 6790935 0
[pid=3894/tid=3895] ppid=3891 vsize=27314120 memory=576460756329955445 CPUtime=0.09 cores=0-7
/proc/3894/task/3895/stat : 3895 (java) R 3891 3891 3266 0 -1 4202560 4207 0 0 0 7 2 0 0 20 0 20 0 418952692 27969658880 26090 33554432000 4194304 4196468 140733872601312 140575683537296 140575697779086 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 29638656 140733872607979 140733872608406 140733872608406 140733872611279 0
[pid=3894/tid=3896] ppid=3891 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/3894/task/3896/stat : 3896 (java) S 3891 3891 3266 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418952695 27969658880 26090 33554432000 4194304 4196468 140733872601312 140575715953040 140575711721173 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29638656 140733872607979 140733872608406 140733872608406 140733872611279 0
[pid=3894/tid=3897] ppid=3891 vsize=27314120 memory=3474158887667553952 CPUtime=0 cores=0-7
/proc/3894/task/3897/stat : 3897 (java) S 3891 3891 3266 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418952695 27969658880 26090 33554432000 4194304 4196468 140733872601312 140575499348240 140575711721173 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29638656 140733872607979 140733872608406 140733872608406 140733872611279 0
[pid=3894/tid=3898] ppid=3891 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/3894/task/3898/stat : 3898 (java) S 3891 3891 3266 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418952695 27969658880 26090 33554432000 4194304 4196468 140733872601312 140575498295952 140575711721173 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29638656 140733872607979 140733872608406 140733872608406 140733872611279 0
[pid=3894/tid=3899] ppid=3891 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/3894/task/3899/stat : 3899 (java) S 3891 3891 3266 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418952695 27969658880 26090 33554432000 4194304 4196468 140733872601312 140575497243152 140575711721173 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29638656 140733872607979 140733872608406 140733872608406 140733872611279 0
[pid=3894/tid=3900] ppid=3891 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/3894/task/3900/stat : 3900 (java) S 3891 3891 3266 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418952695 27969658880 26090 33554432000 4194304 4196468 140733872601312 140575496190864 140575711721173 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29638656 140733872607979 140733872608406 140733872608406 140733872611279 0
[pid=3894/tid=3901] ppid=3891 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/3894/task/3901/stat : 3901 (java) S 3891 3891 3266 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418952695 27969658880 26090 33554432000 4194304 4196468 140733872601312 140575495138064 140575711721173 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29638656 140733872607979 140733872608406 140733872608406 140733872611279 0
[pid=3894/tid=3902] ppid=3891 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/3894/task/3902/stat : 3902 (java) S 3891 3891 3266 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418952695 27969658880 26602 33554432000 4194304 4196468 140733872601312 140575494085776 140575711721173 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29638656 140733872607979 140733872608406 140733872608406 140733872611279 0
[pid=3894/tid=3903] ppid=3891 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/3894/task/3903/stat : 3903 (java) S 3891 3891 3266 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418952695 27969658880 26602 33554432000 4194304 4196468 140733872601312 140575493032976 140575711721173 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29638656 140733872607979 140733872608406 140733872608406 140733872611279 0
[pid=3894/tid=3904] ppid=3891 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/3894/task/3904/stat : 3904 (java) S 3891 3891 3266 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418952696 27969658880 26602 33554432000 4194304 4196468 140733872601312 140574098184304 140575711722114 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29638656 140733872607979 140733872608406 140733872608406 140733872611279 0
[pid=3894/tid=3905] ppid=3891 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/3894/task/3905/stat : 3905 (java) S 3891 3891 3266 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 418952697 27969658880 26602 33554432000 4194304 4196468 140733872601312 140573474284320 140575711721173 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29638656 140733872607979 140733872608406 140733872608406 140733872611279 0
[pid=3894/tid=3906] ppid=3891 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/3894/task/3906/stat : 3906 (java) S 3891 3891 3266 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 418952697 27969658880 26602 33554432000 4194304 4196468 140733872601312 140573340062832 140575711721173 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29638656 140733872607979 140733872608406 140733872608406 140733872611279 0
[pid=3894/tid=3907] ppid=3891 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/3894/task/3907/stat : 3907 (java) S 3891 3891 3266 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418952699 27969658880 26602 33554432000 4194304 4196468 140733872601312 140572965558352 140575711729563 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29638656 140733872607979 140733872608406 140733872608406 140733872611279 0
[pid=3894/tid=3908] ppid=3891 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/3894/task/3908/stat : 3908 (java) S 3891 3891 3266 0 -1 1077944384 293 0 0 0 0 0 0 0 20 0 20 0 418952699 27969658880 26602 33554432000 4194304 4196468 140733872601312 140574097132144 140575711722114 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29638656 140733872607979 140733872608406 140733872608406 140733872611279 0
[pid=3894/tid=3909] ppid=3891 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/3894/task/3909/stat : 3909 (java) S 3891 3891 3266 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418952699 27969658880 26602 33554432000 4194304 4196468 140733872601312 140574096079344 140575711722114 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29638656 140733872607979 140733872608406 140733872608406 140733872611279 0
[pid=3894/tid=3910] ppid=3891 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/3894/task/3910/stat : 3910 (java) S 3891 3891 3266 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418952699 27969658880 26602 33554432000 4194304 4196468 140733872601312 140574095027056 140575711722114 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29638656 140733872607979 140733872608406 140733872608406 140733872611279 0
[pid=3894/tid=3911] ppid=3891 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/3894/task/3911/stat : 3911 (java) S 3891 3891 3266 0 -1 1077944384 266 0 0 0 0 0 0 0 20 0 20 0 418952699 27969658880 26602 33554432000 4194304 4196468 140733872601312 140574093974256 140575711722114 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29638656 140733872607979 140733872608406 140733872608406 140733872611279 0
[pid=3894/tid=3912] ppid=3891 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/3894/task/3912/stat : 3912 (java) S 3891 3891 3266 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418952700 27969658880 26602 33554432000 4194304 4196468 140733872601312 140572467652960 140575711721173 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29638656 140733872607979 140733872608406 140733872608406 140733872611279 0
[pid=3894/tid=3913] ppid=3891 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/3894/task/3913/stat : 3913 (java) S 3891 3891 3266 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418952700 27969658880 26602 33554432000 4194304 4196468 140733872601312 140574092921136 140575711722114 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29638656 140733872607979 140733872608406 140733872608406 140733872611279 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 105752 KiB

[startup+0.210455 s]*
/proc/loadavg: 4.82 7.60 8.04 3/211 3913
/proc/meminfo: memFree=31223104/32770624 swapFree=66996976/67108860
[pid=3891] ppid=3888 vsize=113128 memory=1392 CPUtime=0 cores=0-7
/proc/3891/stat : 3891 (scop.sh) S 3888 3891 3266 0 -1 4202496 555 319 0 0 0 0 0 0 20 0 1 0 418952692 115843072 348 33554432000 4194304 5098028 140733256301472 140733256298728 140445522571900 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 29655040 140733256303396 140733256303724 140733256303724 140733256306637 0
/proc/3891/statm: 28282 348 296 221 0 87 0
[pid=3894] ppid=3891 vsize=27314120 memory=121052 CPUtime=0.24 cores=0-7
/proc/3894/stat : 3894 (java) S 3891 3891 3266 0 -1 1077944320 11010 0 0 0 20 4 0 0 20 0 20 0 418952692 27969658880 30263 33554432000 4194304 4196468 140733872601312 140733872583856 140575711710967 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 29638656 140733872607979 140733872608406 140733872608406 140733872611279 0
/proc/3894/statm: 6828530 30263 2952 1 0 6790935 0
[pid=3894/tid=3895] ppid=3891 vsize=27314120 memory=8318255677412212789 CPUtime=0.19 cores=0-7
/proc/3894/task/3895/stat : 3895 (java) R 3891 3891 3266 0 -1 4202560 8681 0 0 0 16 3 0 0 20 0 20 0 418952692 27969658880 30263 33554432000 4194304 4196468 140733872601312 140575683531872 140575693274527 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 29638656 140733872607979 140733872608406 140733872608406 140733872611279 0
[pid=3894/tid=3896] ppid=3891 vsize=27314120 memory=288230609019732336 CPUtime=0 cores=0-7
/proc/3894/task/3896/stat : 3896 (java) S 3891 3891 3266 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418952695 27969658880 30263 33554432000 4194304 4196468 140733872601312 140575715953040 140575711721173 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29638656 140733872607979 140733872608406 140733872608406 140733872611279 0
[pid=3894/tid=3897] ppid=3891 vsize=27314120 memory=140611992586883 CPUtime=0 cores=0-7
/proc/3894/task/3897/stat : 3897 (java) S 3891 3891 3266 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418952695 27969658880 30263 33554432000 4194304 4196468 140733872601312 140575499348240 140575711721173 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29638656 140733872607979 140733872608406 140733872608406 140733872611279 0
[pid=3894/tid=3898] ppid=3891 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/3894/task/3898/stat : 3898 (java) S 3891 3891 3266 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418952695 27969658880 30263 33554432000 4194304 4196468 140733872601312 140575498295952 140575711721173 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29638656 140733872607979 140733872608406 140733872608406 140733872611279 0
[pid=3894/tid=3899] ppid=3891 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/3894/task/3899/stat : 3899 (java) S 3891 3891 3266 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418952695 27969658880 30263 33554432000 4194304 4196468 140733872601312 140575497243152 140575711721173 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29638656 140733872607979 140733872608406 140733872608406 140733872611279 0
[pid=3894/tid=3900] ppid=3891 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/3894/task/3900/stat : 3900 (java) S 3891 3891 3266 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418952695 27969658880 30263 33554432000 4194304 4196468 140733872601312 140575496190864 140575711721173 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29638656 140733872607979 140733872608406 140733872608406 140733872611279 0
[pid=3894/tid=3901] ppid=3891 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/3894/task/3901/stat : 3901 (java) S 3891 3891 3266 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418952695 27969658880 30263 33554432000 4194304 4196468 140733872601312 140575495138064 140575711721173 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29638656 140733872607979 140733872608406 140733872608406 140733872611279 0
[pid=3894/tid=3902] ppid=3891 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/3894/task/3902/stat : 3902 (java) S 3891 3891 3266 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418952695 27969658880 30263 33554432000 4194304 4196468 140733872601312 140575494085776 140575711721173 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29638656 140733872607979 140733872608406 140733872608406 140733872611279 0
[pid=3894/tid=3903] ppid=3891 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/3894/task/3903/stat : 3903 (java) S 3891 3891 3266 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418952695 27969658880 30263 33554432000 4194304 4196468 140733872601312 140575493032976 140575711721173 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29638656 140733872607979 140733872608406 140733872608406 140733872611279 0
[pid=3894/tid=3904] ppid=3891 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/3894/task/3904/stat : 3904 (java) S 3891 3891 3266 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418952696 27969658880 30263 33554432000 4194304 4196468 140733872601312 140574098184304 140575711722114 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29638656 140733872607979 140733872608406 140733872608406 140733872611279 0
[pid=3894/tid=3905] ppid=3891 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/3894/task/3905/stat : 3905 (java) S 3891 3891 3266 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 418952697 27969658880 30263 33554432000 4194304 4196468 140733872601312 140573474284320 140575711721173 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29638656 140733872607979 140733872608406 140733872608406 140733872611279 0
[pid=3894/tid=3906] ppid=3891 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/3894/task/3906/stat : 3906 (java) S 3891 3891 3266 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 418952697 27969658880 30263 33554432000 4194304 4196468 140733872601312 140573340062832 140575711721173 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29638656 140733872607979 140733872608406 140733872608406 140733872611279 0
[pid=3894/tid=3907] ppid=3891 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/3894/task/3907/stat : 3907 (java) S 3891 3891 3266 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418952699 27969658880 30263 33554432000 4194304 4196468 140733872601312 140572965558352 140575711729563 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29638656 140733872607979 140733872608406 140733872608406 140733872611279 0
[pid=3894/tid=3908] ppid=3891 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/3894/task/3908/stat : 3908 (java) S 3891 3891 3266 0 -1 1077944384 327 0 0 0 0 0 0 0 20 0 20 0 418952699 27969658880 30263 33554432000 4194304 4196468 140733872601312 140574097132144 140575711722114 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29638656 140733872607979 140733872608406 140733872608406 140733872611279 0
[pid=3894/tid=3909] ppid=3891 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/3894/task/3909/stat : 3909 (java) S 3891 3891 3266 0 -1 1077944384 133 0 0 0 0 0 0 0 20 0 20 0 418952699 27969658880 30263 33554432000 4194304 4196468 140733872601312 140574096079344 140575711722114 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29638656 140733872607979 140733872608406 140733872608406 140733872611279 0
[pid=3894/tid=3910] ppid=3891 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/3894/task/3910/stat : 3910 (java) S 3891 3891 3266 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418952699 27969658880 30263 33554432000 4194304 4196468 140733872601312 140574095027056 140575711722114 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29638656 140733872607979 140733872608406 140733872608406 140733872611279 0
[pid=3894/tid=3911] ppid=3891 vsize=27314120 memory=0 CPUtime=0.02 cores=0-7
/proc/3894/task/3911/stat : 3911 (java) S 3891 3891 3266 0 -1 1077944384 505 0 0 0 2 0 0 0 20 0 20 0 418952699 27969658880 30263 33554432000 4194304 4196468 140733872601312 140574093974256 140575711722114 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29638656 140733872607979 140733872608406 140733872608406 140733872611279 0
[pid=3894/tid=3912] ppid=3891 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/3894/task/3912/stat : 3912 (java) S 3891 3891 3266 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418952700 27969658880 30263 33554432000 4194304 4196468 140733872601312 140572467652960 140575711721173 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29638656 140733872607979 140733872608406 140733872608406 140733872611279 0
[pid=3894/tid=3913] ppid=3891 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/3894/task/3913/stat : 3913 (java) S 3891 3891 3266 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418952700 27969658880 30263 33554432000 4194304 4196468 140733872601312 140574092921136 140575711722114 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29638656 140733872607979 140733872608406 140733872608406 140733872611279 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 122444 KiB

[startup+0.310282 s]*
/proc/loadavg: 4.82 7.60 8.04 2/211 3913
/proc/meminfo: memFree=31219072/32770624 swapFree=66996976/67108860
[pid=3891] ppid=3888 vsize=113128 memory=1392 CPUtime=0 cores=0-7
/proc/3891/stat : 3891 (scop.sh) S 3888 3891 3266 0 -1 4202496 555 319 0 0 0 0 0 0 20 0 1 0 418952692 115843072 348 33554432000 4194304 5098028 140733256301472 140733256298728 140445522571900 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 29655040 140733256303396 140733256303724 140733256303724 140733256306637 0
/proc/3891/statm: 28282 348 296 221 0 87 0
[pid=3894] ppid=3891 vsize=27314120 memory=125532 CPUtime=0.42 cores=0-7
/proc/3894/stat : 3894 (java) S 3891 3891 3266 0 -1 1077944320 12261 0 0 0 37 5 0 0 20 0 20 0 418952692 27969658880 31383 33554432000 4194304 4196468 140733872601312 140733872583856 140575711710967 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 29638656 140733872607979 140733872608406 140733872608406 140733872611279 0
/proc/3894/statm: 6828530 31383 3041 1 0 6790935 0
[pid=3894/tid=3895] ppid=3891 vsize=27314120 memory=8317482817917895235 CPUtime=0.3 cores=0-7
/proc/3894/task/3895/stat : 3895 (java) R 3891 3891 3266 0 -1 4202560 9741 0 0 0 26 4 0 0 20 0 20 0 418952692 27969658880 31383 33554432000 4194304 4196468 140733872601312 140575683541040 140575695791454 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 29638656 140733872607979 140733872608406 140733872608406 140733872611279 0
[pid=3894/tid=3896] ppid=3891 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/3894/task/3896/stat : 3896 (java) S 3891 3891 3266 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418952695 27969658880 31383 33554432000 4194304 4196468 140733872601312 140575715953040 140575711721173 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29638656 140733872607979 140733872608406 140733872608406 140733872611279 0
[pid=3894/tid=3897] ppid=3891 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/3894/task/3897/stat : 3897 (java) S 3891 3891 3266 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418952695 27969658880 31383 33554432000 4194304 4196468 140733872601312 140575499348240 140575711721173 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29638656 140733872607979 140733872608406 140733872608406 140733872611279 0
[pid=3894/tid=3898] ppid=3891 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/3894/task/3898/stat : 3898 (java) S 3891 3891 3266 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418952695 27969658880 31383 33554432000 4194304 4196468 140733872601312 140575498295952 140575711721173 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29638656 140733872607979 140733872608406 140733872608406 140733872611279 0
[pid=3894/tid=3899] ppid=3891 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/3894/task/3899/stat : 3899 (java) S 3891 3891 3266 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418952695 27969658880 31383 33554432000 4194304 4196468 140733872601312 140575497243152 140575711721173 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29638656 140733872607979 140733872608406 140733872608406 140733872611279 0
[pid=3894/tid=3900] ppid=3891 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/3894/task/3900/stat : 3900 (java) S 3891 3891 3266 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418952695 27969658880 31383 33554432000 4194304 4196468 140733872601312 140575496190864 140575711721173 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29638656 140733872607979 140733872608406 140733872608406 140733872611279 0
[pid=3894/tid=3901] ppid=3891 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/3894/task/3901/stat : 3901 (java) S 3891 3891 3266 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418952695 27969658880 31383 33554432000 4194304 4196468 140733872601312 140575495138064 140575711721173 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29638656 140733872607979 140733872608406 140733872608406 140733872611279 0
[pid=3894/tid=3902] ppid=3891 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/3894/task/3902/stat : 3902 (java) S 3891 3891 3266 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418952695 27969658880 31383 33554432000 4194304 4196468 140733872601312 140575494085776 140575711721173 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29638656 140733872607979 140733872608406 140733872608406 140733872611279 0
[pid=3894/tid=3903] ppid=3891 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/3894/task/3903/stat : 3903 (java) S 3891 3891 3266 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418952695 27969658880 31383 33554432000 4194304 4196468 140733872601312 140575493032976 140575711721173 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29638656 140733872607979 140733872608406 140733872608406 140733872611279 0
[pid=3894/tid=3904] ppid=3891 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/3894/task/3904/stat : 3904 (java) S 3891 3891 3266 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418952696 27969658880 31383 33554432000 4194304 4196468 140733872601312 140574098184304 140575711722114 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29638656 140733872607979 140733872608406 140733872608406 140733872611279 0
[pid=3894/tid=3905] ppid=3891 vsize=27314120 memory=281223721328000 CPUtime=0 cores=0-7
/proc/3894/task/3905/stat : 3905 (java) S 3891 3891 3266 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 418952697 27969658880 31383 33554432000 4194304 4196468 140733872601312 140573474284320 140575711721173 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29638656 140733872607979 140733872608406 140733872608406 140733872611279 0
[pid=3894/tid=3906] ppid=3891 vsize=27314120 memory=281223721332608 CPUtime=0 cores=0-7
/proc/3894/task/3906/stat : 3906 (java) S 3891 3891 3266 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 418952697 27969658880 31383 33554432000 4194304 4196468 140733872601312 140573340062832 140575711721173 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29638656 140733872607979 140733872608406 140733872608406 140733872611279 0
[pid=3894/tid=3907] ppid=3891 vsize=27314120 memory=281223721337216 CPUtime=0 cores=0-7
/proc/3894/task/3907/stat : 3907 (java) S 3891 3891 3266 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418952699 27969658880 31383 33554432000 4194304 4196468 140733872601312 140572965558352 140575711729563 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29638656 140733872607979 140733872608406 140733872608406 140733872611279 0
[pid=3894/tid=3908] ppid=3891 vsize=27314120 memory=281223721341824 CPUtime=0 cores=0-7
/proc/3894/task/3908/stat : 3908 (java) S 3891 3891 3266 0 -1 1077944384 343 0 0 0 0 0 0 0 20 0 20 0 418952699 27969658880 31383 33554432000 4194304 4196468 140733872601312 140574097132144 140575711722114 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29638656 140733872607979 140733872608406 140733872608406 140733872611279 0
[pid=3894/tid=3909] ppid=3891 vsize=27314120 memory=281223721346432 CPUtime=0.01 cores=0-7
/proc/3894/task/3909/stat : 3909 (java) S 3891 3891 3266 0 -1 1077944384 213 0 0 0 1 0 0 0 20 0 20 0 418952699 27969658880 31383 33554432000 4194304 4196468 140733872601312 140574096079344 140575711722114 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29638656 140733872607979 140733872608406 140733872608406 140733872611279 0
[pid=3894/tid=3910] ppid=3891 vsize=27314120 memory=281223721351040 CPUtime=0.02 cores=0-7
/proc/3894/task/3910/stat : 3910 (java) R 3891 3891 3266 0 -1 4202560 57 0 0 0 2 0 0 0 20 0 20 0 418952699 27969658880 31383 33554432000 4194304 4196468 140733872601312 140574095027056 140575691373185 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 29638656 140733872607979 140733872608406 140733872608406 140733872611279 0
[pid=3894/tid=3911] ppid=3891 vsize=27314120 memory=281223721355648 CPUtime=0.07 cores=0-7
/proc/3894/task/3911/stat : 3911 (java) S 3891 3891 3266 0 -1 1077944384 556 0 0 0 7 0 0 0 20 0 20 0 418952699 27969658880 31383 33554432000 4194304 4196468 140733872601312 140574093974256 140575711722114 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29638656 140733872607979 140733872608406 140733872608406 140733872611279 0
[pid=3894/tid=3912] ppid=3891 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/3894/task/3912/stat : 3912 (java) S 3891 3891 3266 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418952700 27969658880 31383 33554432000 4194304 4196468 140733872601312 140572467652960 140575711721173 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29638656 140733872607979 140733872608406 140733872608406 140733872611279 0
[pid=3894/tid=3913] ppid=3891 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/3894/task/3913/stat : 3913 (java) S 3891 3891 3266 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418952700 27969658880 31383 33554432000 4194304 4196468 140733872601312 140574092921136 140575711722114 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29638656 140733872607979 140733872608406 140733872608406 140733872611279 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 126924 KiB

[startup+0.70769 s]
/proc/loadavg: 4.82 7.60 8.04 2/211 3913
/proc/meminfo: memFree=31195884/32770624 swapFree=66996976/67108860
[pid=3891] ppid=3888 vsize=113128 memory=1392 CPUtime=0 cores=0-7
/proc/3891/stat : 3891 (scop.sh) S 3888 3891 3266 0 -1 4202496 555 319 0 0 0 0 0 0 20 0 1 0 418952692 115843072 348 33554432000 4194304 5098028 140733256301472 140733256298728 140445522571900 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 29655040 140733256303396 140733256303724 140733256303724 140733256306637 0
/proc/3891/statm: 28282 348 296 221 0 87 0
[pid=3894] ppid=3891 vsize=27320392 memory=163396 CPUtime=1.04 cores=0-7
/proc/3894/stat : 3894 (java) S 3891 3891 3266 0 -1 1077944320 19977 0 0 0 97 7 0 0 20 0 20 0 418952692 27976081408 40849 33554432000 4194304 4196468 140733872601312 140733872583856 140575711710967 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 29638656 140733872607979 140733872608406 140733872608406 140733872611279 0
/proc/3894/statm: 6830098 40849 3178 1 0 6791447 0
[pid=3894/tid=3895] ppid=3891 vsize=27320392 memory=4580 CPUtime=0.68 cores=0-7
/proc/3894/task/3895/stat : 3895 (java) R 3891 3891 3266 0 -1 4202560 16833 0 0 0 63 5 0 0 20 0 20 0 418952692 27976081408 40849 33554432000 4194304 4196468 140733872601312 140575683548080 140575711732893 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 29638656 140733872607979 140733872608406 140733872608406 140733872611279 0
[pid=3894/tid=3896] ppid=3891 vsize=27320392 memory=0 CPUtime=0 cores=0-7
/proc/3894/task/3896/stat : 3896 (java) S 3891 3891 3266 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418952695 27976081408 40849 33554432000 4194304 4196468 140733872601312 140575715953040 140575711721173 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29638656 140733872607979 140733872608406 140733872608406 140733872611279 0
[pid=3894/tid=3897] ppid=3891 vsize=27320392 memory=0 CPUtime=0 cores=0-7
/proc/3894/task/3897/stat : 3897 (java) S 3891 3891 3266 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418952695 27976081408 40849 33554432000 4194304 4196468 140733872601312 140575499348240 140575711721173 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29638656 140733872607979 140733872608406 140733872608406 140733872611279 0
[pid=3894/tid=3898] ppid=3891 vsize=27320392 memory=2828 CPUtime=0 cores=0-7
/proc/3894/task/3898/stat : 3898 (java) S 3891 3891 3266 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418952695 27976081408 40849 33554432000 4194304 4196468 140733872601312 140575498295952 140575711721173 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29638656 140733872607979 140733872608406 140733872608406 140733872611279 0

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

[pid=3914/tid=3922] ppid=3891 vsize=8414124 memory=3028 CPUtime=0 cores=0-7
/proc/3914/task/3922/stat : 3922 (java) S 3891 3891 3266 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418955397 8616062976 30648 33554432000 4194304 4196468 140730158550016 139762001926800 139762522416853 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24289280 140730158556152 140730158556310 140730158556310 140730158559183 0
[pid=3914/tid=3923] ppid=3891 vsize=8414124 memory=2012 CPUtime=0 cores=0-7
/proc/3914/task/3923/stat : 3923 (java) S 3891 3891 3266 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 418955397 8616062976 30648 33554432000 4194304 4196468 140730158550016 139762000874000 139762522416853 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24289280 140730158556152 140730158556310 140730158556310 140730158559183 0
[pid=3914/tid=3924] ppid=3891 vsize=8414124 memory=1388 CPUtime=0 cores=0-7
/proc/3914/task/3924/stat : 3924 (java) S 3891 3891 3266 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 24 0 418955399 8616062976 30648 33554432000 4194304 4196468 140730158550016 139761481693808 139762522417794 0 0 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24289280 140730158556152 140730158556310 140730158556310 140730158559183 0
[pid=3914/tid=3925] ppid=3891 vsize=8414124 memory=776 CPUtime=0 cores=0-7
/proc/3914/task/3925/stat : 3925 (java) S 3891 3891 3266 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 418955399 8616062976 30648 33554432000 4194304 4196468 140730158550016 139761188594976 139762522416853 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24289280 140730158556152 140730158556310 140730158556310 140730158559183 0
[pid=3914/tid=3926] ppid=3891 vsize=8414124 memory=3972 CPUtime=0 cores=0-7
/proc/3914/task/3926/stat : 3926 (java) S 3891 3891 3266 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418955400 8616062976 30648 33554432000 4194304 4196468 140730158550016 139760920159856 139762522416853 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24289280 140730158556152 140730158556310 140730158556310 140730158559183 0
[pid=3914/tid=3927] ppid=3891 vsize=8414124 memory=2828 CPUtime=0 cores=0-7
/proc/3914/task/3927/stat : 3927 (java) S 3891 3891 3266 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418955402 8616062976 30648 33554432000 4194304 4196468 140730158550016 139760545651280 139762522425243 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24289280 140730158556152 140730158556310 140730158556310 140730158559183 0
[pid=3914/tid=3928] ppid=3891 vsize=8414124 memory=676 CPUtime=0.14 cores=0-7
/proc/3914/task/3928/stat : 3928 (java) S 3891 3891 3266 0 -1 1077944384 1152 0 0 0 14 0 0 0 20 0 24 0 418955402 8616062976 30648 33554432000 4194304 4196468 140730158550016 139761480640624 139762522417794 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24289280 140730158556152 140730158556310 140730158556310 140730158559183 0
[pid=3914/tid=3929] ppid=3891 vsize=8414124 memory=1060 CPUtime=0.08 cores=0-7
/proc/3914/task/3929/stat : 3929 (java) S 3891 3891 3266 0 -1 1077944384 342 0 0 0 8 0 0 0 20 0 24 0 418955402 8616062976 30648 33554432000 4194304 4196468 140730158550016 139761479587824 139762522417794 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24289280 140730158556152 140730158556310 140730158556310 140730158559183 0
[pid=3914/tid=3930] ppid=3891 vsize=8414124 memory=1548 CPUtime=0.08 cores=0-7
/proc/3914/task/3930/stat : 3930 (java) S 3891 3891 3266 0 -1 1077944384 217 0 0 0 8 0 0 0 20 0 24 0 418955402 8616062976 30648 33554432000 4194304 4196468 140730158550016 139761478535536 139762522417794 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24289280 140730158556152 140730158556310 140730158556310 140730158559183 0
[pid=3914/tid=3931] ppid=3891 vsize=8414124 memory=8560 CPUtime=0.21 cores=0-7
/proc/3914/task/3931/stat : 3931 (java) S 3891 3891 3266 0 -1 1077944384 554 0 0 0 21 0 0 0 20 0 24 0 418955402 8616062976 30648 33554432000 4194304 4196468 140730158550016 139761477482736 139762522417794 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24289280 140730158556152 140730158556310 140730158556310 140730158559183 0
[pid=3914/tid=3932] ppid=3891 vsize=8414124 memory=1668 CPUtime=0 cores=0-7
/proc/3914/task/3932/stat : 3932 (java) S 3891 3891 3266 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 418955403 8616062976 30648 33554432000 4194304 4196468 140730158550016 139760047745888 139762522416853 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24289280 140730158556152 140730158556310 140730158556310 140730158559183 0
[pid=3914/tid=3933] ppid=3891 vsize=8414124 memory=1112 CPUtime=0 cores=0-7
/proc/3914/task/3933/stat : 3933 (java) S 3891 3891 3266 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418955403 8616062976 30648 33554432000 4194304 4196468 140730158550016 139761476430640 139762522417794 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24289280 140730158556152 140730158556310 140730158556310 140730158559183 0
[pid=3914/tid=3935] ppid=3891 vsize=8414124 memory=1004 CPUtime=0 cores=0-7
/proc/3914/task/3935/stat : 3935 (java) S 3891 3891 3266 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 418955472 8616062976 30648 33554432000 4194304 4196468 140730158550016 139761468397376 139762522431257 0 4 2 25189581 18446744071579417331 0 0 -1 2 0 0 0 0 0 6293624 6294260 24289280 140730158556152 140730158556310 140730158556310 140730158559183 0
[pid=3914/tid=3937] ppid=3891 vsize=8414124 memory=5976 CPUtime=0 cores=0-7
/proc/3914/task/3937/stat : 3937 (java) S 3891 3891 3266 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 24 0 418955472 8616062976 30648 33554432000 4194304 4196468 140730158550016 139759376645520 139762522428573 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 24289280 140730158556152 140730158556310 140730158556310 140730158559183 0
[pid=3914/tid=3938] ppid=3891 vsize=8414124 memory=14008 CPUtime=0 cores=0-7
/proc/3914/task/3938/stat : 3938 (java) S 3891 3891 3266 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 24 0 418955472 8616062976 30648 33554432000 4194304 4196468 140730158550016 139759645080848 139762522428573 0 4 2 25189581 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 24289280 140730158556152 140730158556310 140730158556310 140730158559183 0
[pid=3914/tid=3939] ppid=3891 vsize=8414124 memory=2124 CPUtime=0 cores=0-7
/proc/3914/task/3939/stat : 3939 (java) S 3891 3891 3266 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 24 0 418955474 8616062976 30648 33554432000 4194304 4196468 140730158550016 139759108218160 139762522416853 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24289280 140730158556152 140730158556310 140730158556310 140730158559183 0
Current children cumulated CPU time: 53.48 s
Current children cumulated vsize: 8614144 KiB
Current children cumulated memory: 185896 KiB

[startup+28.401 s]
/proc/loadavg: 3.51 7.01 7.84 2/216 3939
/proc/meminfo: memFree=31155596/32770624 swapFree=66996976/67108860
[pid=3891] ppid=3888 vsize=113128 memory=1472 CPUtime=51.94 cores=0-7
/proc/3891/stat : 3891 (scop.sh) S 3888 3891 3266 0 -1 4202496 582 49259 0 0 0 0 4956 238 20 0 1 0 418952692 115843072 368 33554432000 4194304 5098028 140733256301472 140733256298216 140445522571900 0 65536 4100 81923 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 29655040 140733256303396 140733256303724 140733256303724 140733256306637 0
/proc/3891/statm: 28282 368 311 221 0 87 0
[pid=3914] ppid=3891 vsize=8414124 memory=122592 CPUtime=1.35 cores=0-7
/proc/3914/stat : 3914 (java) S 3891 3891 3266 0 -1 1077944320 20077 0 0 0 127 8 0 0 20 0 24 0 418955395 8616062976 30648 33554432000 4194304 4196468 140730158550016 140730158532560 139762522406647 0 0 2 25189581 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 24289280 140730158556152 140730158556310 140730158556310 140730158559183 0
/proc/3914/statm: 2103531 30648 3205 1 0 2064875 0
[pid=3934] ppid=3914 vsize=125372 memory=78084 CPUtime=0.58 cores=0-7
/proc/3934/stat : 3934 (manyglucose-4.1) R 3914 3891 3266 0 -1 4202496 18843 0 0 0 55 3 0 0 20 0 1 0 418955472 128380928 19521 33554432000 4194304 4454172 140726844184176 140726844181272 4367322 0 4 0 8388610 0 0 0 17 2 0 0 0 0 0 6552832 6554400 29962240 140726844191594 140726844191792 140726844191792 140726844194746 0
/proc/3934/statm: 31343 19521 364 64 0 27011 0
[pid=3914/tid=3915] ppid=3891 vsize=8414124 memory=40840 CPUtime=0.79 cores=0-7
/proc/3914/task/3915/stat : 3915 (java) S 3891 3891 3266 0 -1 1077944384 16412 0 0 0 73 6 0 0 20 0 24 0 418955396 8616062976 30648 33554432000 4194304 4196468 140730158550016 139762494246816 139762522416853 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24289280 140730158556152 140730158556310 140730158556310 140730158559183 0
[pid=3914/tid=3916] ppid=3891 vsize=8414124 memory=3028 CPUtime=0 cores=0-7
/proc/3914/task/3916/stat : 3916 (java) S 3891 3891 3266 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 418955397 8616062976 30648 33554432000 4194304 4196468 140730158550016 139762526649232 139762522416853 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24289280 140730158556152 140730158556310 140730158556310 140730158559183 0
[pid=3914/tid=3917] ppid=3891 vsize=8414124 memory=2012 CPUtime=0 cores=0-7
/proc/3914/task/3917/stat : 3917 (java) S 3891 3891 3266 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 24 0 418955397 8616062976 30648 33554432000 4194304 4196468 140730158550016 139762332412688 139762522416853 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24289280 140730158556152 140730158556310 140730158556310 140730158559183 0
[pid=3914/tid=3918] ppid=3891 vsize=8414124 memory=1388 CPUtime=0 cores=0-7
/proc/3914/task/3918/stat : 3918 (java) S 3891 3891 3266 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 418955397 8616062976 30648 33554432000 4194304 4196468 140730158550016 139762331360400 139762522416853 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24289280 140730158556152 140730158556310 140730158556310 140730158559183 0
[pid=3914/tid=3919] ppid=3891 vsize=8414124 memory=776 CPUtime=0 cores=0-7
/proc/3914/task/3919/stat : 3919 (java) S 3891 3891 3266 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418955397 8616062976 30648 33554432000 4194304 4196468 140730158550016 139762005085200 139762522416853 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24289280 140730158556152 140730158556310 140730158556310 140730158559183 0
[pid=3914/tid=3920] ppid=3891 vsize=8414124 memory=3972 CPUtime=0 cores=0-7
/proc/3914/task/3920/stat : 3920 (java) S 3891 3891 3266 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 418955397 8616062976 30648 33554432000 4194304 4196468 140730158550016 139762004031888 139762522416853 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24289280 140730158556152 140730158556310 140730158556310 140730158559183 0
[pid=3914/tid=3921] ppid=3891 vsize=8414124 memory=2828 CPUtime=0 cores=0-7
/proc/3914/task/3921/stat : 3921 (java) S 3891 3891 3266 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 418955397 8616062976 30648 33554432000 4194304 4196468 140730158550016 139762002979088 139762522416853 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24289280 140730158556152 140730158556310 140730158556310 140730158559183 0
[pid=3914/tid=3922] ppid=3891 vsize=8414124 memory=676 CPUtime=0 cores=0-7
/proc/3914/task/3922/stat : 3922 (java) S 3891 3891 3266 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418955397 8616062976 30648 33554432000 4194304 4196468 140730158550016 139762001926800 139762522416853 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24289280 140730158556152 140730158556310 140730158556310 140730158559183 0
[pid=3914/tid=3923] ppid=3891 vsize=8414124 memory=1060 CPUtime=0 cores=0-7
/proc/3914/task/3923/stat : 3923 (java) S 3891 3891 3266 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 418955397 8616062976 30648 33554432000 4194304 4196468 140730158550016 139762000874000 139762522416853 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24289280 140730158556152 140730158556310 140730158556310 140730158559183 0
[pid=3914/tid=3924] ppid=3891 vsize=8414124 memory=6791534058613427641 CPUtime=0 cores=0-7
/proc/3914/task/3924/stat : 3924 (java) S 3891 3891 3266 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 24 0 418955399 8616062976 30648 33554432000 4194304 4196468 140730158550016 139761481693808 139762522417794 0 0 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24289280 140730158556152 140730158556310 140730158556310 140730158559183 0
[pid=3914/tid=3925] ppid=3891 vsize=8414124 memory=3028 CPUtime=0 cores=0-7
/proc/3914/task/3925/stat : 3925 (java) S 3891 3891 3266 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 418955399 8616062976 30648 33554432000 4194304 4196468 140730158550016 139761188594976 139762522416853 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24289280 140730158556152 140730158556310 140730158556310 140730158559183 0
[pid=3914/tid=3926] ppid=3891 vsize=8414124 memory=2012 CPUtime=0 cores=0-7
/proc/3914/task/3926/stat : 3926 (java) S 3891 3891 3266 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418955400 8616062976 30648 33554432000 4194304 4196468 140730158550016 139760920159856 139762522416853 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24289280 140730158556152 140730158556310 140730158556310 140730158559183 0
[pid=3914/tid=3927] ppid=3891 vsize=8414124 memory=1388 CPUtime=0 cores=0-7
/proc/3914/task/3927/stat : 3927 (java) S 3891 3891 3266 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418955402 8616062976 30648 33554432000 4194304 4196468 140730158550016 139760545651280 139762522425243 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24289280 140730158556152 140730158556310 140730158556310 140730158559183 0
[pid=3914/tid=3928] ppid=3891 vsize=8414124 memory=8112282956445269571 CPUtime=0.14 cores=0-7
/proc/3914/task/3928/stat : 3928 (java) S 3891 3891 3266 0 -1 1077944384 1152 0 0 0 14 0 0 0 20 0 24 0 418955402 8616062976 30648 33554432000 4194304 4196468 140730158550016 139761480640624 139762522417794 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24289280 140730158556152 140730158556310 140730158556310 140730158559183 0
[pid=3914/tid=3929] ppid=3891 vsize=8414124 memory=3972 CPUtime=0.08 cores=0-7
/proc/3914/task/3929/stat : 3929 (java) S 3891 3891 3266 0 -1 1077944384 342 0 0 0 8 0 0 0 20 0 24 0 418955402 8616062976 30648 33554432000 4194304 4196468 140730158550016 139761479587824 139762522417794 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24289280 140730158556152 140730158556310 140730158556310 140730158559183 0
[pid=3914/tid=3930] ppid=3891 vsize=8414124 memory=2828 CPUtime=0.08 cores=0-7
/proc/3914/task/3930/stat : 3930 (java) S 3891 3891 3266 0 -1 1077944384 217 0 0 0 8 0 0 0 20 0 24 0 418955402 8616062976 30648 33554432000 4194304 4196468 140730158550016 139761478535536 139762522417794 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24289280 140730158556152 140730158556310 140730158556310 140730158559183 0
[pid=3914/tid=3931] ppid=3891 vsize=8414124 memory=676 CPUtime=0.21 cores=0-7
/proc/3914/task/3931/stat : 3931 (java) S 3891 3891 3266 0 -1 1077944384 554 0 0 0 21 0 0 0 20 0 24 0 418955402 8616062976 30648 33554432000 4194304 4196468 140730158550016 139761477482736 139762522417794 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24289280 140730158556152 140730158556310 140730158556310 140730158559183 0
[pid=3914/tid=3932] ppid=3891 vsize=8414124 memory=1060 CPUtime=0 cores=0-7
/proc/3914/task/3932/stat : 3932 (java) S 3891 3891 3266 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 418955403 8616062976 30648 33554432000 4194304 4196468 140730158550016 139760047745888 139762522416853 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24289280 140730158556152 140730158556310 140730158556310 140730158559183 0
[pid=3914/tid=3933] ppid=3891 vsize=8414124 memory=1548 CPUtime=0 cores=0-7
/proc/3914/task/3933/stat : 3933 (java) S 3891 3891 3266 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418955403 8616062976 30648 33554432000 4194304 4196468 140730158550016 139761476430640 139762522417794 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24289280 140730158556152 140730158556310 140730158556310 140730158559183 0
[pid=3914/tid=3935] ppid=3891 vsize=8414124 memory=8560 CPUtime=0 cores=0-7
/proc/3914/task/3935/stat : 3935 (java) S 3891 3891 3266 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 418955472 8616062976 30648 33554432000 4194304 4196468 140730158550016 139761468397376 139762522431257 0 4 2 25189581 18446744071579417331 0 0 -1 2 0 0 0 0 0 6293624 6294260 24289280 140730158556152 140730158556310 140730158556310 140730158559183 0
[pid=3914/tid=3937] ppid=3891 vsize=8414124 memory=1668 CPUtime=0 cores=0-7
/proc/3914/task/3937/stat : 3937 (java) S 3891 3891 3266 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 24 0 418955472 8616062976 30648 33554432000 4194304 4196468 140730158550016 139759376645520 139762522428573 0 4 2 25189581 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 24289280 140730158556152 140730158556310 140730158556310 140730158559183 0
[pid=3914/tid=3938] ppid=3891 vsize=8414124 memory=1112 CPUtime=0 cores=0-7
/proc/3914/task/3938/stat : 3938 (java) S 3891 3891 3266 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 24 0 418955472 8616062976 30648 33554432000 4194304 4196468 140730158550016 139759645080848 139762522428573 0 4 2 25189581 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 24289280 140730158556152 140730158556310 140730158556310 140730158559183 0
[pid=3914/tid=3939] ppid=3891 vsize=8414124 memory=1004 CPUtime=0 cores=0-7
/proc/3914/task/3939/stat : 3939 (java) S 3891 3891 3266 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 24 0 418955474 8616062976 30648 33554432000 4194304 4196468 140730158550016 139759108218160 139762522416853 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24289280 140730158556152 140730158556310 140730158556310 140730158559183 0
Current children cumulated CPU time: 53.87 s
Current children cumulated vsize: 8652624 KiB
Current children cumulated memory: 202148 KiB

[startup+28.8011 s]
/proc/loadavg: 3.51 7.01 7.84 2/216 3939
/proc/meminfo: memFree=31155596/32770624 swapFree=66996976/67108860
[pid=3891] ppid=3888 vsize=113128 memory=1472 CPUtime=51.94 cores=0-7
/proc/3891/stat : 3891 (scop.sh) S 3888 3891 3266 0 -1 4202496 582 49259 0 0 0 0 4956 238 20 0 1 0 418952692 115843072 368 33554432000 4194304 5098028 140733256301472 140733256298216 140445522571900 0 65536 4100 81923 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 29655040 140733256303396 140733256303724 140733256303724 140733256306637 0
/proc/3891/statm: 28282 368 311 221 0 87 0
[pid=3914] ppid=3891 vsize=8414124 memory=122592 CPUtime=1.36 cores=0-7
/proc/3914/stat : 3914 (java) S 3891 3891 3266 0 -1 1077944320 20081 0 0 0 128 8 0 0 20 0 24 0 418955395 8616062976 30648 33554432000 4194304 4196468 140730158550016 140730158532560 139762522406647 0 0 2 25189581 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 24289280 140730158556152 140730158556310 140730158556310 140730158559183 0
/proc/3914/statm: 2103531 30648 3205 1 0 2064875 0
[pid=3934] ppid=3914 vsize=1091752 memory=490828 CPUtime=1.42 cores=0-7
/proc/3934/stat : 3934 (manyglucose-4.1) S 3914 3891 3266 0 -1 1077944320 79089 0 0 0 127 15 0 0 20 0 9 0 418955472 1117954048 122707 33554432000 4194304 4454172 140726844184176 140726844182576 139666662263426 0 4 0 8388610 18446744073709551615 0 0 17 2 0 0 0 0 0 6552832 6554400 29962240 140726844191594 140726844191792 140726844191792 140726844194746 0
/proc/3934/statm: 272938 122707 403 64 0 268606 0
[pid=3914/tid=3915] ppid=3891 vsize=8414124 memory=-5059952977386882957 CPUtime=0.79 cores=0-7
/proc/3914/task/3915/stat : 3915 (java) S 3891 3891 3266 0 -1 1077944384 16412 0 0 0 73 6 0 0 20 0 24 0 418955396 8616062976 30648 33554432000 4194304 4196468 140730158550016 139762494246816 139762522416853 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24289280 140730158556152 140730158556310 140730158556310 140730158559183 0
[pid=3914/tid=3916] ppid=3891 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/3914/task/3916/stat : 3916 (java) S 3891 3891 3266 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 418955397 8616062976 30648 33554432000 4194304 4196468 140730158550016 139762526649232 139762522416853 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24289280 140730158556152 140730158556310 140730158556310 140730158559183 0
[pid=3914/tid=3917] ppid=3891 vsize=8414124 memory=118 CPUtime=0 cores=0-7
/proc/3914/task/3917/stat : 3917 (java) S 3891 3891 3266 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 24 0 418955397 8616062976 30648 33554432000 4194304 4196468 140730158550016 139762332412688 139762522416853 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24289280 140730158556152 140730158556310 140730158556310 140730158559183 0
[pid=3914/tid=3918] ppid=3891 vsize=8414124 memory=2 CPUtime=0 cores=0-7
/proc/3914/task/3918/stat : 3918 (java) S 3891 3891 3266 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 418955397 8616062976 30648 33554432000 4194304 4196468 140730158550016 139762331360400 139762522416853 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24289280 140730158556152 140730158556310 140730158556310 140730158559183 0
[pid=3914/tid=3919] ppid=3891 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/3914/task/3919/stat : 3919 (java) S 3891 3891 3266 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418955397 8616062976 30648 33554432000 4194304 4196468 140730158550016 139762005085200 139762522416853 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24289280 140730158556152 140730158556310 140730158556310 140730158559183 0
[pid=3914/tid=3920] ppid=3891 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/3914/task/3920/stat : 3920 (java) S 3891 3891 3266 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 418955397 8616062976 30648 33554432000 4194304 4196468 140730158550016 139762004031888 139762522416853 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24289280 140730158556152 140730158556310 140730158556310 140730158559183 0
[pid=3914/tid=3921] ppid=3891 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/3914/task/3921/stat : 3921 (java) S 3891 3891 3266 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 418955397 8616062976 30648 33554432000 4194304 4196468 140730158550016 139762002979088 139762522416853 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24289280 140730158556152 140730158556310 140730158556310 140730158559183 0
[pid=3914/tid=3922] ppid=3891 vsize=8414124 memory=8560 CPUtime=0 cores=0-7
/proc/3914/task/3922/stat : 3922 (java) S 3891 3891 3266 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418955397 8616062976 30648 33554432000 4194304 4196468 140730158550016 139762001926800 139762522416853 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24289280 140730158556152 140730158556310 140730158556310 140730158559183 0
[pid=3914/tid=3923] ppid=3891 vsize=8414124 memory=1668 CPUtime=0 cores=0-7
/proc/3914/task/3923/stat : 3923 (java) S 3891 3891 3266 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 418955397 8616062976 30648 33554432000 4194304 4196468 140730158550016 139762000874000 139762522416853 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24289280 140730158556152 140730158556310 140730158556310 140730158559183 0
[pid=3914/tid=3924] ppid=3891 vsize=8414124 memory=1112 CPUtime=0 cores=0-7
/proc/3914/task/3924/stat : 3924 (java) S 3891 3891 3266 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 24 0 418955399 8616062976 30648 33554432000 4194304 4196468 140730158550016 139761481693808 139762522417794 0 0 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24289280 140730158556152 140730158556310 140730158556310 140730158559183 0
[pid=3914/tid=3925] ppid=3891 vsize=8414124 memory=1004 CPUtime=0 cores=0-7
/proc/3914/task/3925/stat : 3925 (java) S 3891 3891 3266 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 418955399 8616062976 30648 33554432000 4194304 4196468 140730158550016 139761188594976 139762522416853 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24289280 140730158556152 140730158556310 140730158556310 140730158559183 0
[pid=3914/tid=3926] ppid=3891 vsize=8414124 memory=5976 CPUtime=0 cores=0-7
/proc/3914/task/3926/stat : 3926 (java) S 3891 3891 3266 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418955400 8616062976 30648 33554432000 4194304 4196468 140730158550016 139760920159856 139762522416853 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24289280 140730158556152 140730158556310 140730158556310 140730158559183 0
[pid=3914/tid=3927] ppid=3891 vsize=8414124 memory=14008 CPUtime=0 cores=0-7
/proc/3914/task/3927/stat : 3927 (java) S 3891 3891 3266 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418955402 8616062976 30648 33554432000 4194304 4196468 140730158550016 139760545651280 139762522425243 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24289280 140730158556152 140730158556310 140730158556310 140730158559183 0
[pid=3914/tid=3928] ppid=3891 vsize=8414124 memory=2124 CPUtime=0.14 cores=0-7
/proc/3914/task/3928/stat : 3928 (java) S 3891 3891 3266 0 -1 1077944384 1152 0 0 0 14 0 0 0 20 0 24 0 418955402 8616062976 30648 33554432000 4194304 4196468 140730158550016 139761480640624 139762522417794 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24289280 140730158556152 140730158556310 140730158556310 140730158559183 0
[pid=3914/tid=3929] ppid=3891 vsize=8414124 memory=3890166630145 CPUtime=0.08 cores=0-7
/proc/3914/task/3929/stat : 3929 (java) S 3891 3891 3266 0 -1 1077944384 342 0 0 0 8 0 0 0 20 0 24 0 418955402 8616062976 30648 33554432000 4194304 4196468 140730158550016 139761479587824 139762522417794 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24289280 140730158556152 140730158556310 140730158556310 140730158559183 0
[pid=3914/tid=3930] ppid=3891 vsize=8414124 memory=3898756564737 CPUtime=0.08 cores=0-7
/proc/3914/task/3930/stat : 3930 (java) S 3891 3891 3266 0 -1 1077944384 217 0 0 0 8 0 0 0 20 0 24 0 418955402 8616062976 30648 33554432000 4194304 4196468 140730158550016 139761478535536 139762522417794 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24289280 140730158556152 140730158556310 140730158556310 140730158559183 0
[pid=3914/tid=3931] ppid=3891 vsize=8414124 memory=4560181528321 CPUtime=0.22 cores=0-7
/proc/3914/task/3931/stat : 3931 (java) S 3891 3891 3266 0 -1 1077944384 556 0 0 0 22 0 0 0 20 0 24 0 418955402 8616062976 30648 33554432000 4194304 4196468 140730158550016 139761477482736 139762522417794 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24289280 140730158556152 140730158556310 140730158556310 140730158559183 0
[pid=3914/tid=3932] ppid=3891 vsize=8414124 memory=4573066430209 CPUtime=0 cores=0-7
/proc/3914/task/3932/stat : 3932 (java) S 3891 3891 3266 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 418955403 8616062976 30648 33554432000 4194304 4196468 140730158550016 139760047745888 139762522416853 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24289280 140730158556152 140730158556310 140730158556310 140730158559183 0
[pid=3914/tid=3933] ppid=3891 vsize=8414124 memory=4959613486593 CPUtime=0 cores=0-7
/proc/3914/task/3933/stat : 3933 (java) S 3891 3891 3266 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 418955403 8616062976 30648 33554432000 4194304 4196468 140730158550016 139761476430640 139762522417794 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24289280 140730158556152 140730158556310 140730158556310 140730158559183 0
[pid=3914/tid=3935] ppid=3891 vsize=8414124 memory=7296075695617 CPUtime=0 cores=0-7
/proc/3914/task/3935/stat : 3935 (java) S 3891 3891 3266 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 418955472 8616062976 30648 33554432000 4194304 4196468 140730158550016 139761468397376 139762522431257 0 4 2 25189581 18446744071579417331 0 0 -1 2 0 0 0 0 0 6293624 6294260 24289280 140730158556152 140730158556310 140730158556310 140730158559183 0
[pid=3914/tid=3937] ppid=3891 vsize=8414124 memory=9349070062849 CPUtime=0 cores=0-7
/proc/3914/task/3937/stat : 3937 (java) S 3891 3891 3266 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 24 0 418955472 8616062976 30648 33554432000 4194304 4196468 140730158550016 139759376645520 139762522428573 0 4 2 25189581 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 24289280 140730158556152 140730158556310 140730158556310 140730158559183 0
[pid=3914/tid=3938] ppid=3891 vsize=8414124 memory=1804 CPUtime=0 cores=0-7
/proc/3914/task/3938/stat : 3938 (java) S 3891 3891 3266 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 24 0 418955472 8616062976 30648 33554432000 4194304 4196468 140730158550016 139759645080848 139762522428573 0 4 2 25189581 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 24289280 140730158556152 140730158556310 140730158556310 140730158559183 0
[pid=3914/tid=3939] ppid=3891 vsize=8414124 memory=916 CPUtime=0 cores=0-7
/proc/3914/task/3939/stat : 3939 (java) S 3891 3891 3266 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 24 0 418955474 8616062976 30648 33554432000 4194304 4196468 140730158550016 139759108218160 139762522416853 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24289280 140730158556152 140730158556310 140730158556310 140730158559183 0
Current children cumulated CPU time: 54.72 s
Current children cumulated vsize: 9619004 KiB
Current children cumulated memory: 614892 KiB

Child status: 0
Real time (s): 28.8956
CPU time (s): 55.1426
CPU user time (s): 52.4675
CPU system time (s): 2.67503
CPU usage (%): 190.834
Max. virtual memory (cumulated for all children) (KiB): 27443924
Max. memory (cumulated for all children) (KiB): 6348028

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 52.4675
system time used= 2.67503
maximum resident set size= 6347936
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 151499
page faults= 0
swaps= 0
block input operations= 0
block output operations= 28096
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 13942
involuntary context switches= 125


# summary of solver processes directly reported to runsolver:
#   pid: 3891
#   total CPU time (s): 55.1426
#   total CPU user time (s): 52.4675
#   total CPU system time (s): 2.67503

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.251003 second user time and 0.321897 second system time

The end

Launcher Data 

Begin job on node103 at 2019-09-14 04:08:57
IDJOB=4392657
IDBENCH=126615
IDSOLVER=2839
FILE ID=node103/4392657-1568426996
RUNJOBID= node103-1568426882-3293
PBS_JOBID= 21702292
Free space on /tmp= 61712 MiB

SOLVER NAME= Fun-sCOP hybrid+ManyGlucose (2019-06-15)
BENCH NAME= XCSP17/SocialGolfers/SocialGolfers-cp-s1/SocialGolfers-8-9-9-cp.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-4392657-1568426996/watcher-4392657-1568426996 -o /tmp/evaluation-result-4392657-1568426996/solver-4392657-1568426996 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node103-1568426882-3293 --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-4392657-1568426996.xml

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

MD5SUM BENCH= 7f38f9e4cc6c9387b3de2b1a6255283e
RANDOM SEED=565139821

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        31334840 kB
MemAvailable:   31889084 kB
Buffers:           97828 kB
Cached:           740664 kB
SwapCached:         9132 kB
Active:           603324 kB
Inactive:         246656 kB
Active(anon):       6104 kB
Inactive(anon):    47004 kB
Active(file):     597220 kB
Inactive(file):   199652 kB
Unevictable:      111168 kB
Mlocked:          111168 kB
SwapTotal:      67108860 kB
SwapFree:       66996976 kB
Dirty:             25576 kB
Writeback:            12 kB
AnonPages:        114904 kB
Mapped:            44452 kB
Shmem:             32644 kB
Slab:             175744 kB
SReclaimable:     146416 kB
SUnreclaim:        29328 kB
KernelStack:        3376 kB
PageTables:         5556 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     497488 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     71680 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      105856 kB
DirectMap2M:    33439744 kB

Free space on /tmp at the end= 61692 MiB
End job on node103 at 2019-09-14 04:09:26