Trace number 4297214

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
scop both+glucose-syrup (2018-07-07)SAT 119.693 16.3908

General information on the benchmark

NameGracefulGraph/
GracefulGraph-K05-P02_c18.xml
MD5SUM803795f7a37fd3a40686e408980b1bff
Bench CategoryCSP (decision problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark18.133
Satisfiable
(Un)Satisfiability was proved
Number of variables65
Number of constraints27
Number of domains2
Minimum domain size25
Maximum domain size26
Distribution of domain sizes[{"size":25,"count":25},{"size":26,"count":10}]
Minimum variable degree0
Maximum variable degree6
Distribution of variable degrees[{"degree":0,"count":30},{"degree":2,"count":25},{"degree":6,"count":10}]
Minimum constraint arity3
Maximum constraint arity25
Distribution of constraint arities[{"arity":3,"count":25},{"arity":10,"count":1},{"arity":25,"count":1}]
Number of extensional constraints0
Number of intensional constraints25
Distribution of constraint types[{"type":"intension","count":25},{"type":"allDifferent","count":2}]
Optimization problemNO
Type of objective

Solver Data 

0.65/0.53	
0.65/0.53	scop both+glucose-syrup (2018-07-07)
0.65/0.53	
0.65/0.55	c BEGIN-Prog: Thu Jul 26 22:35:11 CEST 2018
0.65/0.55	c PID: 3189
0.65/0.55	c IP: 172.20.3.137
0.65/0.55	c HOST: node137.alineos.net
0.65/0.56	c (0,0) Parsing Begin
1.18/0.86	c (0,0) Parsing End
1.18/0.86	c (0,0) CSP: 35 int (0 aux), 0 bool (0 aux), 27 ctr, max domain size 26
1.18/0.86	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 18 MiB used (max 0 MiB)
1.18/0.86	c (0,0) Constraint Name Generate Begin
1.18/0.87	c (0,0) Ctr:HOME/instance-4297214-1532637310.xml,AllDifferent:Dist:Eq:IntVar
1.18/0.87	c (0,0) Constraint Name Generate End
1.18/0.87	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 18 MiB used (max 0 MiB)
1.18/0.87	c (0,0) CSP to CSPinCNF Begin
1.36/0.97	c (0,0) translated 3 (10%) constraints
1.36/0.98	c (0,0) translated 6 (20%) constraints
1.36/1.00	c (0,0) translated 9 (30%) constraints
1.36/1.00	c (0,0) translated 11 (40%) constraints
1.57/1.01	c (0,0) translated 14 (50%) constraints
1.57/1.02	c (0,0) translated 17 (60%) constraints
1.57/1.03	c (0,0) translated 19 (70%) constraints
1.57/1.03	c (0,0) translated 22 (80%) constraints
1.57/1.04	c (0,0) translated 25 (90%) constraints
1.57/1.07	c (0,0) translated 27 (100%) constraints
2.13/1.25	c (0,0) STATISTICS1:HOME/instance-4297214-1532637310.xml,AllDifferent:Dist:Eq:IntVar,35,424,650,26,25,3,650:100;26:45;25:300,26:310;25:750,25:2;10:2;2:370;1:50,3:100;2:345;1:70,
2.13/1.25	c (0,0) ===========================================
2.13/1.25	c (0,0) Both Encoding selects:
2.13/1.25	c (0,0) Order
2.13/1.25	c (0,0) ===========================================
2.13/1.26	c (0,0) translated 43 (10%) constraints
2.13/1.27	c (0,0) translated 85 (20%) constraints
2.13/1.28	c (0,0) translated 128 (30%) constraints
2.13/1.29	c (0,0) translated 170 (40%) constraints
2.36/1.30	c (0,0) translated 212 (50%) constraints
2.36/1.31	c (0,0) translated 255 (60%) constraints
2.36/1.31	c (0,0) translated 297 (70%) constraints
2.36/1.32	c (0,0) translated 340 (80%) constraints
2.36/1.32	c (0,0) translated 382 (90%) constraints
2.36/1.33	c (0,0) translated 424 (100%) constraints
2.36/1.34	c (0,0) CSP to CSPinCNF End
2.36/1.34	c (0,0) CSP: 35 int (0 aux), 0 bool (0 aux), 424 ctr, max domain size 26
2.36/1.34	c (0,0) Heap : 337 MiB used (max 21589 MiB), NonHeap : 24 MiB used (max 0 MiB)
2.36/1.34	c (0,0) CSPinCNF Propagation Begin
2.36/1.36	c (0,0) 0 values, 0 unsatisfiable literals, and 0 valid clauses are removed
2.36/1.36	c (0,0) CSPinCNF Propagation End
2.36/1.36	c (0,0) CSP: 35 int (0 aux), 0 bool (0 aux), 424 ctr, max domain size 26
2.36/1.36	c (0,0) Heap : 337 MiB used (max 21589 MiB), NonHeap : 24 MiB used (max 0 MiB)
2.36/1.36	c (0,0) Simplify CSPinCNF Begin
2.64/1.45	c (0,0) Simplify CSPinCNF End
2.64/1.45	c (0,0) CSP: 35 int (0 aux), 740 bool (740 aux), 1164 ctr, max domain size 26
2.64/1.45	c (0,0) Heap : 337 MiB used (max 21589 MiB), NonHeap : 25 MiB used (max 0 MiB)
2.64/1.45	c (0,0) Calculate Precise Domain Begin
2.64/1.45	c (0,0) 0 values are removed by re-calculation
2.64/1.45	c (0,0) Calculate Precise Domain End
2.64/1.45	c (0,0) CSP: 35 int (0 aux), 740 bool (740 aux), 1164 ctr, max domain size 26
2.64/1.45	c (0,0) Heap : 337 MiB used (max 21589 MiB), NonHeap : 25 MiB used (max 0 MiB)
2.64/1.45	c (0,0) CSPinCNF to SatSolver Begin
3.37/1.69	c (1,1) 117 (10 %) CSP clauses are encoded (1590 SAT variables, 31038 SAT clauses)
3.78/1.71	c (1,1) 233 (20 %) CSP clauses are encoded (1590 SAT variables, 35222 SAT clauses)
3.78/1.72	c (1,1) 350 (30 %) CSP clauses are encoded (1590 SAT variables, 37206 SAT clauses)
3.78/1.73	c (1,1) 466 (40 %) CSP clauses are encoded (1590 SAT variables, 39170 SAT clauses)
3.78/1.74	c (1,1) 582 (50 %) CSP clauses are encoded (1590 SAT variables, 41134 SAT clauses)
3.78/1.75	c (1,1) 699 (60 %) CSP clauses are encoded (1590 SAT variables, 43123 SAT clauses)
3.78/1.76	c (1,1) 815 (70 %) CSP clauses are encoded (1590 SAT variables, 45111 SAT clauses)
3.78/1.77	c (1,1) 932 (80 %) CSP clauses are encoded (1590 SAT variables, 47100 SAT clauses)
3.78/1.78	c (1,1) 1048 (90 %) CSP clauses are encoded (1590 SAT variables, 49064 SAT clauses)
3.78/1.79	c (1,1) 1164 (100 %) CSP clauses are encoded (1590 SAT variables, 51028 SAT clauses)
3.78/1.79	c (1,1) CSPinCNF to SatSolver End
3.78/1.79	c (1,1) Heap : 450 MiB used (max 21589 MiB), NonHeap : 27 MiB used (max 0 MiB)
4.19/1.81	c (1,1) STATISTICS2:HOME/instance-4297214-1532637310.xml,AllDifferent:Dist:Eq:IntVar,775,1164,650,26,25,3,650:100;26:90;25:600,26:400;25:1350;2:1480,25:2;10:2;2:1110;1:50,3:100;2:690;1:1550,
4.19/1.81	c (1,1) SatSolver.solve Begin
4.19/1.81	c (1,1) 1590 bool, 51029 clause
4.19/1.81	c (1,1) HOME/glucose-syrup -model -nthreads=8 -maxmemory=10000 HOME/instance-4297214-1532637310.xml-scop-3189.cnf HOME/instance-4297214-1532637310.xml-scop-3189.cnf.out
72.12/10.45	c (9,0) c
72.12/10.45	c (9,0) c This is glucose-syrup 4.1 (glucose in many threads) --  based on MiniSAT (Many thanks to MiniSAT team)
72.12/10.45	c (9,0) c
72.12/10.45	c (9,0) c WARNING: for repeatability, setting FPU to use double precision
72.12/10.45	c (9,0) c 8 solvers engines and 1 companion as a blackboard created.
72.12/10.45	c (9,0) c ========================================[ Problem Statistics ]===========================================
72.12/10.45	c (9,0) c |                                                                                                       |
72.12/10.45	c (9,0) c |  Number of variables:          1590                                                                   |
72.12/10.45	c (9,0) c |  Number of clauses:           51029                                                                   |
72.12/10.45	c (9,0) c |  Parse time:                   0.02 s                                                                 |
72.12/10.45	c (9,0) c |                                                                                                       |
72.12/10.45	c (9,0) c |  Eliminated clauses:           0.01 Mb                                                                |
72.12/10.45	c (9,0) c |  Simplification time:          0.06 s                                                                 |
72.12/10.45	c (9,0) c |                                                                                                       |
72.12/10.45	c (9,0) c |  Generating clones                                                                                    |
72.12/10.45	c (9,0) c |  all clones generated. Memory =  50.45Mb.                                                             |
72.12/10.45	c (9,0) c ========================================================================================================|
72.12/10.45	c (9,0) c
72.12/10.45	c (9,0) c |-------------------------------------------------------------------------------------------------------|
72.12/10.45	c (9,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
72.12/10.45	c (9,0) c |-------------------------------------------------------------------------------------------------------|
72.12/10.45	c (9,0) c |  0 |     45 |      77217 |      61362 |    45762 |    22825 |     8570 |    66414 |     1271 |  0.003 |
72.12/10.45	c (9,0) c |  1 |     37 |      91142 |      72656 |    44853 |    19103 |    11047 |    64309 |     1106 |  0.001 |
72.12/10.45	c (9,0) c |  2 |     32 |      84499 |      66991 |    44145 |    28459 |    10445 |    52308 |      982 |  0.000 |
72.12/10.45	c (9,0) c |  3 |     56 |      81532 |      63239 |    47018 |    24703 |     8703 |    66478 |     1171 |  0.000 |
72.12/10.45	c (9,0) c |  4 |     31 |      79352 |      63989 |    45374 |    25451 |     9649 |    63310 |      919 |  0.001 |
72.12/10.45	c (9,0) c |  5 |     60 |      72367 |      56765 |    46440 |    18246 |     7673 |    54290 |      995 |  0.000 |
72.12/10.45	c (9,0) c |  6 |     67 |      81099 |      64652 |    45812 |    26115 |     9531 |    65972 |     1232 |  0.000 |
72.12/10.45	c (9,0) c |  7 |     35 |      82278 |      66599 |    44812 |    28064 |     9911 |    65374 |     1394 |  0.000 |
72.12/10.45	c (9,0) c 
72.12/10.45	c (9,0) c synthesis      516254 conflicts    89226234 propagations    14359 conflicts/sec  2481666 propagations/sec
72.12/10.45	c (9,0) c Total Memory so far : 628.79Mb
72.12/10.45	c (9,0) c
72.12/10.45	c (9,0) c Try to adapt solver strategies
72.12/10.45	c (9,0) c 
72.12/10.45	c (9,0) c Nothing extreme in this problem, continue with glucose default strategies.
72.12/10.45	c (9,0) c
72.12/10.45	c (9,0) c
72.12/10.45	c (9,0) c |-------------------------------------------------------------------------------------------------------|
72.12/10.45	c (9,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
72.12/10.45	c (9,0) c |-------------------------------------------------------------------------------------------------------|
72.12/10.45	c (9,0) c |  0 |    155 |     126305 |      98506 |    48083 |    27332 |    13059 |    92954 |     3102 |  0.001 |
72.12/10.45	c (9,0) c |  1 |     83 |     147006 |     116652 |    47526 |    25279 |    15951 |    90912 |     2921 |  0.001 |
72.12/10.45	c (9,0) c |  2 |    114 |     128859 |     101112 |    47757 |    29940 |    14423 |    91353 |     2491 |  0.000 |
72.12/10.45	c (9,0) c |  3 |    136 |     116847 |      89693 |    48312 |    18527 |    11633 |    94661 |     2600 |  0.000 |
72.12/10.45	c (9,0) c |  4 |     56 |     122804 |      97660 |    47814 |    26493 |    14141 |    92467 |     2305 |  0.001 |
72.12/10.45	c (9,0) c |  5 |    138 |     121247 |      95177 |    48244 |    24012 |    12399 |    93683 |     2646 |  0.001 |
72.12/10.45	c (9,0) c |  6 |    134 |     114447 |      89787 |    47591 |    18617 |    11945 |    94896 |     2519 |  0.000 |
119.20/16.35	c (15,0) c |  7 |    159 |     124684 |      98241 |    47891 |    27065 |    13348 |    90705 |     2933 |  0.001 |
119.20/16.35	c (15,0) c 
119.20/16.35	c (15,0) c synthesis      786831 conflicts   142564091 propagations    11605 conflicts/sec  2102603 propagations/sec
119.20/16.35	c (15,0) c Total Memory so far : 628.79Mb
119.20/16.35	c (15,0) c
119.20/16.35	c (15,0) c Try to adapt solver strategies
119.20/16.35	c (15,0) c 
119.20/16.35	c (15,0) c Nothing extreme in this problem, continue with glucose default strategies.
119.20/16.35	c (15,0) c
119.20/16.35	c (15,0) c
119.20/16.35	c (15,0) c Try to adapt solver strategies
119.20/16.35	c (15,0) c 
119.20/16.35	c (15,0) c Nothing extreme in this problem, continue with glucose default strategies.
119.20/16.35	c (15,0) c
119.20/16.35	c (15,0) c
119.20/16.35	c (15,0) c Try to adapt solver strategies
119.20/16.35	c (15,0) c 
119.20/16.35	c (15,0) c Nothing extreme in this problem, continue with glucose default strategies.
119.20/16.35	c (15,0) c
119.20/16.35	c (15,0) c
119.20/16.35	c (15,0) c |-------------------------------------------------------------------------------------------------------|
119.20/16.36	c (15,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
119.20/16.36	c (15,0) c |-------------------------------------------------------------------------------------------------------|
119.20/16.36	c (15,0) c |  0 |    219 |     171602 |     133894 |    48927 |    42518 |    17029 |   117276 |     4814 |  0.003 |
119.20/16.36	c (15,0) c |  1 |    114 |     191248 |     151559 |    48478 |    37377 |    19859 |   115424 |     4546 |  0.000 |
119.20/16.36	c (15,0) c |  2 |    179 |     165802 |     129743 |    48760 |    38362 |    17706 |   118269 |     4231 |  0.000 |
119.20/16.36	c (15,0) c |  3 |    173 |     157576 |     120829 |    48947 |    29455 |    15329 |   115330 |     4034 |  0.001 |
119.20/16.36	c (15,0) c |  4 |    100 |     157487 |     124453 |    48637 |    33073 |    17155 |   118079 |     3709 |  0.000 |
119.20/16.36	c (15,0) c |  5 |    166 |     161894 |     128054 |    48865 |    36675 |    16331 |   119609 |     4145 |  0.000 |
119.20/16.36	c (15,0) c |  6 |    177 |     148690 |     116322 |    48520 |    24946 |    15026 |   117351 |     3928 |  0.001 |
119.20/16.36	c (15,0) c |  7 |    228 |     170044 |     133776 |    48702 |    42396 |    17595 |   109064 |     4414 |  0.000 |
119.20/16.36	c (15,0) c 
119.20/16.36	c (15,0) c synthesis     1038630 conflicts   193342354 propagations    10421 conflicts/sec  1939810 propagations/sec
119.20/16.36	c (15,0) c Total Memory so far : 629.65Mb
119.20/16.36	c (15,0) c last restart ## conflicts  :  2663 19 
119.20/16.36	c (15,0) c Thread 3 is 100% pure glucose! First thread to finish! (SAT answer).
119.20/16.36	c (15,0) c Total Memory so far : 631.21Mb
119.20/16.36	c (15,0) c
119.20/16.36	c (15,0) c real time : 14.5175 s
119.20/16.36	c (15,0) c cpu time  : 114.805 s
119.20/16.36	c (15,0) c
119.20/16.36	c (15,0) c
119.20/16.36	c (15,0) c
119.20/16.36	c (15,0) c |---------------------------------------- FINAL STATS --------------------------------------------------|
119.20/16.36	c (15,0) c
119.20/16.36	c (15,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
119.20/16.36	c (15,0) c | Threads       |      Total      |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
119.20/16.36	c (15,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
119.20/16.36	c (15,0) c | Conflicts     |         1182521 |     155670 |     172626 |     138639 |     139711 |     138281 |     150151 |     132159 |     155284 |
119.20/16.36	c (15,0) c | Decisions     |         1503677 |     198178 |     218223 |     177976 |     181091 |     174749 |     188432 |     168750 |     196278 |
119.20/16.36	c (15,0) c | Propagations  |       218912091 |   28019914 |   29233785 |   26099009 |   27116874 |   26282111 |   27935085 |   25840887 |   28384426 |
119.20/16.36	c (15,0) c | Avg_Trail     |                 |        948 |        984 |        967 |        950 |        933 |        963 |        940 |        923 |
119.20/16.36	c (15,0) c | Avg_DL        |                 |         16 |         17 |         17 |         18 |         17 |         16 |         18 |         17 |
119.20/16.36	c (15,0) c | Avg_Res       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
119.20/16.36	c (15,0) c | Avg_Res_Seen  |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
119.20/16.36	c (15,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
119.20/16.36	c (15,0) c | Exported      |          153957 |      19869 |      22563 |      18738 |      17733 |      18678 |      19164 |      17166 |      20046 |
119.20/16.36	c (15,0) c | Imported      |         1070793 |     133881 |     130690 |     134339 |     134469 |     134472 |     134140 |     136199 |     132603 |
119.20/16.36	c (15,0) c | Good          |              98 |         11 |         13 |         13 |         13 |         11 |         14 |         11 |         12 |
119.20/16.36	c (15,0) c | Purge         |         1070695 |     133870 |     130677 |     134326 |     134456 |     134461 |     134126 |     136188 |     132591 |
119.20/16.36	c (15,0) c | Promoted      |           40175 |       5737 |       5345 |       4884 |       4929 |       4582 |       4846 |       4753 |       5099 |
119.20/16.36	c (15,0) c | Remove_Imp    |          631383 |      71583 |      75410 |      86469 |      82914 |      85577 |      80023 |      75636 |      73771 |
119.20/16.36	c (15,0) c | Blocked_Reuse |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
119.20/16.36	c (15,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
119.20/16.36	c (15,0) c | Unaries       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
119.20/16.36	c (15,0) c | Binaries      |                 |          3 |          1 |          1 |          1 |          3 |          0 |          3 |          2 |
119.20/16.36	c (15,0) c | Glues         |                 |        510 |        534 |        505 |        581 |        499 |        570 |        562 |        562 |
119.20/16.36	c (15,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
119.20/16.36	c (15,0) c | Orig_Seen     |            95 % |      49088 |      48721 |      48922 |      49122 |      48802 |      48996 |      48853 |      48808 |
119.20/16.36	c (15,0) c | Diff Orig seen|                 | -       34 | -      401 | -      200 |      X     | -      320 | -      126 | -      269 | -      314 |
119.20/16.36	c (15,0) c | Hamming       |            30 % |        463 |        486 |        466 |      X     |        506 |        454 |        555 |        456 |
119.20/16.36	c (15,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
119.20/16.36	c (15,0) 
119.20/16.36	c (15,0) s SATISFIABLE
119.20/16.36	c (15,1) SatSolver.solve End
119.20/16.36	c (15,1) Heap : 901 MiB used (max 21589 MiB), NonHeap : 29 MiB used (max 0 MiB)
119.20/16.36	c (15,1) Show results Begin
119.20/16.37	c (15,1) ce[0][0][1] = 3
119.20/16.37	c (15,1) ce[0][0][2] = 17
119.20/16.37	c (15,1) ce[0][0][3] = 5
119.20/16.37	c (15,1) ce[0][0][4] = 8
119.20/16.37	c (15,1) ce[0][1][2] = 20
119.20/16.37	c (15,1) ce[0][1][3] = 2
119.20/16.37	c (15,1) ce[0][1][4] = 11
119.20/16.37	c (15,1) ce[0][2][3] = 22
119.20/16.37	c (15,1) ce[0][2][4] = 9
119.20/16.37	c (15,1) ce[0][3][4] = 13
119.20/16.37	c (15,1) ce[1][0][1] = 1
119.20/16.37	c (15,1) ce[1][0][2] = 18
119.20/16.37	c (15,1) ce[1][0][3] = 7
119.20/16.37	c (15,1) ce[1][0][4] = 14
119.20/16.37	c (15,1) ce[1][1][2] = 19
119.20/16.37	c (15,1) ce[1][1][3] = 6
119.20/16.37	c (15,1) ce[1][1][4] = 15
119.20/16.37	c (15,1) ce[1][2][3] = 25
119.20/16.37	c (15,1) ce[1][2][4] = 4
119.20/16.37	c (15,1) ce[1][3][4] = 21
119.20/16.37	c (15,1) cie[0][0] = 12
119.20/16.37	c (15,1) cie[0][1] = 16
119.20/16.37	c (15,1) cie[0][2] = 23
119.20/16.37	c (15,1) cie[0][3] = 24
119.20/16.37	c (15,1) cie[0][4] = 10
119.20/16.37	c (15,1) cn[0][0] = 19
119.20/16.37	c (15,1) cn[0][1] = 22
119.20/16.37	c (15,1) cn[0][2] = 2
119.20/16.37	c (15,1) cn[0][3] = 24
119.20/16.37	c (15,1) cn[0][4] = 11
119.20/16.37	c (15,1) cn[1][0] = 7
119.20/16.37	c (15,1) cn[1][1] = 6
119.20/16.37	c (15,1) cn[1][2] = 25
119.20/16.37	c (15,1) cn[1][3] = 0
119.20/16.37	c (15,1) cn[1][4] = 21
119.20/16.37	s SATISFIABLE
119.20/16.37	v <instantiation>
119.20/16.37	v     <list>cn[0][0] cn[0][1] cn[0][2] cn[0][3] cn[0][4] cn[1][0] cn[1][1] cn[1][2] cn[1][3] cn[1][4] ce[0][0][1] ce[0][0][2] ce[0][0][3] ce[0][0][4] ce[0][1][2] ce[0][1][3] ce[0][1][4] ce[0][2][3] ce[0][2][4] ce[0][3][4] ce[1][0][1] ce[1][0][2] ce[1][0][3] ce[1][0][4] ce[1][1][2] ce[1][1][3] ce[1][1][4] ce[1][2][3] ce[1][2][4] ce[1][3][4] cie[0][0] cie[0][1] cie[0][2] cie[0][3] cie[0][4]</list>
119.20/16.37	v     <values>19 22 2 24 11 7 6 25 0 21 3 17 5 8 20 2 11 22 9 13 1 18 7 14 19 6 15 25 4 21 12 16 23 24 10</values>
119.20/16.37	v </instantiation>
119.20/16.37	c (15,1) Show results End
119.20/16.37	c (15,1) Heap : 901 MiB used (max 21589 MiB), NonHeap : 29 MiB used (max 0 MiB)
119.20/16.37	c (15,1) 0,0,0,0,0,0,1,15,15,STOP-AFTER(ALL)
119.20/16.37	c END-Prog: Thu Jul 26 22:35:26 CEST 2018

Verifier Data 

OK

Watcher Data 

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

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

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4297214-1532637310/watcher-4297214-1532637310 -o /tmp/evaluation-result-4297214-1532637310/solver-4297214-1532637310 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node137-1532633896-2368 --watchdog 2580 java -Xms22g -Xmx22g -Xss128m -jar HOME/scop.jar -both -solver HOME/glucose-syrup -solverOption -model:-nthreads=8:-maxmemory=10000 -tmp HOME HOME/instance-4297214-1532637310.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=3189, runsolver pid=3186
Current StackSize limit: 8192 KiB


[startup+0.100134 s]*
/proc/loadavg: 6.63 8.18 8.36 2/198 3209
/proc/meminfo: memFree=23210792/32770624 swapFree=67108860/67108860
[pid=3189] ppid=3186 vsize=27312552 memory=107688 CPUtime=0.1 cores=0-7
/proc/3189/stat : 3189 (java) S 3186 3189 2339 0 -1 1077944320 6475 0 0 0 8 2 0 0 20 0 20 0 81294169 27968053248 26922 33554432000 4194304 4196468 140728439741200 140728439723744 140684688420599 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 25223168 140728439747546 140728439747845 140728439747845 140728439750607 0
/proc/3189/statm: 6828138 26922 2749 1 0 6790598 0
[pid=3189/tid=3191] ppid=3186 vsize=27312552 memory=4134692831991783777 CPUtime=0.09 cores=0-7
/proc/3189/task/3191/stat : 3191 (java) R 3186 3189 2339 0 -1 4202560 4564 0 0 0 7 2 0 0 20 0 20 0 81294170 27968053248 26922 33554432000 4194304 4196468 140728439741200 140684660205664 140684672501086 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 25223168 140728439747546 140728439747845 140728439747845 140728439750607 0
[pid=3189/tid=3192] ppid=3186 vsize=27312552 memory=4126316290023845779 CPUtime=0 cores=0-7
/proc/3189/task/3192/stat : 3192 (java) S 3186 3189 2339 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 81294172 27968053248 26922 33554432000 4194304 4196468 140728439741200 140684692662800 140684688430805 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25223168 140728439747546 140728439747845 140728439747845 140728439750607 0
[pid=3189/tid=3193] ppid=3186 vsize=27312552 memory=140114149799552 CPUtime=0 cores=0-7
/proc/3189/task/3193/stat : 3193 (java) S 3186 3189 2339 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 81294172 27968053248 26922 33554432000 4194304 4196468 140728439741200 140684476058256 140684688430805 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25223168 140728439747546 140728439747845 140728439747845 140728439750607 0
[pid=3189/tid=3194] ppid=3186 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/3189/task/3194/stat : 3194 (java) S 3186 3189 2339 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 81294172 27968053248 26922 33554432000 4194304 4196468 140728439741200 140684475005200 140684688430805 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25223168 140728439747546 140728439747845 140728439747845 140728439750607 0
[pid=3189/tid=3195] ppid=3186 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/3189/task/3195/stat : 3195 (java) S 3186 3189 2339 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 81294172 27968053248 26922 33554432000 4194304 4196468 140728439741200 140684473952656 140684688430805 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25223168 140728439747546 140728439747845 140728439747845 140728439750607 0
[pid=3189/tid=3196] ppid=3186 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/3189/task/3196/stat : 3196 (java) S 3186 3189 2339 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 81294172 27968053248 26922 33554432000 4194304 4196468 140728439741200 140684107439120 140684688430805 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25223168 140728439747546 140728439747845 140728439747845 140728439750607 0
[pid=3189/tid=3197] ppid=3186 vsize=27312552 memory=-1 CPUtime=0 cores=0-7
/proc/3189/task/3197/stat : 3197 (java) S 3186 3189 2339 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 81294172 27968053248 26922 33554432000 4194304 4196468 140728439741200 140684106386576 140684688430805 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25223168 140728439747546 140728439747845 140728439747845 140728439750607 0
[pid=3189/tid=3198] ppid=3186 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/3189/task/3198/stat : 3198 (java) S 3186 3189 2339 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 81294172 27968053248 26922 33554432000 4194304 4196468 140728439741200 140684105333520 140684688430805 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25223168 140728439747546 140728439747845 140728439747845 140728439750607 0
[pid=3189/tid=3199] ppid=3186 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/3189/task/3199/stat : 3199 (java) S 3186 3189 2339 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 81294172 27968053248 26922 33554432000 4194304 4196468 140728439741200 140684104280976 140684688430805 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25223168 140728439747546 140728439747845 140728439747845 140728439750607 0
[pid=3189/tid=3200] ppid=3186 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/3189/task/3200/stat : 3200 (java) S 3186 3189 2339 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 81294174 27968053248 26922 33554432000 4194304 4196468 140728439741200 140682808228080 140684688431746 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25223168 140728439747546 140728439747845 140728439747845 140728439750607 0
[pid=3189/tid=3201] ppid=3186 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/3189/task/3201/stat : 3201 (java) S 3186 3189 2339 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 81294174 27968053248 26922 33554432000 4194304 4196468 140728439741200 140682593297568 140684688430805 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25223168 140728439747546 140728439747845 140728439747845 140728439750607 0
[pid=3189/tid=3202] ppid=3186 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/3189/task/3202/stat : 3202 (java) S 3186 3189 2339 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 81294174 27968053248 26922 33554432000 4194304 4196468 140728439741200 140682459075312 140684688430805 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25223168 140728439747546 140728439747845 140728439747845 140728439750607 0
[pid=3189/tid=3203] ppid=3186 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/3189/task/3203/stat : 3203 (java) S 3186 3189 2339 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 81294177 27968053248 26922 33554432000 4194304 4196468 140728439741200 140682084571088 140684688439195 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25223168 140728439747546 140728439747845 140728439747845 140728439750607 0
[pid=3189/tid=3204] ppid=3186 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/3189/task/3204/stat : 3204 (java) S 3186 3189 2339 0 -1 1077944384 302 0 0 0 0 0 0 0 20 0 20 0 81294177 27968053248 26922 33554432000 4194304 4196468 140728439741200 140682807175920 140684688431746 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25223168 140728439747546 140728439747845 140728439747845 140728439750607 0
[pid=3189/tid=3205] ppid=3186 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/3189/task/3205/stat : 3205 (java) S 3186 3189 2339 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 81294177 27968053248 26922 33554432000 4194304 4196468 140728439741200 140682806123376 140684688431746 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25223168 140728439747546 140728439747845 140728439747845 140728439750607 0
[pid=3189/tid=3206] ppid=3186 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/3189/task/3206/stat : 3206 (java) S 3186 3189 2339 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 81294177 27968053248 26922 33554432000 4194304 4196468 140728439741200 140682805070320 140684688431746 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25223168 140728439747546 140728439747845 140728439747845 140728439750607 0
[pid=3189/tid=3207] ppid=3186 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/3189/task/3207/stat : 3207 (java) S 3186 3189 2339 0 -1 1077944384 250 0 0 0 0 0 0 0 20 0 20 0 81294177 27968053248 26922 33554432000 4194304 4196468 140728439741200 140682804017776 140684688431746 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25223168 140728439747546 140728439747845 140728439747845 140728439750607 0
[pid=3189/tid=3208] ppid=3186 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/3189/task/3208/stat : 3208 (java) S 3186 3189 2339 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 81294177 27968053248 26922 33554432000 4194304 4196468 140728439741200 140681586665952 140684688430805 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25223168 140728439747546 140728439747845 140728439747845 140728439750607 0
[pid=3189/tid=3209] ppid=3186 vsize=27312552 memory=-1 CPUtime=0 cores=0-7
/proc/3189/task/3209/stat : 3209 (java) S 3186 3189 2339 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 81294177 27968053248 26922 33554432000 4194304 4196468 140728439741200 140682802965168 140684688431746 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25223168 140728439747546 140728439747845 140728439747845 140728439750607 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 27312552 KiB
Current children cumulated memory: 107688 KiB

[startup+0.210206 s]*
/proc/loadavg: 6.63 8.18 8.36 2/198 3209
/proc/meminfo: memFree=23192188/32770624 swapFree=67108860/67108860
[pid=3189] ppid=3186 vsize=27312552 memory=124288 CPUtime=0.24 cores=0-7
/proc/3189/stat : 3189 (java) S 3186 3189 2339 0 -1 1077944320 10863 0 0 0 21 3 0 0 20 0 20 0 81294169 27968053248 31072 33554432000 4194304 4196468 140728439741200 140728439723744 140684688420599 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 25223168 140728439747546 140728439747845 140728439747845 140728439750607 0
/proc/3189/statm: 6828138 31072 2873 1 0 6790598 0
[pid=3189/tid=3191] ppid=3186 vsize=27312552 memory=4026531975 CPUtime=0.2 cores=0-7
/proc/3189/task/3191/stat : 3191 (java) R 3186 3189 2339 0 -1 4202560 8730 0 0 0 17 3 0 0 20 0 20 0 81294170 27968053248 31072 33554432000 4194304 4196468 140728439741200 140684660219344 140684688442525 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 25223168 140728439747546 140728439747845 140728439747845 140728439750607 0
[pid=3189/tid=3192] ppid=3186 vsize=27312552 memory=11790 CPUtime=0 cores=0-7
/proc/3189/task/3192/stat : 3192 (java) S 3186 3189 2339 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 81294172 27968053248 31072 33554432000 4194304 4196468 140728439741200 140684692662800 140684688430805 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25223168 140728439747546 140728439747845 140728439747845 140728439750607 0
[pid=3189/tid=3193] ppid=3186 vsize=27312552 memory=140114149802365 CPUtime=0 cores=0-7
/proc/3189/task/3193/stat : 3193 (java) S 3186 3189 2339 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 81294172 27968053248 31072 33554432000 4194304 4196468 140728439741200 140684476058256 140684688430805 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25223168 140728439747546 140728439747845 140728439747845 140728439750607 0
[pid=3189/tid=3194] ppid=3186 vsize=27312552 memory=-1 CPUtime=0 cores=0-7
/proc/3189/task/3194/stat : 3194 (java) S 3186 3189 2339 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 81294172 27968053248 31072 33554432000 4194304 4196468 140728439741200 140684475005200 140684688430805 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25223168 140728439747546 140728439747845 140728439747845 140728439750607 0
[pid=3189/tid=3195] ppid=3186 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/3189/task/3195/stat : 3195 (java) S 3186 3189 2339 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 81294172 27968053248 31072 33554432000 4194304 4196468 140728439741200 140684473952656 140684688430805 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25223168 140728439747546 140728439747845 140728439747845 140728439750607 0
[pid=3189/tid=3196] ppid=3186 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/3189/task/3196/stat : 3196 (java) S 3186 3189 2339 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 81294172 27968053248 31072 33554432000 4194304 4196468 140728439741200 140684107439120 140684688430805 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25223168 140728439747546 140728439747845 140728439747845 140728439750607 0
[pid=3189/tid=3197] ppid=3186 vsize=27312552 memory=-1 CPUtime=0 cores=0-7
/proc/3189/task/3197/stat : 3197 (java) S 3186 3189 2339 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 81294172 27968053248 31072 33554432000 4194304 4196468 140728439741200 140684106386576 140684688430805 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25223168 140728439747546 140728439747845 140728439747845 140728439750607 0
[pid=3189/tid=3198] ppid=3186 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/3189/task/3198/stat : 3198 (java) S 3186 3189 2339 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 81294172 27968053248 31072 33554432000 4194304 4196468 140728439741200 140684105333520 140684688430805 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25223168 140728439747546 140728439747845 140728439747845 140728439750607 0
[pid=3189/tid=3199] ppid=3186 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/3189/task/3199/stat : 3199 (java) S 3186 3189 2339 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 81294172 27968053248 31072 33554432000 4194304 4196468 140728439741200 140684104280976 140684688430805 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25223168 140728439747546 140728439747845 140728439747845 140728439750607 0
[pid=3189/tid=3200] ppid=3186 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/3189/task/3200/stat : 3200 (java) S 3186 3189 2339 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 81294174 27968053248 31072 33554432000 4194304 4196468 140728439741200 140682808228080 140684688431746 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25223168 140728439747546 140728439747845 140728439747845 140728439750607 0
[pid=3189/tid=3201] ppid=3186 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/3189/task/3201/stat : 3201 (java) S 3186 3189 2339 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 81294174 27968053248 31072 33554432000 4194304 4196468 140728439741200 140682593297568 140684688430805 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25223168 140728439747546 140728439747845 140728439747845 140728439750607 0
[pid=3189/tid=3202] ppid=3186 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/3189/task/3202/stat : 3202 (java) S 3186 3189 2339 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 81294174 27968053248 31072 33554432000 4194304 4196468 140728439741200 140682459075312 140684688430805 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25223168 140728439747546 140728439747845 140728439747845 140728439750607 0
[pid=3189/tid=3203] ppid=3186 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/3189/task/3203/stat : 3203 (java) S 3186 3189 2339 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 81294177 27968053248 31072 33554432000 4194304 4196468 140728439741200 140682084571088 140684688439195 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25223168 140728439747546 140728439747845 140728439747845 140728439750607 0
[pid=3189/tid=3204] ppid=3186 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/3189/task/3204/stat : 3204 (java) S 3186 3189 2339 0 -1 1077944384 336 0 0 0 0 0 0 0 20 0 20 0 81294177 27968053248 31072 33554432000 4194304 4196468 140728439741200 140682807175920 140684688431746 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25223168 140728439747546 140728439747845 140728439747845 140728439750607 0
[pid=3189/tid=3205] ppid=3186 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/3189/task/3205/stat : 3205 (java) S 3186 3189 2339 0 -1 1077944384 19 0 0 0 0 0 0 0 20 0 20 0 81294177 27968053248 31072 33554432000 4194304 4196468 140728439741200 140682806123376 140684688431746 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25223168 140728439747546 140728439747845 140728439747845 140728439750607 0
[pid=3189/tid=3206] ppid=3186 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/3189/task/3206/stat : 3206 (java) S 3186 3189 2339 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 20 0 81294177 27968053248 31072 33554432000 4194304 4196468 140728439741200 140682805070320 140684688431746 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25223168 140728439747546 140728439747845 140728439747845 140728439750607 0
[pid=3189/tid=3207] ppid=3186 vsize=27312552 memory=0 CPUtime=0.02 cores=0-7
/proc/3189/task/3207/stat : 3207 (java) R 3186 3189 2339 0 -1 1077944384 295 0 0 0 2 0 0 0 20 0 20 0 81294177 27968053248 31072 33554432000 4194304 4196468 140728439741200 140682804017776 140684688431746 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25223168 140728439747546 140728439747845 140728439747845 140728439750607 0
[pid=3189/tid=3208] ppid=3186 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/3189/task/3208/stat : 3208 (java) S 3186 3189 2339 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 81294177 27968053248 31072 33554432000 4194304 4196468 140728439741200 140681586665952 140684688430805 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25223168 140728439747546 140728439747845 140728439747845 140728439750607 0
[pid=3189/tid=3209] ppid=3186 vsize=27312552 memory=-1 CPUtime=0 cores=0-7
/proc/3189/task/3209/stat : 3209 (java) S 3186 3189 2339 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 81294177 27968053248 31072 33554432000 4194304 4196468 140728439741200 140682802965168 140684688431746 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25223168 140728439747546 140728439747845 140728439747845 140728439750607 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 27312552 KiB
Current children cumulated memory: 124288 KiB

[startup+0.310508 s]*
/proc/loadavg: 6.63 8.18 8.36 2/198 3209
/proc/meminfo: memFree=23189132/32770624 swapFree=67108860/67108860
[pid=3189] ppid=3186 vsize=27312552 memory=127652 CPUtime=0.42 cores=0-7
/proc/3189/stat : 3189 (java) S 3186 3189 2339 0 -1 1077944320 11323 0 0 0 38 4 0 0 20 0 20 0 81294169 27968053248 31913 33554432000 4194304 4196468 140728439741200 140728439723744 140684688420599 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 25223168 140728439747546 140728439747845 140728439747845 140728439750607 0
/proc/3189/statm: 6828138 31913 2967 1 0 6790598 0
[pid=3189/tid=3191] ppid=3186 vsize=27312552 memory=8112282956445269571 CPUtime=0.29 cores=0-7
/proc/3189/task/3191/stat : 3191 (java) R 3186 3189 2339 0 -1 4202560 9027 0 0 0 26 3 0 0 20 0 20 0 81294170 27968053248 31913 33554432000 4194304 4196468 140728439741200 140684660212048 140684688442525 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 25223168 140728439747546 140728439747845 140728439747845 140728439750607 0
[pid=3189/tid=3192] ppid=3186 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/3189/task/3192/stat : 3192 (java) S 3186 3189 2339 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 81294172 27968053248 31913 33554432000 4194304 4196468 140728439741200 140684692662800 140684688430805 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25223168 140728439747546 140728439747845 140728439747845 140728439750607 0
[pid=3189/tid=3193] ppid=3186 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/3189/task/3193/stat : 3193 (java) S 3186 3189 2339 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 81294172 27968053248 31913 33554432000 4194304 4196468 140728439741200 140684476058256 140684688430805 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25223168 140728439747546 140728439747845 140728439747845 140728439750607 0
[pid=3189/tid=3194] ppid=3186 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/3189/task/3194/stat : 3194 (java) S 3186 3189 2339 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 81294172 27968053248 31913 33554432000 4194304 4196468 140728439741200 140684475005200 140684688430805 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25223168 140728439747546 140728439747845 140728439747845 140728439750607 0
[pid=3189/tid=3195] ppid=3186 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/3189/task/3195/stat : 3195 (java) S 3186 3189 2339 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 81294172 27968053248 31913 33554432000 4194304 4196468 140728439741200 140684473952656 140684688430805 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25223168 140728439747546 140728439747845 140728439747845 140728439750607 0
[pid=3189/tid=3196] ppid=3186 vsize=27312552 memory=2244 CPUtime=0 cores=0-7
/proc/3189/task/3196/stat : 3196 (java) S 3186 3189 2339 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 81294172 27968053248 31913 33554432000 4194304 4196468 140728439741200 140684107439120 140684688430805 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25223168 140728439747546 140728439747845 140728439747845 140728439750607 0
[pid=3189/tid=3197] ppid=3186 vsize=27312552 memory=140114047103919 CPUtime=0 cores=0-7
/proc/3189/task/3197/stat : 3197 (java) S 3186 3189 2339 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 81294172 27968053248 31913 33554432000 4194304 4196468 140728439741200 140684106386576 140684688430805 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25223168 140728439747546 140728439747845 140728439747845 140728439750607 0
[pid=3189/tid=3198] ppid=3186 vsize=27312552 memory=140114047106224 CPUtime=0 cores=0-7
/proc/3189/task/3198/stat : 3198 (java) S 3186 3189 2339 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 81294172 27968053248 31913 33554432000 4194304 4196468 140728439741200 140684105333520 140684688430805 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25223168 140728439747546 140728439747845 140728439747845 140728439750607 0
[pid=3189/tid=3199] ppid=3186 vsize=27312552 memory=140114047108528 CPUtime=0 cores=0-7
/proc/3189/task/3199/stat : 3199 (java) S 3186 3189 2339 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 81294172 27968053248 31913 33554432000 4194304 4196468 140728439741200 140684104280976 140684688430805 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25223168 140728439747546 140728439747845 140728439747845 140728439750607 0
[pid=3189/tid=3200] ppid=3186 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/3189/task/3200/stat : 3200 (java) S 3186 3189 2339 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 81294174 27968053248 31913 33554432000 4194304 4196468 140728439741200 140682808228080 140684688431746 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25223168 140728439747546 140728439747845 140728439747845 140728439750607 0
[pid=3189/tid=3201] ppid=3186 vsize=27312552 memory=280228094224016 CPUtime=0 cores=0-7
/proc/3189/task/3201/stat : 3201 (java) S 3186 3189 2339 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 81294174 27968053248 31913 33554432000 4194304 4196468 140728439741200 140682593297568 140684688430805 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25223168 140728439747546 140728439747845 140728439747845 140728439750607 0
[pid=3189/tid=3202] ppid=3186 vsize=27312552 memory=280228094230928 CPUtime=0 cores=0-7
/proc/3189/task/3202/stat : 3202 (java) S 3186 3189 2339 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 81294174 27968053248 31913 33554432000 4194304 4196468 140728439741200 140682459075312 140684688430805 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25223168 140728439747546 140728439747845 140728439747845 140728439750607 0
[pid=3189/tid=3203] ppid=3186 vsize=27312552 memory=280228094172208 CPUtime=0 cores=0-7
/proc/3189/task/3203/stat : 3203 (java) S 3186 3189 2339 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 81294177 27968053248 31913 33554432000 4194304 4196468 140728439741200 140682084571088 140684688439195 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25223168 140728439747546 140728439747845 140728439747845 140728439750607 0
[pid=3189/tid=3204] ppid=3186 vsize=27312552 memory=280228094244752 CPUtime=0 cores=0-7
/proc/3189/task/3204/stat : 3204 (java) S 3186 3189 2339 0 -1 1077944384 345 0 0 0 0 0 0 0 20 0 20 0 81294177 27968053248 31913 33554432000 4194304 4196468 140728439741200 140682807175920 140684688431746 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25223168 140728439747546 140728439747845 140728439747845 140728439750607 0
[pid=3189/tid=3205] ppid=3186 vsize=27312552 memory=280228094251664 CPUtime=0.02 cores=0-7
/proc/3189/task/3205/stat : 3205 (java) S 3186 3189 2339 0 -1 1077944384 107 0 0 0 2 0 0 0 20 0 20 0 81294177 27968053248 31913 33554432000 4194304 4196468 140728439741200 140682806123376 140684688431746 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25223168 140728439747546 140728439747845 140728439747845 140728439750607 0
[pid=3189/tid=3206] ppid=3186 vsize=27312552 memory=280228094249360 CPUtime=0.01 cores=0-7
/proc/3189/task/3206/stat : 3206 (java) S 3186 3189 2339 0 -1 1077944384 170 0 0 0 1 0 0 0 20 0 20 0 81294177 27968053248 31913 33554432000 4194304 4196468 140728439741200 140682805070320 140684688431746 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25223168 140728439747546 140728439747845 140728439747845 140728439750607 0
[pid=3189/tid=3207] ppid=3186 vsize=27312552 memory=280228094265968 CPUtime=0.07 cores=0-7
/proc/3189/task/3207/stat : 3207 (java) S 3186 3189 2339 0 -1 1077944384 316 0 0 0 7 0 0 0 20 0 20 0 81294177 27968053248 31913 33554432000 4194304 4196468 140728439741200 140682804017776 140684688431746 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25223168 140728439747546 140728439747845 140728439747845 140728439750607 0
[pid=3189/tid=3208] ppid=3186 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/3189/task/3208/stat : 3208 (java) S 3186 3189 2339 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 81294177 27968053248 31913 33554432000 4194304 4196468 140728439741200 140681586665952 140684688430805 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25223168 140728439747546 140728439747845 140728439747845 140728439750607 0
[pid=3189/tid=3209] ppid=3186 vsize=27312552 memory=-1 CPUtime=0 cores=0-7
/proc/3189/task/3209/stat : 3209 (java) S 3186 3189 2339 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 81294177 27968053248 31913 33554432000 4194304 4196468 140728439741200 140682802965168 140684688431746 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25223168 140728439747546 140728439747845 140728439747845 140728439750607 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 27312552 KiB
Current children cumulated memory: 127652 KiB

[startup+0.700916 s]
/proc/loadavg: 6.63 8.18 8.36 2/198 3209
/proc/meminfo: memFree=23166932/32770624 swapFree=67108860/67108860
[pid=3189] ppid=3186 vsize=27320948 memory=163340 CPUtime=0.99 cores=0-7
/proc/3189/stat : 3189 (java) S 3186 3189 2339 0 -1 1077944320 17932 0 0 0 92 7 0 0 20 0 20 0 81294169 27976650752 40835 33554432000 4194304 4196468 140728439741200 140728439723744 140684688420599 0 0 0 25189583 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 25223168 140728439747546 140728439747845 140728439747845 140728439750607 0
/proc/3189/statm: 6830237 40835 3155 1 0 6791622 0
[pid=3189/tid=3191] ppid=3186 vsize=27320948 memory=0 CPUtime=0.67 cores=0-7
/proc/3189/task/3191/stat : 3191 (java) R 3186 3189 2339 0 -1 4202560 15189 0 0 0 62 5 0 0 20 0 20 0 81294170 27976650752 40835 33554432000 4194304 4196468 140728439741200 140684660254784 140684688441946 0 4 0 25189583 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 25223168 140728439747546 140728439747845 140728439747845 140728439750607 0
[pid=3189/tid=3192] ppid=3186 vsize=27320948 memory=0 CPUtime=0 cores=0-7
/proc/3189/task/3192/stat : 3192 (java) S 3186 3189 2339 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 81294172 27976650752 40835 33554432000 4194304 4196468 140728439741200 140684692662800 140684688430805 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25223168 140728439747546 140728439747845 140728439747845 140728439750607 0
[pid=3189/tid=3193] ppid=3186 vsize=27320948 memory=0 CPUtime=0 cores=0-7
/proc/3189/task/3193/stat : 3193 (java) S 3186 3189 2339 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 81294172 27976650752 40835 33554432000 4194304 4196468 140728439741200 140684476058256 140684688430805 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25223168 140728439747546 140728439747845 140728439747845 140728439750607 0
[pid=3189/tid=3194] ppid=3186 vsize=27320948 memory=0 CPUtime=0 cores=0-7
/proc/3189/task/3194/stat : 3194 (java) S 3186 3189 2339 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 81294172 27976650752 40835 33554432000 4194304 4196468 140728439741200 140684475005200 140684688430805 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25223168 140728439747546 140728439747845 140728439747845 140728439750607 0
[pid=3189/tid=3195] ppid=3186 vsize=27320948 memory=13040 CPUtime=0 cores=0-7
/proc/3189/task/3195/stat : 3195 (java) S 3186 3189 2339 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 81294172 27976650752 40835 33554432000 4194304 4196468 140728439741200 140684473952656 140684688430805 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25223168 140728439747546 140728439747845 140728439747845 140728439750607 0
[pid=3189/tid=3196] ppid=3186 vsize=27320948 memory=796 CPUtime=0 cores=0-7
/proc/3189/task/3196/stat : 3196 (java) S 3186 3189 2339 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 81294172 27976650752 40835 33554432000 4194304 4196468 140728439741200 140684107439120 140684688430805 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25223168 140728439747546 140728439747845 140728439747845 140728439750607 0
[pid=3189/tid=3197] ppid=3186 vsize=27320948 memory=1424 CPUtime=0 cores=0-7
/proc/3189/task/3197/stat : 3197 (java) S 3186 3189 2339 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 81294172 27976650752 40835 33554432000 4194304 4196468 140728439741200 140684106386576 140684688430805 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25223168 140728439747546 140728439747845 140728439747845 140728439750607 0
[pid=3189/tid=3198] ppid=3186 vsize=27320948 memory=1200 CPUtime=0 cores=0-7
/proc/3189/task/3198/stat : 3198 (java) S 3186 3189 2339 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 81294172 27976650752 40835 33554432000 4194304 4196468 140728439741200 140684105333520 140684688430805 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25223168 140728439747546 140728439747845 140728439747845 140728439750607 0
[pid=3189/tid=3199] ppid=3186 vsize=27320948 memory=15872 CPUtime=0 cores=0-7
/proc/3189/task/3199/stat : 3199 (java) S 3186 3189 2339 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 81294172 27976650752 40835 33554432000 4194304 4196468 140728439741200 140684104280976 140684688430805 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25223168 140728439747546 140728439747845 140728439747845 140728439750607 0
[pid=3189/tid=3200] ppid=3186 vsize=27320948 memory=13996 CPUtime=0 cores=0-7
/proc/3189/task/3200/stat : 3200 (java) S 3186 3189 2339 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 81294174 27976650752 40835 33554432000 4194304 4196468 140728439741200 140682808228080 140684688431746 0 0 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25223168 140728439747546 140728439747845 140728439747845 140728439750607 0

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

[pid=3189/tid=3213] ppid=3186 vsize=27982760 memory=0 CPUtime=0 cores=0-7
/proc/3189/task/3213/stat : 3213 (java) S 3186 3189 2339 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 24 0 81294353 28654346240 86950 33554432000 4194304 4196468 140728439741200 140680915566512 140684688442525 0 4 0 25189583 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 25223168 140728439747546 140728439747845 140728439747845 140728439750607 0
[pid=3189/tid=3214] ppid=3186 vsize=27982760 memory=0 CPUtime=0 cores=0-7
/proc/3189/task/3214/stat : 3214 (java) S 3186 3189 2339 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 24 0 81294353 28654346240 86950 33554432000 4194304 4196468 140728439741200 140681184002096 140684688442525 0 4 0 25189583 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 25223168 140728439747546 140728439747845 140728439747845 140728439750607 0
[pid=3189/tid=3215] ppid=3186 vsize=27982760 memory=0 CPUtime=0 cores=0-7
/proc/3189/task/3215/stat : 3215 (java) S 3186 3189 2339 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 24 0 81294355 28654346240 86950 33554432000 4194304 4196468 140728439741200 140680647138720 140684688430805 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25223168 140728439747546 140728439747845 140728439747845 140728439750607 0
Current children cumulated CPU time: 116.86 s
Current children cumulated vsize: 28640304 KiB
Current children cumulated memory: 540200 KiB

[startup+16.2015 s]
/proc/loadavg: 6.51 8.04 8.31 11/211 3223
/proc/meminfo: memFree=22776784/32770624 swapFree=67108860/67108860
[pid=3189] ppid=3186 vsize=27982760 memory=347800 CPUtime=4.5 cores=0-7
/proc/3189/stat : 3189 (java) S 3186 3189 2339 0 -1 1077944320 24723 0 0 0 437 13 0 0 20 0 24 0 81294169 28654346240 86950 33554432000 4194304 4196468 140728439741200 140728439723744 140684688420599 0 0 0 25189583 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 25223168 140728439747546 140728439747845 140728439747845 140728439750607 0
/proc/3189/statm: 6995690 86950 3224 1 0 6956546 0
[pid=3210] ppid=3189 vsize=646200 memory=189208 CPUtime=113.89 cores=0-7
/proc/3210/stat : 3210 (glucose-syrup) S 3189 3189 2339 0 -1 1077944320 131346 0 0 0 11360 29 0 0 20 0 9 0 81294353 661708800 47302 33554432000 4194304 4373367 140727042575616 140727042574160 139915472112258 0 4 0 8388610 18446744073709551615 0 0 17 2 0 0 0 0 0 6470912 6472264 26251264 140727042581425 140727042581676 140727042581676 140727042584519 0
/proc/3210/statm: 161550 47302 385 44 0 157238 0
[pid=3210/tid=3216] ppid=3189 vsize=646200 memory=15821084087813536 CPUtime=14.25 cores=0-7
/proc/3210/task/3216/stat : 3216 (glucose-syrup) R 3189 3189 2339 0 -1 4202560 17013 0 0 0 1421 4 0 0 20 0 9 0 81294362 661708800 47302 33554432000 4194304 4373367 140727042575616 139915450731664 4258800 0 4 0 8388610 0 0 0 -1 3 0 0 0 0 0 6470912 6472264 26251264 140727042581425 140727042581676 140727042581676 140727042584519 0
[pid=3210/tid=3217] ppid=3189 vsize=646200 memory=0 CPUtime=14.25 cores=0-7
/proc/3210/task/3217/stat : 3217 (glucose-syrup) R 3189 3189 2339 0 -1 4202560 15618 0 0 0 1422 3 0 0 20 0 9 0 81294362 661708800 47302 33554432000 4194304 4373367 140727042575616 139915442338960 4230900 0 4 0 8388610 0 0 0 -1 0 0 0 0 0 0 6470912 6472264 26251264 140727042581425 140727042581676 140727042581676 140727042584519 0
[pid=3210/tid=3218] ppid=3189 vsize=646200 memory=0 CPUtime=14.25 cores=0-7
/proc/3210/task/3218/stat : 3218 (glucose-syrup) R 3189 3189 2339 0 -1 4202560 15999 0 0 0 1422 3 0 0 20 0 9 0 81294362 661708800 47302 33554432000 4194304 4373367 140727042575616 139915433946480 4292001 0 4 0 8388610 0 0 0 -1 2 0 0 0 0 0 6470912 6472264 26251264 140727042581425 140727042581676 140727042581676 140727042584519 0
[pid=3210/tid=3219] ppid=3189 vsize=646200 memory=0 CPUtime=14.27 cores=0-7
/proc/3210/task/3219/stat : 3219 (glucose-syrup) R 3189 3189 2339 0 -1 4202560 16494 0 0 0 1424 3 0 0 20 0 9 0 81294362 661708800 47302 33554432000 4194304 4373367 140727042575616 139915425553776 4271846 0 4 0 8388610 0 0 0 -1 1 0 0 0 0 0 6470912 6472264 26251264 140727042581425 140727042581676 140727042581676 140727042584519 0
[pid=3210/tid=3220] ppid=3189 vsize=646200 memory=0 CPUtime=14.26 cores=0-7
/proc/3210/task/3220/stat : 3220 (glucose-syrup) R 3189 3189 2339 0 -1 4202560 13635 0 0 0 1423 3 0 0 20 0 9 0 81294362 661708800 47302 33554432000 4194304 4373367 140727042575616 139915417160976 4271808 0 4 0 8388610 0 0 0 -1 6 0 0 0 0 0 6470912 6472264 26251264 140727042581425 140727042581676 140727042581676 140727042584519 0
[pid=3210/tid=3221] ppid=3189 vsize=646200 memory=0 CPUtime=13.92 cores=0-7
/proc/3210/task/3221/stat : 3221 (glucose-syrup) R 3189 3189 2339 0 -1 4202560 17221 0 0 0 1389 3 0 0 20 0 9 0 81294362 661708800 47302 33554432000 4194304 4373367 140727042575616 139915408768144 4271641 0 4 0 8388610 0 0 0 -1 7 0 0 0 0 0 6470912 6472264 26251264 140727042581425 140727042581676 140727042581676 140727042584519 0
[pid=3210/tid=3222] ppid=3189 vsize=646200 memory=140114047591872 CPUtime=14.26 cores=0-7
/proc/3210/task/3222/stat : 3222 (glucose-syrup) R 3189 3189 2339 0 -1 4202560 13442 0 0 0 1424 2 0 0 20 0 9 0 81294362 661708800 47302 33554432000 4194304 4373367 140727042575616 139915400375568 4259494 0 4 0 8388610 0 0 0 -1 4 0 0 0 0 0 6470912 6472264 26251264 140727042581425 140727042581676 140727042581676 140727042584519 0
[pid=3210/tid=3223] ppid=3189 vsize=646200 memory=3472468410275440192 CPUtime=14.27 cores=0-7
/proc/3210/task/3223/stat : 3223 (glucose-syrup) R 3189 3189 2339 0 -1 4202560 15898 0 0 0 1424 3 0 0 20 0 9 0 81294362 661708800 47302 33554432000 4194304 4373367 140727042575616 139915391982960 4272341 0 4 0 8388610 0 0 0 -1 5 0 0 0 0 0 6470912 6472264 26251264 140727042581425 140727042581676 140727042581676 140727042584519 0
[pid=3189/tid=3191] ppid=3186 vsize=27982760 memory=6944652177228980320 CPUtime=1.84 cores=0-7
/proc/3189/task/3191/stat : 3191 (java) S 3186 3189 2339 0 -1 1077944384 17036 0 0 0 176 8 0 0 20 0 24 0 81294170 28654346240 86950 33554432000 4194304 4196468 140728439741200 140684660259840 140684688430805 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25223168 140728439747546 140728439747845 140728439747845 140728439750607 0
[pid=3189/tid=3192] ppid=3186 vsize=27982760 memory=6944656592455097440 CPUtime=0 cores=0-7
/proc/3189/task/3192/stat : 3192 (java) S 3186 3189 2339 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 81294172 28654346240 86950 33554432000 4194304 4196468 140728439741200 140684692662800 140684688430805 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25223168 140728439747546 140728439747845 140728439747845 140728439750607 0
[pid=3189/tid=3193] ppid=3186 vsize=27982760 memory=-4051592751533505334 CPUtime=0 cores=0-7
/proc/3189/task/3193/stat : 3193 (java) S 3186 3189 2339 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 81294172 28654346240 86950 33554432000 4194304 4196468 140728439741200 140684476058256 140684688430805 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25223168 140728439747546 140728439747845 140728439747845 140728439750607 0
[pid=3189/tid=3194] ppid=3186 vsize=27982760 memory=1399717448514900851 CPUtime=0 cores=0-7
/proc/3189/task/3194/stat : 3194 (java) S 3186 3189 2339 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 81294172 28654346240 86950 33554432000 4194304 4196468 140728439741200 140684475005200 140684688430805 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25223168 140728439747546 140728439747845 140728439747845 140728439750607 0
[pid=3189/tid=3195] ppid=3186 vsize=27982760 memory=288230574492221466 CPUtime=0 cores=0-7
/proc/3189/task/3195/stat : 3195 (java) S 3186 3189 2339 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 81294172 28654346240 86950 33554432000 4194304 4196468 140728439741200 140684473952656 140684688430805 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25223168 140728439747546 140728439747845 140728439747845 140728439750607 0
[pid=3189/tid=3196] ppid=3186 vsize=27982760 memory=288230596050944315 CPUtime=0 cores=0-7
/proc/3189/task/3196/stat : 3196 (java) S 3186 3189 2339 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 81294172 28654346240 86950 33554432000 4194304 4196468 140728439741200 140684107439120 140684688430805 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25223168 140728439747546 140728439747845 140728439747845 140728439750607 0
[pid=3189/tid=3197] ppid=3186 vsize=27982760 memory=15821084087813536 CPUtime=0 cores=0-7
/proc/3189/task/3197/stat : 3197 (java) S 3186 3189 2339 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 81294172 28654346240 86950 33554432000 4194304 4196468 140728439741200 140684106386576 140684688430805 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25223168 140728439747546 140728439747845 140728439747845 140728439750607 0
[pid=3189/tid=3198] ppid=3186 vsize=27982760 memory=8540 CPUtime=0 cores=0-7
/proc/3189/task/3198/stat : 3198 (java) S 3186 3189 2339 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 81294172 28654346240 86950 33554432000 4194304 4196468 140728439741200 140684105333520 140684688430805 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25223168 140728439747546 140728439747845 140728439747845 140728439750607 0
[pid=3189/tid=3199] ppid=3186 vsize=27982760 memory=13040 CPUtime=0 cores=0-7
/proc/3189/task/3199/stat : 3199 (java) S 3186 3189 2339 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 81294172 28654346240 86950 33554432000 4194304 4196468 140728439741200 140684104280976 140684688430805 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25223168 140728439747546 140728439747845 140728439747845 140728439750607 0
[pid=3189/tid=3200] ppid=3186 vsize=27982760 memory=796 CPUtime=0 cores=0-7
/proc/3189/task/3200/stat : 3200 (java) S 3186 3189 2339 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 24 0 81294174 28654346240 86950 33554432000 4194304 4196468 140728439741200 140682808228080 140684688431746 0 0 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25223168 140728439747546 140728439747845 140728439747845 140728439750607 0
[pid=3189/tid=3201] ppid=3186 vsize=27982760 memory=1424 CPUtime=0 cores=0-7
/proc/3189/task/3201/stat : 3201 (java) S 3186 3189 2339 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 81294174 28654346240 86950 33554432000 4194304 4196468 140728439741200 140682593297568 140684688430805 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25223168 140728439747546 140728439747845 140728439747845 140728439750607 0
[pid=3189/tid=3202] ppid=3186 vsize=27982760 memory=1200 CPUtime=0 cores=0-7
/proc/3189/task/3202/stat : 3202 (java) S 3186 3189 2339 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 24 0 81294174 28654346240 86950 33554432000 4194304 4196468 140728439741200 140682459075312 140684688430805 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25223168 140728439747546 140728439747845 140728439747845 140728439750607 0
[pid=3189/tid=3203] ppid=3186 vsize=27982760 memory=15872 CPUtime=0 cores=0-7
/proc/3189/task/3203/stat : 3203 (java) S 3186 3189 2339 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 81294177 28654346240 86950 33554432000 4194304 4196468 140728439741200 140682084571088 140684688439195 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25223168 140728439747546 140728439747845 140728439747845 140728439750607 0
[pid=3189/tid=3204] ppid=3186 vsize=27982760 memory=13996 CPUtime=0.51 cores=0-7
/proc/3189/task/3204/stat : 3204 (java) S 3186 3189 2339 0 -1 1077944384 864 0 0 0 50 1 0 0 20 0 24 0 81294177 28654346240 86950 33554432000 4194304 4196468 140728439741200 140682807175920 140684688431746 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25223168 140728439747546 140728439747845 140728439747845 140728439750607 0
[pid=3189/tid=3205] ppid=3186 vsize=27982760 memory=16252 CPUtime=0.67 cores=0-7
/proc/3189/task/3205/stat : 3205 (java) S 3186 3189 2339 0 -1 1077944384 1663 0 0 0 67 0 0 0 20 0 24 0 81294177 28654346240 86950 33554432000 4194304 4196468 140728439741200 140682806123376 140684688431746 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25223168 140728439747546 140728439747845 140728439747845 140728439750607 0
[pid=3189/tid=3206] ppid=3186 vsize=27982760 memory=4008 CPUtime=0.62 cores=0-7
/proc/3189/task/3206/stat : 3206 (java) S 3186 3189 2339 0 -1 1077944384 845 0 0 0 61 1 0 0 20 0 24 0 81294177 28654346240 86950 33554432000 4194304 4196468 140728439741200 140682805070320 140684688431746 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25223168 140728439747546 140728439747845 140728439747845 140728439750607 0
[pid=3189/tid=3207] ppid=3186 vsize=27982760 memory=636 CPUtime=0.81 cores=0-7
/proc/3189/task/3207/stat : 3207 (java) S 3186 3189 2339 0 -1 1077944384 2892 0 0 0 80 1 0 0 20 0 24 0 81294177 28654346240 86950 33554432000 4194304 4196468 140728439741200 140682804017776 140684688431746 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25223168 140728439747546 140728439747845 140728439747845 140728439750607 0
[pid=3189/tid=3208] ppid=3186 vsize=27982760 memory=1792 CPUtime=0 cores=0-7
/proc/3189/task/3208/stat : 3208 (java) S 3186 3189 2339 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 81294177 28654346240 86950 33554432000 4194304 4196468 140728439741200 140681586665952 140684688430805 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25223168 140728439747546 140728439747845 140728439747845 140728439750607 0
[pid=3189/tid=3209] ppid=3186 vsize=27982760 memory=1840 CPUtime=0 cores=0-7
/proc/3189/task/3209/stat : 3209 (java) S 3186 3189 2339 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 81294177 28654346240 86950 33554432000 4194304 4196468 140728439741200 140682802965168 140684688431746 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 9 0 0 6293624 6294260 25223168 140728439747546 140728439747845 140728439747845 140728439750607 0
[pid=3189/tid=3211] ppid=3186 vsize=27982760 memory=5788 CPUtime=0 cores=0-7
/proc/3189/task/3211/stat : 3211 (java) S 3186 3189 2339 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 81294353 28654346240 86950 33554432000 4194304 4196468 140728439741200 140682795488192 140684688445209 0 4 0 25189583 18446744071579417331 0 0 -1 6 0 0 0 0 0 6293624 6294260 25223168 140728439747546 140728439747845 140728439747845 140728439750607 0
[pid=3189/tid=3213] ppid=3186 vsize=27982760 memory=347800 CPUtime=0 cores=0-7
/proc/3189/task/3213/stat : 3213 (java) S 3186 3189 2339 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 24 0 81294353 28654346240 86950 33554432000 4194304 4196468 140728439741200 140680915566512 140684688442525 0 4 0 25189583 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 25223168 140728439747546 140728439747845 140728439747845 140728439750607 0
[pid=3189/tid=3214] ppid=3186 vsize=27982760 memory=177432 CPUtime=0 cores=0-7
/proc/3189/task/3214/stat : 3214 (java) S 3186 3189 2339 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 24 0 81294353 28654346240 86950 33554432000 4194304 4196468 140728439741200 140681184002096 140684688442525 0 4 0 25189583 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 25223168 140728439747546 140728439747845 140728439747845 140728439750607 0
[pid=3189/tid=3215] ppid=3186 vsize=27982760 memory=1228 CPUtime=0 cores=0-7
/proc/3189/task/3215/stat : 3215 (java) S 3186 3189 2339 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 24 0 81294355 28654346240 86950 33554432000 4194304 4196468 140728439741200 140680647138720 140684688430805 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25223168 140728439747546 140728439747845 140728439747845 140728439750607 0
Current children cumulated CPU time: 118.39 s
Current children cumulated vsize: 28628960 KiB
Current children cumulated memory: 537008 KiB

[startup+16.3035 s]
/proc/loadavg: 6.51 8.04 8.31 11/211 3223
/proc/meminfo: memFree=22776784/32770624 swapFree=67108860/67108860
[pid=3189] ppid=3186 vsize=27982760 memory=347800 CPUtime=4.5 cores=0-7
/proc/3189/stat : 3189 (java) S 3186 3189 2339 0 -1 1077944320 24723 0 0 0 437 13 0 0 20 0 24 0 81294169 28654346240 86950 33554432000 4194304 4196468 140728439741200 140728439723744 140684688420599 0 0 0 25189583 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 25223168 140728439747546 140728439747845 140728439747845 140728439750607 0
/proc/3189/statm: 6995690 86950 3224 1 0 6956546 0
[pid=3210] ppid=3189 vsize=646352 memory=189448 CPUtime=114.7 cores=0-7
/proc/3210/stat : 3210 (glucose-syrup) S 3189 3189 2339 0 -1 1077944320 131392 0 0 0 11441 29 0 0 20 0 9 0 81294353 661864448 47362 33554432000 4194304 4373367 140727042575616 140727042574160 139915472112258 0 4 0 8388610 18446744073709551615 0 0 17 2 0 0 0 0 0 6470912 6472264 26251264 140727042581425 140727042581676 140727042581676 140727042584519 0
/proc/3210/statm: 161588 47362 385 44 0 157276 0
[pid=3210/tid=3216] ppid=3189 vsize=646352 memory=184048 CPUtime=14.36 cores=0-7
/proc/3210/task/3216/stat : 3216 (glucose-syrup) R 3189 3189 2339 0 -1 4202560 17020 0 0 0 1432 4 0 0 20 0 9 0 81294362 661864448 47362 33554432000 4194304 4373367 140727042575616 139915450731664 4272344 0 4 0 8388610 0 0 0 -1 3 0 0 0 0 0 6470912 6472264 26251264 140727042581425 140727042581676 140727042581676 140727042584519 0
[pid=3210/tid=3217] ppid=3189 vsize=646352 memory=0 CPUtime=14.35 cores=0-7
/proc/3210/task/3217/stat : 3217 (glucose-syrup) R 3189 3189 2339 0 -1 4202560 15623 0 0 0 1432 3 0 0 20 0 9 0 81294362 661864448 47362 33554432000 4194304 4373367 140727042575616 139915442338960 4271808 0 4 0 8388610 0 0 0 -1 0 0 0 0 0 0 6470912 6472264 26251264 140727042581425 140727042581676 140727042581676 140727042584519 0
[pid=3210/tid=3218] ppid=3189 vsize=646352 memory=184968 CPUtime=14.35 cores=0-7
/proc/3210/task/3218/stat : 3218 (glucose-syrup) R 3189 3189 2339 0 -1 4202560 16001 0 0 0 1432 3 0 0 20 0 9 0 81294362 661864448 47362 33554432000 4194304 4373367 140727042575616 139915433946480 4271912 0 4 0 8388610 0 0 0 -1 2 0 0 0 0 0 6470912 6472264 26251264 140727042581425 140727042581676 140727042581676 140727042584519 0
[pid=3210/tid=3219] ppid=3189 vsize=646352 memory=347800 CPUtime=14.37 cores=0-7
/proc/3210/task/3219/stat : 3219 (glucose-syrup) R 3189 3189 2339 0 -1 4202560 16496 0 0 0 1434 3 0 0 20 0 9 0 81294362 661864448 47362 33554432000 4194304 4373367 140727042575616 139915425553776 4271641 0 4 0 8388610 0 0 0 -1 1 0 0 0 0 0 6470912 6472264 26251264 140727042581425 140727042581676 140727042581676 140727042584519 0
[pid=3210/tid=3220] ppid=3189 vsize=646352 memory=3472323898181169393 CPUtime=14.36 cores=0-7
/proc/3210/task/3220/stat : 3220 (glucose-syrup) R 3189 3189 2339 0 -1 4202560 13635 0 0 0 1433 3 0 0 20 0 9 0 81294362 661864448 47362 33554432000 4194304 4373367 140727042575616 139915417160976 4271897 0 4 0 8388610 0 0 0 -1 6 0 0 0 0 0 6470912 6472264 26251264 140727042581425 140727042581676 140727042581676 140727042584519 0
[pid=3210/tid=3221] ppid=3189 vsize=646352 memory=0 CPUtime=14.03 cores=0-7
/proc/3210/task/3221/stat : 3221 (glucose-syrup) R 3189 3189 2339 0 -1 4202560 17241 0 0 0 1400 3 0 0 20 0 9 0 81294362 661864448 47362 33554432000 4194304 4373367 140727042575616 139915408767832 4271985 0 4 0 8388610 0 0 0 -1 7 0 0 0 0 0 6470912 6472264 26251264 140727042581425 140727042581676 140727042581676 140727042584519 0
[pid=3210/tid=3222] ppid=3189 vsize=646352 memory=7954318337723748952 CPUtime=14.36 cores=0-7
/proc/3210/task/3222/stat : 3222 (glucose-syrup) R 3189 3189 2339 0 -1 4202560 13448 0 0 0 1434 2 0 0 20 0 9 0 81294362 661864448 47362 33554432000 4194304 4373367 140727042575616 139915400375664 4272280 0 4 0 8388610 0 0 0 -1 4 0 0 0 0 0 6470912 6472264 26251264 140727042581425 140727042581676 140727042581676 140727042584519 0
[pid=3210/tid=3223] ppid=3189 vsize=646352 memory=796 CPUtime=14.37 cores=0-7
/proc/3210/task/3223/stat : 3223 (glucose-syrup) R 3189 3189 2339 0 -1 4202560 15902 0 0 0 1434 3 0 0 20 0 9 0 81294362 661864448 47362 33554432000 4194304 4373367 140727042575616 139915391982960 4271925 0 4 0 8388610 0 0 0 -1 5 0 0 0 0 0 6470912 6472264 26251264 140727042581425 140727042581676 140727042581676 140727042584519 0
[pid=3189/tid=3191] ppid=3186 vsize=27982760 memory=1424 CPUtime=1.84 cores=0-7
/proc/3189/task/3191/stat : 3191 (java) S 3186 3189 2339 0 -1 1077944384 17036 0 0 0 176 8 0 0 20 0 24 0 81294170 28654346240 86950 33554432000 4194304 4196468 140728439741200 140684660259840 140684688430805 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25223168 140728439747546 140728439747845 140728439747845 140728439750607 0
[pid=3189/tid=3192] ppid=3186 vsize=27982760 memory=1200 CPUtime=0 cores=0-7
/proc/3189/task/3192/stat : 3192 (java) S 3186 3189 2339 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 81294172 28654346240 86950 33554432000 4194304 4196468 140728439741200 140684692662800 140684688430805 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25223168 140728439747546 140728439747845 140728439747845 140728439750607 0
[pid=3189/tid=3193] ppid=3186 vsize=27982760 memory=23932 CPUtime=0 cores=0-7
/proc/3189/task/3193/stat : 3193 (java) S 3186 3189 2339 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 81294172 28654346240 86950 33554432000 4194304 4196468 140728439741200 140684476058256 140684688430805 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25223168 140728439747546 140728439747845 140728439747845 140728439750607 0
[pid=3189/tid=3194] ppid=3186 vsize=27982760 memory=1296 CPUtime=0 cores=0-7
/proc/3189/task/3194/stat : 3194 (java) S 3186 3189 2339 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 81294172 28654346240 86950 33554432000 4194304 4196468 140728439741200 140684475005200 140684688430805 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25223168 140728439747546 140728439747845 140728439747845 140728439750607 0
[pid=3189/tid=3195] ppid=3186 vsize=27982760 memory=2412 CPUtime=0 cores=0-7
/proc/3189/task/3195/stat : 3195 (java) S 3186 3189 2339 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 81294172 28654346240 86950 33554432000 4194304 4196468 140728439741200 140684473952656 140684688430805 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25223168 140728439747546 140728439747845 140728439747845 140728439750607 0
[pid=3189/tid=3196] ppid=3186 vsize=27982760 memory=347800 CPUtime=0 cores=0-7
/proc/3189/task/3196/stat : 3196 (java) S 3186 3189 2339 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 81294172 28654346240 86950 33554432000 4194304 4196468 140728439741200 140684107439120 140684688430805 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25223168 140728439747546 140728439747845 140728439747845 140728439750607 0
[pid=3189/tid=3197] ppid=3186 vsize=27982760 memory=174516 CPUtime=0 cores=0-7
/proc/3189/task/3197/stat : 3197 (java) S 3186 3189 2339 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 81294172 28654346240 86950 33554432000 4194304 4196468 140728439741200 140684106386576 140684688430805 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25223168 140728439747546 140728439747845 140728439747845 140728439750607 0
[pid=3189/tid=3198] ppid=3186 vsize=27982760 memory=-3622645143214314312 CPUtime=0 cores=0-7
/proc/3189/task/3198/stat : 3198 (java) S 3186 3189 2339 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 81294172 28654346240 86950 33554432000 4194304 4196468 140728439741200 140684105333520 140684688430805 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25223168 140728439747546 140728439747845 140728439747845 140728439750607 0
[pid=3189/tid=3199] ppid=3186 vsize=27982760 memory=0 CPUtime=0 cores=0-7
/proc/3189/task/3199/stat : 3199 (java) S 3186 3189 2339 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 81294172 28654346240 86950 33554432000 4194304 4196468 140728439741200 140684104280976 140684688430805 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25223168 140728439747546 140728439747845 140728439747845 140728439750607 0
[pid=3189/tid=3200] ppid=3186 vsize=27982760 memory=280228094022208 CPUtime=0 cores=0-7
/proc/3189/task/3200/stat : 3200 (java) S 3186 3189 2339 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 24 0 81294174 28654346240 86950 33554432000 4194304 4196468 140728439741200 140682808228080 140684688431746 0 0 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25223168 140728439747546 140728439747845 140728439747845 140728439750607 0
[pid=3189/tid=3201] ppid=3186 vsize=27982760 memory=11722 CPUtime=0 cores=0-7
/proc/3189/task/3201/stat : 3201 (java) S 3186 3189 2339 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 81294174 28654346240 86950 33554432000 4194304 4196468 140728439741200 140682593297568 140684688430805 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25223168 140728439747546 140728439747845 140728439747845 140728439750607 0
[pid=3189/tid=3202] ppid=3186 vsize=27982760 memory=24388 CPUtime=0 cores=0-7
/proc/3189/task/3202/stat : 3202 (java) S 3186 3189 2339 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 24 0 81294174 28654346240 86950 33554432000 4194304 4196468 140728439741200 140682459075312 140684688430805 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25223168 140728439747546 140728439747845 140728439747845 140728439750607 0
[pid=3189/tid=3203] ppid=3186 vsize=27982760 memory=0 CPUtime=0 cores=0-7
/proc/3189/task/3203/stat : 3203 (java) S 3186 3189 2339 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 81294177 28654346240 86950 33554432000 4194304 4196468 140728439741200 140682084571088 140684688439195 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25223168 140728439747546 140728439747845 140728439747845 140728439750607 0
[pid=3189/tid=3204] ppid=3186 vsize=27982760 memory=-3622645143214314312 CPUtime=0.51 cores=0-7
/proc/3189/task/3204/stat : 3204 (java) S 3186 3189 2339 0 -1 1077944384 864 0 0 0 50 1 0 0 20 0 24 0 81294177 28654346240 86950 33554432000 4194304 4196468 140728439741200 140682807175920 140684688431746 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25223168 140728439747546 140728439747845 140728439747845 140728439750607 0
[pid=3189/tid=3205] ppid=3186 vsize=27982760 memory=6512 CPUtime=0.67 cores=0-7
/proc/3189/task/3205/stat : 3205 (java) S 3186 3189 2339 0 -1 1077944384 1663 0 0 0 67 0 0 0 20 0 24 0 81294177 28654346240 86950 33554432000 4194304 4196468 140728439741200 140682806123376 140684688431746 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25223168 140728439747546 140728439747845 140728439747845 140728439750607 0
[pid=3189/tid=3206] ppid=3186 vsize=27982760 memory=1576 CPUtime=0.62 cores=0-7
/proc/3189/task/3206/stat : 3206 (java) S 3186 3189 2339 0 -1 1077944384 845 0 0 0 61 1 0 0 20 0 24 0 81294177 28654346240 86950 33554432000 4194304 4196468 140728439741200 140682805070320 140684688431746 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25223168 140728439747546 140728439747845 140728439747845 140728439750607 0
[pid=3189/tid=3207] ppid=3186 vsize=27982760 memory=932 CPUtime=0.81 cores=0-7
/proc/3189/task/3207/stat : 3207 (java) S 3186 3189 2339 0 -1 1077944384 2892 0 0 0 80 1 0 0 20 0 24 0 81294177 28654346240 86950 33554432000 4194304 4196468 140728439741200 140682804017776 140684688431746 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25223168 140728439747546 140728439747845 140728439747845 140728439750607 0
[pid=3189/tid=3208] ppid=3186 vsize=27982760 memory=2244 CPUtime=0 cores=0-7
/proc/3189/task/3208/stat : 3208 (java) S 3186 3189 2339 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 81294177 28654346240 86950 33554432000 4194304 4196468 140728439741200 140681586665952 140684688430805 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25223168 140728439747546 140728439747845 140728439747845 140728439750607 0
[pid=3189/tid=3209] ppid=3186 vsize=27982760 memory=-3622645143214314312 CPUtime=0 cores=0-7
/proc/3189/task/3209/stat : 3209 (java) S 3186 3189 2339 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 81294177 28654346240 86950 33554432000 4194304 4196468 140728439741200 140682802965168 140684688431746 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 9 0 0 6293624 6294260 25223168 140728439747546 140728439747845 140728439747845 140728439750607 0
[pid=3189/tid=3211] ppid=3186 vsize=27982760 memory=280228094017776 CPUtime=0 cores=0-7
/proc/3189/task/3211/stat : 3211 (java) S 3186 3189 2339 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 81294353 28654346240 86950 33554432000 4194304 4196468 140728439741200 140682795488192 140684688445209 0 4 0 25189583 18446744071579417331 0 0 -1 6 0 0 0 0 0 6293624 6294260 25223168 140728439747546 140728439747845 140728439747845 140728439750607 0
[pid=3189/tid=3213] ppid=3186 vsize=27982760 memory=0 CPUtime=0 cores=0-7
/proc/3189/task/3213/stat : 3213 (java) S 3186 3189 2339 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 24 0 81294353 28654346240 86950 33554432000 4194304 4196468 140728439741200 140680915566512 140684688442525 0 4 0 25189583 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 25223168 140728439747546 140728439747845 140728439747845 140728439750607 0
[pid=3189/tid=3214] ppid=3186 vsize=27982760 memory=33 CPUtime=0 cores=0-7
/proc/3189/task/3214/stat : 3214 (java) S 3186 3189 2339 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 24 0 81294353 28654346240 86950 33554432000 4194304 4196468 140728439741200 140681184002096 140684688442525 0 4 0 25189583 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 25223168 140728439747546 140728439747845 140728439747845 140728439750607 0
[pid=3189/tid=3215] ppid=3186 vsize=27982760 memory=0 CPUtime=0 cores=0-7
/proc/3189/task/3215/stat : 3215 (java) S 3186 3189 2339 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 24 0 81294355 28654346240 86950 33554432000 4194304 4196468 140728439741200 140680647138720 140684688430805 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25223168 140728439747546 140728439747845 140728439747845 140728439750607 0
Current children cumulated CPU time: 119.2 s
Current children cumulated vsize: 28629112 KiB
Current children cumulated memory: 537248 KiB

Child status: 0
Real time (s): 16.3908
CPU time (s): 119.693
CPU user time (s): 119.24
CPU system time (s): 0.453367
CPU usage (%): 730.248
Max. virtual memory (cumulated for all children) (KiB): 28651504
Max. memory (cumulated for all children) (KiB): 548356

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 119.24
system time used= 0.453367
maximum resident set size= 352944
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 156319
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1768
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 7542
involuntary context switches= 1195


# summary of solver processes directly reported to runsolver:
#   pid: 3189
#   total CPU time (s): 119.693
#   total CPU user time (s): 119.24
#   total CPU system time (s): 0.453367

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.156919 second user time and 0.263052 second system time

The end

Launcher Data 

Begin job on node137 at 2018-07-26 22:35:10
IDJOB=4297214
IDBENCH=141173
IDSOLVER=2759
FILE ID=node137/4297214-1532637310
RUNJOBID= node137-1532633896-2368
PBS_JOBID= 21022185
Free space on /tmp= 48160 MiB

SOLVER NAME= scop both+glucose-syrup (2018-07-07)
BENCH NAME= XCSP18/GracefulGraph/GracefulGraph-K05-P02_c18.xml
COMMAND LINE= java -Xms22g -Xmx22g -Xss128m -jar DIR/scop.jar -both -solver DIR/glucose-syrup -solverOption -model:-nthreads=NBCORE:-maxmemory=10000 -tmp TMPDIR BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4297214-1532637310/watcher-4297214-1532637310 -o /tmp/evaluation-result-4297214-1532637310/solver-4297214-1532637310 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node137-1532633896-2368 --watchdog 2580  java -Xms22g -Xmx22g -Xss128m -jar HOME/scop.jar -both -solver HOME/glucose-syrup -solverOption -model:-nthreads=8:-maxmemory=10000 -tmp HOME HOME/instance-4297214-1532637310.xml

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

MD5SUM BENCH= 803795f7a37fd3a40686e408980b1bff
RANDOM SEED=593248137

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


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        23304740 kB
MemAvailable:   31922920 kB
Buffers:          170836 kB
Cached:          8634212 kB
SwapCached:            0 kB
Active:          3374564 kB
Inactive:        5487844 kB
Active(anon):       2980 kB
Inactive(anon):    82208 kB
Active(file):    3371584 kB
Inactive(file):  5405636 kB
Unevictable:        7308 kB
Mlocked:            7308 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              8512 kB
Writeback:           176 kB
AnonPages:         64488 kB
Mapped:            40860 kB
Shmem:             25228 kB
Slab:             297204 kB
SReclaimable:     269420 kB
SUnreclaim:        27784 kB
KernelStack:        3568 kB
PageTables:         4728 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     324736 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     10240 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      114048 kB
DirectMap2M:    33431552 kB

Free space on /tmp at the end= 48152 MiB
End job on node137 at 2018-07-26 22:35:26