Trace number 4297057

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 order+glucose-syrup (2018-07-07)SAT 210.887 32.025

General information on the benchmark

NameFrb/
frb-56-25-3-mgd_c18.xml
MD5SUM7c69722bcd82b7b6de23ca1e1f99c5f4
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 benchmark210.887
Satisfiable
(Un)Satisfiability was proved
Number of variables56
Number of constraints511
Number of domains1
Minimum domain size25
Maximum domain size25
Distribution of domain sizes[{"size":25,"count":56}]
Minimum variable degree12
Maximum variable degree26
Distribution of variable degrees[{"degree":12,"count":1},{"degree":13,"count":2},{"degree":14,"count":4},{"degree":15,"count":7},{"degree":16,"count":4},{"degree":17,"count":4},{"degree":18,"count":10},{"degree":19,"count":5},{"degree":20,"count":5},{"degree":21,"count":5},{"degree":22,"count":2},{"degree":23,"count":4},{"degree":24,"count":1},{"degree":25,"count":1},{"degree":26,"count":1}]
Minimum constraint arity2
Maximum constraint arity2
Distribution of constraint arities[{"arity":2,"count":511}]
Number of extensional constraints511
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":511}]
Optimization problemNO
Type of objective

Solver Data 

0.65/0.53	
0.65/0.53	scop order+glucose-syrup (2018-07-07)
0.65/0.53	
0.65/0.56	c BEGIN-Prog: Fri Jul 27 10:12:29 CEST 2018
0.65/0.56	c PID: 18989
0.65/0.56	c IP: 172.20.3.102
0.65/0.56	c HOST: node102.alineos.net
0.65/0.57	c (0,0) Parsing Begin
2.81/1.27	c (0,0) Parsing End
2.81/1.28	c (0,0) CSP: 56 int (0 aux), 0 bool (0 aux), 511 ctr, max domain size 25
2.81/1.28	c (0,0) Heap : 450 MiB used (max 21589 MiB), NonHeap : 20 MiB used (max 0 MiB)
2.81/1.28	c (0,0) Constraint Name Generate Begin
2.81/1.29	c (0,0) Ctr:HOME/instance-4297057-1532679149.xml,ExtensionConflict:ExtensionSupport:IntVar
2.81/1.29	c (0,0) Constraint Name Generate End
2.81/1.29	c (0,0) Heap : 450 MiB used (max 21589 MiB), NonHeap : 20 MiB used (max 0 MiB)
2.81/1.29	c (0,0) CSP to CSPinCNF Begin
6.38/2.27	c (1,1) translated 52 (10%) constraints
8.42/2.77	c (2,2) translated 103 (20%) constraints
10.08/3.15	c (2,2) translated 154 (30%) constraints
11.66/3.50	c (2,2) translated 205 (40%) constraints
12.87/3.82	c (3,3) translated 256 (50%) constraints
14.11/4.14	c (3,3) translated 307 (60%) constraints
15.28/4.44	c (3,3) translated 358 (70%) constraints
15.78/4.68	c (4,4) translated 409 (80%) constraints
16.10/4.91	c (4,4) translated 460 (90%) constraints
16.33/5.14	c (4,4) translated 511 (100%) constraints
17.25/5.47	c (4,4) STATISTICS1:HOME/instance-4297057-1532679149.xml,ExtensionConflict:ExtensionSupport:IntVar,406,67227,-1,25,26,1,,25:252529;2:5132,26:14;4:56537;3:9811;2:865,1:257661;0:14,
17.25/5.47	c (4,4) ===========================================
17.25/5.47	c (4,4) Order
17.25/5.47	c (4,4) ===========================================
17.79/5.66	c (5,5) translated 6723 (10%) constraints
18.08/5.79	c (5,5) translated 13446 (20%) constraints
18.37/5.90	c (5,5) translated 20169 (30%) constraints
18.51/6.02	c (5,5) translated 26891 (40%) constraints
18.65/6.13	c (5,5) translated 33614 (50%) constraints
18.75/6.25	c (5,5) translated 40337 (60%) constraints
18.85/6.37	c (5,5) translated 47059 (70%) constraints
18.94/6.49	c (5,5) translated 53782 (80%) constraints
19.15/6.61	c (6,6) translated 60505 (90%) constraints
19.25/6.73	c (6,6) translated 67227 (100%) constraints
19.25/6.73	c (6,6) CSP to CSPinCNF End
19.25/6.73	c (6,6) CSP: 56 int (0 aux), 350 bool (350 aux), 67227 ctr, max domain size 25
19.25/6.73	c (6,6) Heap : 2816 MiB used (max 21589 MiB), NonHeap : 32 MiB used (max 0 MiB)
19.25/6.73	c (6,6) CSPinCNF Propagation Begin
20.15/7.17	c (6,6) 0 values, 5957 unsatisfiable literals, and 0 valid clauses are removed
20.15/7.17	c (6,6) CSPinCNF Propagation End
20.15/7.18	c (6,6) CSP: 56 int (0 aux), 350 bool (350 aux), 67227 ctr, max domain size 25
20.15/7.18	c (6,6) Heap : 3153 MiB used (max 21589 MiB), NonHeap : 33 MiB used (max 0 MiB)
20.15/7.18	c (6,6) Simplify CSPinCNF Begin
20.47/7.35	c (6,6) Simplify CSPinCNF End
20.47/7.35	c (6,6) CSP: 56 int (0 aux), 350 bool (350 aux), 67227 ctr, max domain size 25
20.47/7.35	c (6,6) Heap : 3153 MiB used (max 21589 MiB), NonHeap : 33 MiB used (max 0 MiB)
20.47/7.35	c (6,6) Calculate Precise Domain Begin
20.47/7.35	c (6,6) 0 values are removed by re-calculation
20.47/7.35	c (6,6) Calculate Precise Domain End
20.47/7.35	c (6,6) CSP: 56 int (0 aux), 350 bool (350 aux), 67227 ctr, max domain size 25
20.47/7.35	c (6,6) Heap : 3153 MiB used (max 21589 MiB), NonHeap : 33 MiB used (max 0 MiB)
20.47/7.35	c (6,6) CSPinCNF to SatSolver Begin
21.01/7.50	c (6,6) 6723 (10 %) CSP clauses are encoded (1694 SAT variables, 8010 SAT clauses)
21.01/7.56	c (7,7) 13446 (20 %) CSP clauses are encoded (1694 SAT variables, 14733 SAT clauses)
21.24/7.60	c (7,7) 20169 (30 %) CSP clauses are encoded (1694 SAT variables, 21456 SAT clauses)
21.24/7.65	c (7,7) 26891 (40 %) CSP clauses are encoded (1694 SAT variables, 28178 SAT clauses)
21.24/7.69	c (7,7) 33614 (50 %) CSP clauses are encoded (1694 SAT variables, 34901 SAT clauses)
21.36/7.74	c (7,7) 40337 (60 %) CSP clauses are encoded (1694 SAT variables, 41624 SAT clauses)
21.36/7.78	c (7,7) 47059 (70 %) CSP clauses are encoded (1694 SAT variables, 48346 SAT clauses)
21.46/7.83	c (7,7) 53782 (80 %) CSP clauses are encoded (1694 SAT variables, 55069 SAT clauses)
21.46/7.87	c (7,7) 60505 (90 %) CSP clauses are encoded (1694 SAT variables, 61792 SAT clauses)
21.56/7.92	c (7,7) 67227 (100 %) CSP clauses are encoded (1694 SAT variables, 68514 SAT clauses)
21.56/7.92	c (7,7) CSPinCNF to SatSolver End
21.56/7.92	c (7,7) Heap : 3604 MiB used (max 21589 MiB), NonHeap : 31 MiB used (max 0 MiB)
21.97/8.18	c (7,7) STATISTICS2:HOME/instance-4297057-1532679149.xml,ExtensionConflict:ExtensionSupport:IntVar,406,67227,-1,25,25,1,,25:246586;2:5132,25:14;4:51003;3:14936;2:1274,1:251718,
21.97/8.18	c (7,7) SatSolver.solve Begin
21.97/8.18	c (7,7) 1694 bool, 68515 clause
21.97/8.18	c (7,7) HOME/glucose-syrup -model -nthreads=8 -maxmemory=10000 HOME/instance-4297057-1532679149.xml-scop-18989.cnf HOME/instance-4297057-1532679149.xml-scop-18989.cnf.out
100.30/18.18	c (17,0) c
100.30/18.18	c (17,0) c This is glucose-syrup 4.1 (glucose in many threads) --  based on MiniSAT (Many thanks to MiniSAT team)
100.30/18.18	c (17,0) c
100.30/18.18	c (17,0) c WARNING: for repeatability, setting FPU to use double precision
100.30/18.18	c (17,0) c 8 solvers engines and 1 companion as a blackboard created.
100.30/18.18	c (17,0) c ========================================[ Problem Statistics ]===========================================
100.30/18.18	c (17,0) c |                                                                                                       |
100.30/18.18	c (17,0) c |  Number of variables:          1694                                                                   |
100.30/18.18	c (17,0) c |  Number of clauses:           68515                                                                   |
100.30/18.18	c (17,0) c |  Parse time:                   0.02 s                                                                 |
100.30/18.18	c (17,0) c |                                                                                                       |
100.30/18.18	c (17,0) c |  Simplification time:          0.07 s                                                                 |
100.30/18.18	c (17,0) c |                                                                                                       |
100.30/18.18	c (17,0) c |  Generating clones                                                                                    |
100.30/18.18	c (17,0) c |  all clones generated. Memory =  58.09Mb.                                                             |
100.30/18.18	c (17,0) c ========================================================================================================|
100.30/18.18	c (17,0) c
100.30/18.18	c (17,0) c |-------------------------------------------------------------------------------------------------------|
100.30/18.18	c (17,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
100.30/18.18	c (17,0) c |-------------------------------------------------------------------------------------------------------|
100.30/18.18	c (17,0) c |  0 |     27 |      66003 |      49555 |    41037 |    23462 |     9644 |    65599 |      358 |  0.000 |
100.30/18.18	c (17,0) c |  1 |      6 |      64631 |      49700 |    39974 |    23611 |     9851 |    47187 |      343 |  0.001 |
100.30/18.18	c (17,0) c |  2 |     14 |      64906 |      50380 |    35829 |    24294 |     9122 |    53535 |      580 |  0.001 |
100.30/18.19	c (17,0) c |  3 |     31 |      65182 |      49551 |    42359 |    23460 |     8824 |    65489 |      627 |  0.001 |
100.30/18.19	c (17,0) c |  4 |     33 |      67534 |      50085 |    46238 |    23997 |     8783 |    61718 |      345 |  0.000 |
100.30/18.19	c (17,0) c |  5 |     13 |      68946 |      52327 |    40274 |    13790 |    10198 |    65016 |      492 |  0.001 |
100.30/18.19	c (17,0) c |  6 |     14 |      66894 |      52023 |    41915 |    13485 |     9458 |    58054 |      365 |  0.001 |
100.30/18.19	c (17,0) c |  7 |     27 |      69341 |      52661 |    40518 |    14135 |     9398 |    58987 |      464 |  0.000 |
100.30/18.19	c (17,0) c 
100.30/18.19	c (17,0) c synthesis      406282 conflicts    82592554 propagations    11425 conflicts/sec  2322487 propagations/sec
100.30/18.19	c (17,0) c Total Memory so far : 640.46Mb
100.30/18.19	c (17,0) c
100.30/18.19	c (17,0) c |-------------------------------------------------------------------------------------------------------|
100.30/18.19	c (17,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
100.30/18.19	c (17,0) c |-------------------------------------------------------------------------------------------------------|
100.30/18.19	c (17,0) c |  0 |     81 |     123615 |      92884 |    50536 |    21709 |    15973 |   111187 |     1062 |  0.000 |
100.30/18.19	c (17,0) c |  1 |     69 |     128311 |      97617 |    50610 |    26456 |    15979 |   108589 |     1154 |  0.000 |
100.30/18.19	c (17,0) c |  2 |     34 |     118383 |      92405 |    42888 |    21237 |    15727 |    97366 |     1314 |  0.001 |
100.30/18.19	c (17,0) c |  3 |     64 |     127319 |      97051 |    48761 |    25876 |    16464 |   113738 |     1574 |  0.001 |
100.30/18.19	c (17,0) c |  4 |     41 |     117174 |      88801 |    51085 |    17627 |    15215 |   114490 |      876 |  0.000 |
100.30/18.19	c (17,0) c |  5 |     79 |     131751 |      99535 |    52869 |    28360 |    17168 |   113101 |     1339 |  0.000 |
100.30/18.19	c (17,0) c |  6 |     17 |     123729 |      96951 |    48388 |    25775 |    17037 |   101555 |      810 |  0.000 |
100.30/18.19	c (17,0) c |  7 |     34 |     126246 |      97300 |    45814 |    26125 |    17023 |   111104 |      957 |  0.001 |
100.30/18.19	c (17,0) c 
100.30/18.19	c (17,0) c synthesis      762545 conflicts   158297467 propagations    10115 conflicts/sec  2099768 propagations/sec
100.30/18.19	c (17,0) c Total Memory so far : 640.46Mb
192.73/29.80	c (29,0) c
192.73/29.80	c (29,0) c Try to adapt solver strategies
192.73/29.80	c (29,0) c 
192.73/29.80	c (29,0) c Nothing extreme in this problem, continue with glucose default strategies.
192.73/29.80	c (29,0) c
192.73/29.80	c (29,0) c
192.73/29.80	c (29,0) c Try to adapt solver strategies
192.73/29.80	c (29,0) c 
192.73/29.80	c (29,0) c Nothing extreme in this problem, continue with glucose default strategies.
192.73/29.80	c (29,0) c
192.73/29.80	c (29,0) c
192.73/29.80	c (29,0) c Try to adapt solver strategies
192.73/29.80	c (29,0) c 
192.73/29.80	c (29,0) c Nothing extreme in this problem, continue with glucose default strategies.
192.73/29.80	c (29,0) c
192.73/29.80	c (29,0) c
192.73/29.80	c (29,0) c Try to adapt solver strategies
192.73/29.80	c (29,0) c 
192.73/29.80	c (29,0) c Nothing extreme in this problem, continue with glucose default strategies.
192.73/29.80	c (29,0) c
192.73/29.80	c (29,0) c
192.73/29.80	c (29,0) c |-------------------------------------------------------------------------------------------------------|
192.73/29.80	c (29,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
192.73/29.80	c (29,0) c |-------------------------------------------------------------------------------------------------------|
192.73/29.80	c (29,0) c |  0 |     92 |     164617 |     124283 |    53772 |    32908 |    21016 |   140817 |     1611 |  0.000 |
192.73/29.80	c (29,0) c |  1 |     89 |     170437 |     131238 |    52384 |    39860 |    20623 |   143761 |     1671 |  0.001 |
192.73/29.80	c (29,0) c |  2 |     61 |     154946 |     120745 |    47280 |    29371 |    19852 |   144544 |     1874 |  0.000 |
192.73/29.80	c (29,0) c |  3 |    166 |     172876 |     130697 |    50202 |    39318 |    20410 |   143610 |     2235 |  0.000 |
192.73/29.80	c (29,0) c |  4 |     88 |     161728 |     122720 |    53668 |    31336 |    19827 |   144399 |     1533 |  0.000 |
192.73/29.80	c (29,0) c |  5 |    208 |     170899 |     127995 |    55095 |    36611 |    20860 |   142708 |     2007 |  0.000 |
192.73/29.80	c (29,0) c |  6 |     19 |     162051 |     127352 |    52113 |    35966 |    21344 |   143018 |     1255 |  0.000 |
192.73/29.80	c (29,0) c |  7 |     37 |     159170 |     123948 |    46949 |    32574 |    20546 |   123557 |     1278 |  0.001 |
192.73/29.80	c (29,0) c 
192.73/29.80	c (29,0) c synthesis     1008978 conflicts   211469566 propagations     9411 conflicts/sec  1972415 propagations/sec
192.73/29.80	c (29,0) c Total Memory so far : 641.55Mb
192.73/29.80	c (29,0) c
192.73/29.80	c (29,0) c |-------------------------------------------------------------------------------------------------------|
192.73/29.80	c (29,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
192.73/29.80	c (29,0) c |-------------------------------------------------------------------------------------------------------|
192.73/29.80	c (29,0) c |  0 |    113 |     194290 |     147276 |    54597 |    33095 |    24252 |   173492 |     2082 |  0.001 |
192.73/29.80	c (29,0) c |  1 |    101 |     207087 |     159841 |    53994 |    45655 |    25385 |   158433 |     2170 |  0.000 |
192.73/29.80	c (29,0) c |  2 |     70 |     194305 |     151398 |    49300 |    37215 |    24519 |   171223 |     2473 |  0.001 |
192.73/29.80	c (29,0) c |  3 |    204 |     211213 |     160938 |    50825 |    46757 |    24649 |   171701 |     2637 |  0.000 |
192.73/29.80	c (29,0) c |  4 |    119 |     197987 |     150977 |    54700 |    36805 |    23637 |   166101 |     2131 |  0.000 |
192.73/29.80	c (29,0) c |  5 |    225 |     207322 |     156291 |    56662 |    42106 |    25178 |   165857 |     2644 |  0.000 |
192.73/29.80	c (29,0) c |  6 |     47 |     202983 |     158898 |    56479 |    44716 |    25092 |   172098 |     2144 |  0.000 |
192.73/29.80	c (29,0) c |  7 |     40 |     196664 |     152698 |    50779 |    38532 |    25557 |   170721 |     1794 |  0.000 |
192.73/29.80	c (29,0) c 
192.73/29.80	c (29,0) c synthesis     1238317 conflicts   259656329 propagations     8902 conflicts/sec  1866685 propagations/sec
192.73/29.80	c (29,0) c Total Memory so far : 645.37Mb
192.73/29.80	c (29,0) c
192.73/29.80	c (29,0) c |-------------------------------------------------------------------------------------------------------|
192.73/29.80	c (29,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
192.73/29.80	c (29,0) c |-------------------------------------------------------------------------------------------------------|
192.73/29.80	c (29,0) c |  0 |    140 |     219189 |     166859 |    54862 |    27276 |    26338 |   199650 |     2446 |  0.001 |
192.73/29.80	c (29,0) c |  1 |    111 |     241482 |     187333 |    55060 |    47749 |    28798 |   196707 |     2630 |  0.002 |
192.73/29.80	c (29,0) c |  2 |     73 |     227064 |     178030 |    50342 |    38446 |    27887 |   194257 |     2939 |  0.001 |
192.73/29.80	c (29,0) c |  3 |    209 |     249616 |     191061 |    51488 |    51474 |    28912 |   194965 |     3110 |  0.001 |
192.73/29.80	c (29,0) c |  4 |    120 |     227734 |     175906 |    55111 |    36326 |    27853 |   180378 |     2378 |  0.001 |
210.28/31.96	c (31,0) c |  5 |    228 |     238805 |     182045 |    57112 |    42464 |    29244 |   183146 |     2984 |  0.001 |
210.28/31.96	c (31,0) c |  6 |    107 |     245674 |     191505 |    59100 |    51919 |    28780 |   197305 |     2898 |  0.001 |
210.28/31.96	c (31,0) c |  7 |     40 |     230309 |     179001 |    51660 |    39425 |    29188 |   170721 |     2444 |  0.000 |
210.28/31.96	c (31,0) c 
210.28/31.96	c (31,0) c synthesis     1451742 conflicts   304921776 propagations     8492 conflicts/sec  1783711 propagations/sec
210.28/31.96	c (31,0) c Total Memory so far : 648.86Mb
210.28/31.96	c (31,0) c last restart ## conflicts  :  1566 22 
210.28/31.96	c (31,0) c Thread 1 is 100% pure glucose! First thread to finish! (SAT answer).
210.28/31.96	c (31,0) c Total Memory so far : 650.94Mb
210.28/31.96	c (31,0) c
210.28/31.96	c (31,0) c real time : 23.7583 s
210.28/31.96	c (31,0) c cpu time  : 188.166 s
210.28/31.96	c (31,0) c
210.28/31.96	c (31,0) c
210.28/31.96	c (31,0) c
210.28/31.96	c (31,0) c |---------------------------------------- FINAL STATS --------------------------------------------------|
210.28/31.96	c (31,0) c
210.28/31.96	c (31,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
210.28/31.96	c (31,0) c | Threads       |      Total      |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
210.28/31.96	c (31,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
210.28/31.96	c (31,0) c | Conflicts     |         1575193 |     182310 |     203937 |     191473 |     207369 |     191557 |     196574 |     208257 |     193716 |
210.28/31.96	c (31,0) c | Decisions     |         2036328 |     239132 |     262209 |     243787 |     269704 |     247597 |     256395 |     267885 |     249619 |
210.28/31.96	c (31,0) c | Propagations  |       330782192 |   38222020 |   42827883 |   40865130 |   43046364 |   40303971 |   40758601 |   43835079 |   40923144 |
210.28/31.96	c (31,0) c | Avg_Trail     |                 |        854 |        885 |        867 |        878 |        851 |        872 |        843 |        875 |
210.28/31.96	c (31,0) c | Avg_DL        |                 |         17 |         17 |         17 |         18 |         17 |         18 |         16 |         17 |
210.28/31.96	c (31,0) c | Avg_Res       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
210.28/31.96	c (31,0) c | Avg_Res_Seen  |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
210.28/31.96	c (31,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
210.28/31.96	c (31,0) c | Exported      |          244405 |      28764 |      30771 |      29909 |      31124 |      30453 |      31490 |      30525 |      31369 |
210.28/31.96	c (31,0) c | Imported      |         1650651 |     199650 |     212291 |     194257 |     202156 |     203706 |     212281 |     213731 |     212579 |
210.28/31.96	c (31,0) c | Good          |             112 |         14 |         15 |         16 |         15 |         12 |         14 |         13 |         13 |
210.28/31.96	c (31,0) c | Purge         |         1650539 |     199636 |     212276 |     194241 |     202141 |     203694 |     212267 |     213718 |     212566 |
210.28/31.96	c (31,0) c | Promoted      |           24017 |       2830 |       2948 |       3157 |       3316 |       2705 |       3146 |       3174 |       2741 |
210.28/31.96	c (31,0) c | Remove_Imp    |         1111155 |     138408 |     143535 |     132521 |     146120 |     129532 |     154995 |     146174 |     119870 |
210.28/31.96	c (31,0) c | Blocked_Reuse |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
210.28/31.96	c (31,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
210.28/31.96	c (31,0) c | Unaries       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
210.28/31.96	c (31,0) c | Binaries      |                 |          2 |          1 |          0 |          1 |          4 |          2 |          3 |          3 |
210.28/31.96	c (31,0) c | Glues         |                 |        204 |        245 |        187 |        221 |        236 |        208 |        267 |        243 |
210.28/31.96	c (31,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
210.28/31.96	c (31,0) c | Orig_Seen     |            80 % |      55425 |      55518 |      50911 |      51638 |      56496 |      57308 |      59385 |      52210 |
210.28/31.96	c (31,0) c | Diff Orig seen|                 | -       93 |      X     | -     4607 | -     3880 |        978 |       1790 |       3867 | -     3308 |
210.28/31.96	c (31,0) c | Hamming       |            31 % |        539 |      X     |        566 |        510 |        537 |        482 |        533 |        610 |
210.28/31.96	c (31,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
210.28/31.96	c (31,0) 
210.28/31.96	c (31,0) s SATISFIABLE
210.28/31.97	c (31,7) SatSolver.solve End
210.28/31.97	c (31,7) Heap : 4393 MiB used (max 21589 MiB), NonHeap : 30 MiB used (max 0 MiB)
210.28/31.97	c (31,7) Show results Begin
210.28/31.98	c (31,7) x[0] = 19
210.28/31.98	c (31,7) x[1] = 16
210.28/31.98	c (31,7) x[2] = 2
210.28/31.98	c (31,7) x[3] = 9
210.28/31.98	c (31,7) x[4] = 2
210.28/31.98	c (31,7) x[5] = 7
210.28/31.98	c (31,7) x[6] = 8
210.28/31.98	c (31,7) x[7] = 6
210.28/31.98	c (31,7) x[8] = 5
210.28/31.98	c (31,7) x[9] = 21
210.28/31.98	c (31,7) x[10] = 21
210.28/31.98	c (31,7) x[11] = 21
210.28/31.98	c (31,7) x[12] = 16
210.28/31.98	c (31,7) x[13] = 6
210.28/31.98	c (31,7) x[14] = 12
210.28/31.98	c (31,7) x[15] = 0
210.28/31.98	c (31,7) x[16] = 14
210.28/31.98	c (31,7) x[17] = 18
210.28/31.98	c (31,7) x[18] = 1
210.28/31.98	c (31,7) x[19] = 15
210.28/31.98	c (31,7) x[20] = 14
210.28/31.98	c (31,7) x[21] = 8
210.28/31.98	c (31,7) x[22] = 9
210.28/31.98	c (31,7) x[23] = 0
210.28/31.98	c (31,7) x[24] = 3
210.28/31.98	c (31,7) x[25] = 20
210.28/31.98	c (31,7) x[26] = 14
210.28/31.98	c (31,7) x[27] = 14
210.28/31.98	c (31,7) x[28] = 2
210.28/31.98	c (31,7) x[29] = 24
210.28/31.98	c (31,7) x[30] = 13
210.28/31.98	c (31,7) x[31] = 8
210.28/31.98	c (31,7) x[32] = 24
210.28/31.98	c (31,7) x[33] = 12
210.28/31.98	c (31,7) x[34] = 22
210.28/31.98	c (31,7) x[35] = 10
210.28/31.98	c (31,7) x[36] = 15
210.28/31.98	c (31,7) x[37] = 2
210.28/31.98	c (31,7) x[38] = 17
210.28/31.98	c (31,7) x[39] = 18
210.28/31.98	c (31,7) x[40] = 17
210.28/31.98	c (31,7) x[41] = 12
210.28/31.98	c (31,7) x[42] = 3
210.28/31.98	c (31,7) x[43] = 23
210.28/31.98	c (31,7) x[44] = 14
210.28/31.98	c (31,7) x[45] = 24
210.28/31.98	c (31,7) x[46] = 6
210.28/31.98	c (31,7) x[47] = 23
210.28/31.98	c (31,7) x[48] = 4
210.28/31.98	c (31,7) x[49] = 20
210.28/31.98	c (31,7) x[50] = 8
210.28/31.98	c (31,7) x[51] = 12
210.28/31.98	c (31,7) x[52] = 8
210.28/31.98	c (31,7) x[53] = 23
210.28/31.98	c (31,7) x[54] = 2
210.28/31.98	c (31,7) x[55] = 15
210.28/31.98	s SATISFIABLE
210.28/31.98	v <instantiation>
210.28/31.98	v     <list>x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] x[20] x[21] x[22] x[23] x[24] x[25] x[26] x[27] x[28] x[29] x[30] x[31] x[32] x[33] x[34] x[35] x[36] x[37] x[38] x[39] x[40] x[41] x[42] x[43] x[44] x[45] x[46] x[47] x[48] x[49] x[50] x[51] x[52] x[53] x[54] x[55]</list>
210.28/31.98	v     <values>19 16 2 9 2 7 8 6 5 21 21 21 16 6 12 0 14 18 1 15 14 8 9 0 3 20 14 14 2 24 13 8 24 12 22 10 15 2 17 18 17 12 3 23 14 24 6 23 4 20 8 12 8 23 2 15</values>
210.28/31.98	v </instantiation>
210.28/31.98	c (31,7) Show results End
210.28/31.98	c (31,7) Heap : 4393 MiB used (max 21589 MiB), NonHeap : 30 MiB used (max 0 MiB)
210.28/31.98	c (31,7) 0,0,6,6,6,6,7,31,31,STOP-AFTER(ALL)
210.28/31.98	c END-Prog: Fri Jul 27 10:13:01 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 (10422 MiB free)
  memory of node 1: 16384 MiB (15832 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4297057-1532679149/watcher-4297057-1532679149 -o /tmp/evaluation-result-4297057-1532679149/solver-4297057-1532679149 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node102-1532674106-18648 --watchdog 2580 java -Xms22g -Xmx22g -Xss128m -jar HOME/scop.jar -order -solver HOME/glucose-syrup -solverOption -model:-nthreads=8:-maxmemory=10000 -tmp HOME HOME/instance-4297057-1532679149.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=18989, runsolver pid=18986
Current StackSize limit: 8192 KiB


[startup+0.100109 s]*
/proc/loadavg: 8.12 8.26 8.29 2/199 19009
/proc/meminfo: memFree=26788472/32770624 swapFree=67027684/67108860
[pid=18989] ppid=18986 vsize=27312552 memory=110668 CPUtime=0.1 cores=0-7
/proc/18989/stat : 18989 (java) S 18986 18989 18621 0 -1 1077944320 6669 0 0 0 8 2 0 0 20 0 20 0 85478035 27968053248 27667 33554432000 4194304 4196468 140737227572432 140737227554976 139862932909815 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 20717568 140737227580377 140737227580677 140737227580677 140737227583439 0
/proc/18989/statm: 6828138 27667 2748 1 0 6790598 0
[pid=18989/tid=18991] ppid=18986 vsize=27312552 memory=4134930498285298233 CPUtime=0.09 cores=0-7
/proc/18989/task/18991/stat : 18991 (java) R 18986 18989 18621 0 -1 4202560 4782 0 0 0 7 2 0 0 20 0 20 0 85478035 27968053248 27667 33554432000 4194304 4196468 140737227572432 139862904715288 139862911334937 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 20717568 140737227580377 140737227580677 140737227580677 140737227583439 0
[pid=18989/tid=18992] ppid=18986 vsize=27312552 memory=4126316290023845779 CPUtime=0 cores=0-7
/proc/18989/task/18992/stat : 18992 (java) S 18986 18989 18621 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 85478037 27968053248 27667 33554432000 4194304 4196468 140737227572432 139862937152016 139862932920021 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20717568 140737227580377 140737227580677 140737227580677 140737227583439 0
[pid=18989/tid=18993] ppid=18986 vsize=27312552 memory=139647627101824 CPUtime=0 cores=0-7
/proc/18989/task/18993/stat : 18993 (java) S 18986 18989 18621 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 85478037 27968053248 27667 33554432000 4194304 4196468 140737227572432 139862751308432 139862932920021 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20717568 140737227580377 140737227580677 140737227580677 140737227583439 0
[pid=18989/tid=18994] ppid=18986 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/18989/task/18994/stat : 18994 (java) S 18986 18989 18621 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 85478037 27968053248 27667 33554432000 4194304 4196468 140737227572432 139862750255376 139862932920021 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20717568 140737227580377 140737227580677 140737227580677 140737227583439 0
[pid=18989/tid=18995] ppid=18986 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/18989/task/18995/stat : 18995 (java) S 18986 18989 18621 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 85478037 27968053248 27667 33554432000 4194304 4196468 140737227572432 139862749202832 139862932920021 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20717568 140737227580377 140737227580677 140737227580677 140737227583439 0
[pid=18989/tid=18996] ppid=18986 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/18989/task/18996/stat : 18996 (java) S 18986 18989 18621 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 85478037 27968053248 27667 33554432000 4194304 4196468 140737227572432 139862748150800 139862932920021 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20717568 140737227580377 140737227580677 140737227580677 140737227583439 0
[pid=18989/tid=18997] ppid=18986 vsize=27312552 memory=-1 CPUtime=0 cores=0-7
/proc/18989/task/18997/stat : 18997 (java) S 18986 18989 18621 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 85478037 27968053248 27667 33554432000 4194304 4196468 140737227572432 139862747098256 139862932920021 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20717568 140737227580377 140737227580677 140737227580677 140737227583439 0
[pid=18989/tid=18998] ppid=18986 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/18989/task/18998/stat : 18998 (java) S 18986 18989 18621 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 85478037 27968053248 27667 33554432000 4194304 4196468 140737227572432 139862746045200 139862932920021 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20717568 140737227580377 140737227580677 140737227580677 140737227583439 0
[pid=18989/tid=18999] ppid=18986 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/18989/task/18999/stat : 18999 (java) S 18986 18989 18621 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 85478037 27968053248 27667 33554432000 4194304 4196468 140737227572432 139862744992656 139862932920021 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20717568 140737227580377 140737227580677 140737227580677 140737227583439 0
[pid=18989/tid=19000] ppid=18986 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/18989/task/19000/stat : 19000 (java) S 18986 18989 18621 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 85478039 27968053248 27667 33554432000 4194304 4196468 140737227572432 139861185984752 139862932920962 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20717568 140737227580377 140737227580677 140737227580677 140737227583439 0
[pid=18989/tid=19001] ppid=18986 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/18989/task/19001/stat : 19001 (java) S 18986 18989 18621 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 20 0 85478039 27968053248 27667 33554432000 4194304 4196468 140737227572432 139860845257888 139862932920021 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20717568 140737227580377 140737227580677 140737227580677 140737227583439 0
[pid=18989/tid=19002] ppid=18986 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/18989/task/19002/stat : 19002 (java) S 18986 18989 18621 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 85478040 27968053248 27667 33554432000 4194304 4196468 140737227572432 139860576822000 139862932920021 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20717568 140737227580377 140737227580677 140737227580677 140737227583439 0
[pid=18989/tid=19003] ppid=18986 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/18989/task/19003/stat : 19003 (java) S 18986 18989 18621 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 85478042 27968053248 27667 33554432000 4194304 4196468 140737227572432 139860202313680 139862932928411 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20717568 140737227580377 140737227580677 140737227580677 140737227583439 0
[pid=18989/tid=19004] ppid=18986 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/18989/task/19004/stat : 19004 (java) S 18986 18989 18621 0 -1 1077944384 310 0 0 0 0 0 0 0 20 0 20 0 85478042 27968053248 27667 33554432000 4194304 4196468 140737227572432 139861184932592 139862932920962 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20717568 140737227580377 140737227580677 140737227580677 140737227583439 0
[pid=18989/tid=19005] ppid=18986 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/18989/task/19005/stat : 19005 (java) S 18986 18989 18621 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 85478042 27968053248 27667 33554432000 4194304 4196468 140737227572432 139861183880048 139862932920962 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20717568 140737227580377 140737227580677 140737227580677 140737227583439 0
[pid=18989/tid=19006] ppid=18986 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/18989/task/19006/stat : 19006 (java) S 18986 18989 18621 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 85478042 27968053248 27667 33554432000 4194304 4196468 140737227572432 139861182826992 139862932920962 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20717568 140737227580377 140737227580677 140737227580677 140737227583439 0
[pid=18989/tid=19007] ppid=18986 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/18989/task/19007/stat : 19007 (java) S 18986 18989 18621 0 -1 1077944384 239 0 0 0 0 0 0 0 20 0 20 0 85478042 27968053248 27667 33554432000 4194304 4196468 140737227572432 139861113694832 139862932920962 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20717568 140737227580377 140737227580677 140737227580677 140737227583439 0
[pid=18989/tid=19008] ppid=18986 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/18989/task/19008/stat : 19008 (java) S 18986 18989 18621 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 85478042 27968053248 27667 33554432000 4194304 4196468 140737227572432 139859704408544 139862932920021 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20717568 140737227580377 140737227580677 140737227580677 140737227583439 0
[pid=18989/tid=19009] ppid=18986 vsize=27312552 memory=-1 CPUtime=0 cores=0-7
/proc/18989/task/19009/stat : 19009 (java) S 18986 18989 18621 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 85478043 27968053248 27667 33554432000 4194304 4196468 140737227572432 139861112642224 139862932920962 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20717568 140737227580377 140737227580677 140737227580677 140737227583439 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 27312552 KiB
Current children cumulated memory: 110668 KiB

[startup+0.209727 s]*
/proc/loadavg: 8.12 8.26 8.29 2/199 19009
/proc/meminfo: memFree=26769688/32770624 swapFree=67027684/67108860
[pid=18989] ppid=18986 vsize=27312552 memory=125068 CPUtime=0.25 cores=0-7
/proc/18989/stat : 18989 (java) S 18986 18989 18621 0 -1 1077944320 10531 0 0 0 21 4 0 0 20 0 20 0 85478035 27968053248 31267 33554432000 4194304 4196468 140737227572432 140737227554976 139862932909815 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 20717568 140737227580377 140737227580677 140737227580677 140737227583439 0
/proc/18989/statm: 6828138 31267 2866 1 0 6790598 0
[pid=18989/tid=18991] ppid=18986 vsize=27312552 memory=4026531975 CPUtime=0.2 cores=0-7
/proc/18989/task/18991/stat : 18991 (java) R 18986 18989 18621 0 -1 4202560 8423 0 0 0 17 3 0 0 20 0 20 0 85478035 27968053248 31267 33554432000 4194304 4196468 140737227572432 139862904708560 139862932931741 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 20717568 140737227580377 140737227580677 140737227580677 140737227583439 0
[pid=18989/tid=18992] ppid=18986 vsize=27312552 memory=9237 CPUtime=0 cores=0-7
/proc/18989/task/18992/stat : 18992 (java) S 18986 18989 18621 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 85478037 27968053248 31267 33554432000 4194304 4196468 140737227572432 139862937152016 139862932920021 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20717568 140737227580377 140737227580677 140737227580677 140737227583439 0
[pid=18989/tid=18993] ppid=18986 vsize=27312552 memory=139647627602195 CPUtime=0 cores=0-7
/proc/18989/task/18993/stat : 18993 (java) S 18986 18989 18621 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 85478037 27968053248 31267 33554432000 4194304 4196468 140737227572432 139862751308432 139862932920021 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20717568 140737227580377 140737227580677 140737227580677 140737227583439 0
[pid=18989/tid=18994] ppid=18986 vsize=27312552 memory=-1 CPUtime=0 cores=0-7
/proc/18989/task/18994/stat : 18994 (java) S 18986 18989 18621 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 85478037 27968053248 31267 33554432000 4194304 4196468 140737227572432 139862750255376 139862932920021 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20717568 140737227580377 140737227580677 140737227580677 140737227583439 0
[pid=18989/tid=18995] ppid=18986 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/18989/task/18995/stat : 18995 (java) S 18986 18989 18621 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 85478037 27968053248 31267 33554432000 4194304 4196468 140737227572432 139862749202832 139862932920021 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20717568 140737227580377 140737227580677 140737227580677 140737227583439 0
[pid=18989/tid=18996] ppid=18986 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/18989/task/18996/stat : 18996 (java) S 18986 18989 18621 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 85478037 27968053248 31267 33554432000 4194304 4196468 140737227572432 139862748150800 139862932920021 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20717568 140737227580377 140737227580677 140737227580677 140737227583439 0
[pid=18989/tid=18997] ppid=18986 vsize=27312552 memory=-1 CPUtime=0 cores=0-7
/proc/18989/task/18997/stat : 18997 (java) S 18986 18989 18621 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 85478037 27968053248 31267 33554432000 4194304 4196468 140737227572432 139862747098256 139862932920021 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20717568 140737227580377 140737227580677 140737227580677 140737227583439 0
[pid=18989/tid=18998] ppid=18986 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/18989/task/18998/stat : 18998 (java) S 18986 18989 18621 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 85478037 27968053248 31267 33554432000 4194304 4196468 140737227572432 139862746045200 139862932920021 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20717568 140737227580377 140737227580677 140737227580677 140737227583439 0
[pid=18989/tid=18999] ppid=18986 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/18989/task/18999/stat : 18999 (java) S 18986 18989 18621 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 85478037 27968053248 31267 33554432000 4194304 4196468 140737227572432 139862744992656 139862932920021 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20717568 140737227580377 140737227580677 140737227580677 140737227583439 0
[pid=18989/tid=19000] ppid=18986 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/18989/task/19000/stat : 19000 (java) S 18986 18989 18621 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 85478039 27968053248 31267 33554432000 4194304 4196468 140737227572432 139861185984752 139862932920962 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20717568 140737227580377 140737227580677 140737227580677 140737227583439 0
[pid=18989/tid=19001] ppid=18986 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/18989/task/19001/stat : 19001 (java) S 18986 18989 18621 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 20 0 85478039 27968053248 31267 33554432000 4194304 4196468 140737227572432 139860845257888 139862932920021 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20717568 140737227580377 140737227580677 140737227580677 140737227583439 0
[pid=18989/tid=19002] ppid=18986 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/18989/task/19002/stat : 19002 (java) S 18986 18989 18621 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 85478040 27968053248 31267 33554432000 4194304 4196468 140737227572432 139860576822000 139862932920021 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20717568 140737227580377 140737227580677 140737227580677 140737227583439 0
[pid=18989/tid=19003] ppid=18986 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/18989/task/19003/stat : 19003 (java) S 18986 18989 18621 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 85478042 27968053248 31267 33554432000 4194304 4196468 140737227572432 139860202313680 139862932928411 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20717568 140737227580377 140737227580677 140737227580677 140737227583439 0
[pid=18989/tid=19004] ppid=18986 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/18989/task/19004/stat : 19004 (java) S 18986 18989 18621 0 -1 1077944384 345 0 0 0 0 0 0 0 20 0 20 0 85478042 27968053248 31267 33554432000 4194304 4196468 140737227572432 139861184932592 139862932920962 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20717568 140737227580377 140737227580677 140737227580677 140737227583439 0
[pid=18989/tid=19005] ppid=18986 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/18989/task/19005/stat : 19005 (java) S 18986 18989 18621 0 -1 1077944384 130 0 0 0 0 0 0 0 20 0 20 0 85478042 27968053248 31267 33554432000 4194304 4196468 140737227572432 139861183880048 139862932920962 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20717568 140737227580377 140737227580677 140737227580677 140737227583439 0
[pid=18989/tid=19006] ppid=18986 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/18989/task/19006/stat : 19006 (java) S 18986 18989 18621 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 85478042 27968053248 31267 33554432000 4194304 4196468 140737227572432 139861182826992 139862932920962 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20717568 140737227580377 140737227580677 140737227580677 140737227583439 0
[pid=18989/tid=19007] ppid=18986 vsize=27312552 memory=0 CPUtime=0.02 cores=0-7
/proc/18989/task/19007/stat : 19007 (java) S 18986 18989 18621 0 -1 1077944384 285 0 0 0 2 0 0 0 20 0 20 0 85478042 27968053248 31267 33554432000 4194304 4196468 140737227572432 139861113694832 139862932920962 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20717568 140737227580377 140737227580677 140737227580677 140737227583439 0
[pid=18989/tid=19008] ppid=18986 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/18989/task/19008/stat : 19008 (java) S 18986 18989 18621 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 85478042 27968053248 31267 33554432000 4194304 4196468 140737227572432 139859704408544 139862932920021 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20717568 140737227580377 140737227580677 140737227580677 140737227583439 0
[pid=18989/tid=19009] ppid=18986 vsize=27312552 memory=-1 CPUtime=0 cores=0-7
/proc/18989/task/19009/stat : 19009 (java) S 18986 18989 18621 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 85478043 27968053248 31267 33554432000 4194304 4196468 140737227572432 139861112642224 139862932920962 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20717568 140737227580377 140737227580677 140737227580677 140737227583439 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 27312552 KiB
Current children cumulated memory: 125068 KiB

[startup+0.3094 s]*
/proc/loadavg: 8.12 8.26 8.29 2/199 19009
/proc/meminfo: memFree=26766764/32770624 swapFree=67027684/67108860
[pid=18989] ppid=18986 vsize=27312552 memory=129360 CPUtime=0.41 cores=0-7
/proc/18989/stat : 18989 (java) S 18986 18989 18621 0 -1 1077944320 11183 0 0 0 37 4 0 0 20 0 20 0 85478035 27968053248 32340 33554432000 4194304 4196468 140737227572432 140737227554976 139862932909815 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 20717568 140737227580377 140737227580677 140737227580677 140737227583439 0
/proc/18989/statm: 6828138 32340 2972 1 0 6790598 0
[pid=18989/tid=18991] ppid=18986 vsize=27312552 memory=6791534058613427641 CPUtime=0.29 cores=0-7
/proc/18989/task/18991/stat : 18991 (java) R 18986 18989 18621 0 -1 4202560 8878 0 0 0 26 3 0 0 20 0 20 0 85478035 27968053248 32340 33554432000 4194304 4196468 140737227572432 139862904713744 139862914473331 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 20717568 140737227580377 140737227580677 140737227580677 140737227583439 0
[pid=18989/tid=18992] ppid=18986 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/18989/task/18992/stat : 18992 (java) S 18986 18989 18621 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 85478037 27968053248 32340 33554432000 4194304 4196468 140737227572432 139862937152016 139862932920021 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20717568 140737227580377 140737227580677 140737227580677 140737227583439 0
[pid=18989/tid=18993] ppid=18986 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/18989/task/18993/stat : 18993 (java) S 18986 18989 18621 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 85478037 27968053248 32340 33554432000 4194304 4196468 140737227572432 139862751308432 139862932920021 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20717568 140737227580377 140737227580677 140737227580677 140737227583439 0
[pid=18989/tid=18994] ppid=18986 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/18989/task/18994/stat : 18994 (java) S 18986 18989 18621 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 85478037 27968053248 32340 33554432000 4194304 4196468 140737227572432 139862750255376 139862932920021 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20717568 140737227580377 140737227580677 140737227580677 140737227583439 0
[pid=18989/tid=18995] ppid=18986 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/18989/task/18995/stat : 18995 (java) S 18986 18989 18621 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 85478037 27968053248 32340 33554432000 4194304 4196468 140737227572432 139862749202832 139862932920021 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20717568 140737227580377 140737227580677 140737227580677 140737227583439 0
[pid=18989/tid=18996] ppid=18986 vsize=27312552 memory=2244 CPUtime=0 cores=0-7
/proc/18989/task/18996/stat : 18996 (java) S 18986 18989 18621 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 85478037 27968053248 32340 33554432000 4194304 4196468 140737227572432 139862748150800 139862932920021 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20717568 140737227580377 140737227580677 140737227580677 140737227583439 0
[pid=18989/tid=18997] ppid=18986 vsize=27312552 memory=139647506281391 CPUtime=0 cores=0-7
/proc/18989/task/18997/stat : 18997 (java) S 18986 18989 18621 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 85478037 27968053248 32340 33554432000 4194304 4196468 140737227572432 139862747098256 139862932920021 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20717568 140737227580377 140737227580677 140737227580677 140737227583439 0
[pid=18989/tid=18998] ppid=18986 vsize=27312552 memory=139647506283696 CPUtime=0 cores=0-7
/proc/18989/task/18998/stat : 18998 (java) S 18986 18989 18621 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 85478037 27968053248 32340 33554432000 4194304 4196468 140737227572432 139862746045200 139862932920021 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20717568 140737227580377 140737227580677 140737227580677 140737227583439 0
[pid=18989/tid=18999] ppid=18986 vsize=27312552 memory=139647506286000 CPUtime=0 cores=0-7
/proc/18989/task/18999/stat : 18999 (java) S 18986 18989 18621 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 85478037 27968053248 32340 33554432000 4194304 4196468 140737227572432 139862744992656 139862932920021 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20717568 140737227580377 140737227580677 140737227580677 140737227583439 0
[pid=18989/tid=19000] ppid=18986 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/18989/task/19000/stat : 19000 (java) S 18986 18989 18621 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 85478039 27968053248 32340 33554432000 4194304 4196468 140737227572432 139861185984752 139862932920962 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20717568 140737227580377 140737227580677 140737227580677 140737227583439 0
[pid=18989/tid=19001] ppid=18986 vsize=27312552 memory=279295012578960 CPUtime=0 cores=0-7
/proc/18989/task/19001/stat : 19001 (java) S 18986 18989 18621 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 20 0 85478039 27968053248 32340 33554432000 4194304 4196468 140737227572432 139860845257888 139862932920021 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20717568 140737227580377 140737227580677 140737227580677 140737227583439 0
[pid=18989/tid=19002] ppid=18986 vsize=27312552 memory=279295012585872 CPUtime=0 cores=0-7
/proc/18989/task/19002/stat : 19002 (java) S 18986 18989 18621 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 85478040 27968053248 32340 33554432000 4194304 4196468 140737227572432 139860576822000 139862932920021 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20717568 140737227580377 140737227580677 140737227580677 140737227583439 0
[pid=18989/tid=19003] ppid=18986 vsize=27312552 memory=279295012527024 CPUtime=0 cores=0-7
/proc/18989/task/19003/stat : 19003 (java) S 18986 18989 18621 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 85478042 27968053248 32340 33554432000 4194304 4196468 140737227572432 139860202313680 139862932928411 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20717568 140737227580377 140737227580677 140737227580677 140737227583439 0
[pid=18989/tid=19004] ppid=18986 vsize=27312552 memory=279295012599696 CPUtime=0.01 cores=0-7
/proc/18989/task/19004/stat : 19004 (java) S 18986 18989 18621 0 -1 1077944384 359 0 0 0 1 0 0 0 20 0 20 0 85478042 27968053248 32340 33554432000 4194304 4196468 140737227572432 139861184932592 139862932920962 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20717568 140737227580377 140737227580677 140737227580677 140737227583439 0
[pid=18989/tid=19005] ppid=18986 vsize=27312552 memory=279295012606608 CPUtime=0.01 cores=0-7
/proc/18989/task/19005/stat : 19005 (java) S 18986 18989 18621 0 -1 1077944384 178 0 0 0 1 0 0 0 20 0 20 0 85478042 27968053248 32340 33554432000 4194304 4196468 140737227572432 139861183880048 139862932920962 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20717568 140737227580377 140737227580677 140737227580677 140737227583439 0
[pid=18989/tid=19006] ppid=18986 vsize=27312552 memory=279295012604304 CPUtime=0.01 cores=0-7
/proc/18989/task/19006/stat : 19006 (java) S 18986 18989 18621 0 -1 1077944384 92 0 0 0 1 0 0 0 20 0 20 0 85478042 27968053248 32340 33554432000 4194304 4196468 140737227572432 139861182826992 139862932920962 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20717568 140737227580377 140737227580677 140737227580677 140737227583439 0
[pid=18989/tid=19007] ppid=18986 vsize=27312552 memory=279295012620912 CPUtime=0.07 cores=0-7
/proc/18989/task/19007/stat : 19007 (java) S 18986 18989 18621 0 -1 1077944384 331 0 0 0 7 0 0 0 20 0 20 0 85478042 27968053248 32340 33554432000 4194304 4196468 140737227572432 139861113694832 139862932920962 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20717568 140737227580377 140737227580677 140737227580677 140737227583439 0
[pid=18989/tid=19008] ppid=18986 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/18989/task/19008/stat : 19008 (java) S 18986 18989 18621 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 85478042 27968053248 32340 33554432000 4194304 4196468 140737227572432 139859704408544 139862932920021 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20717568 140737227580377 140737227580677 140737227580677 140737227583439 0
[pid=18989/tid=19009] ppid=18986 vsize=27312552 memory=-1 CPUtime=0 cores=0-7
/proc/18989/task/19009/stat : 19009 (java) S 18986 18989 18621 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 85478043 27968053248 32340 33554432000 4194304 4196468 140737227572432 139861112642224 139862932920962 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20717568 140737227580377 140737227580677 140737227580677 140737227583439 0
Current children cumulated CPU time: 0.41 s
Current children cumulated vsize: 27312552 KiB
Current children cumulated memory: 129360 KiB

[startup+0.700823 s]
/proc/loadavg: 8.12 8.26 8.29 2/199 19009
/proc/meminfo: memFree=26743248/32770624 swapFree=67027684/67108860
[pid=18989] ppid=18986 vsize=27318824 memory=167188 CPUtime=1 cores=0-7
/proc/18989/stat : 18989 (java) S 18986 18989 18621 0 -1 1077944320 18273 0 0 0 94 6 0 0 20 0 20 0 85478035 27974475776 41797 33554432000 4194304 4196468 140737227572432 140737227554976 139862932909815 0 0 0 25189583 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 20717568 140737227580377 140737227580677 140737227580677 140737227583439 0
/proc/18989/statm: 6829706 41797 3137 1 0 6791110 0
[pid=18989/tid=18991] ppid=18986 vsize=27318824 memory=0 CPUtime=0.67 cores=0-7
/proc/18989/task/18991/stat : 18991 (java) R 18986 18989 18621 0 -1 4202560 15394 0 0 0 62 5 0 0 20 0 20 0 85478035 27974475776 41797 33554432000 4194304 4196468 140737227572432 139862904744928 139862932931741 0 4 0 25189583 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 20717568 140737227580377 140737227580677 140737227580677 140737227583439 0
[pid=18989/tid=18992] ppid=18986 vsize=27318824 memory=0 CPUtime=0 cores=0-7
/proc/18989/task/18992/stat : 18992 (java) S 18986 18989 18621 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 85478037 27974475776 41797 33554432000 4194304 4196468 140737227572432 139862937152016 139862932920021 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20717568 140737227580377 140737227580677 140737227580677 140737227583439 0
[pid=18989/tid=18993] ppid=18986 vsize=27318824 memory=0 CPUtime=0 cores=0-7
/proc/18989/task/18993/stat : 18993 (java) S 18986 18989 18621 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 85478037 27974475776 41797 33554432000 4194304 4196468 140737227572432 139862751308432 139862932920021 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20717568 140737227580377 140737227580677 140737227580677 140737227583439 0
[pid=18989/tid=18994] ppid=18986 vsize=27318824 memory=0 CPUtime=0 cores=0-7
/proc/18989/task/18994/stat : 18994 (java) S 18986 18989 18621 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 85478037 27974475776 41797 33554432000 4194304 4196468 140737227572432 139862750255376 139862932920021 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20717568 140737227580377 140737227580677 140737227580677 140737227583439 0
[pid=18989/tid=18995] ppid=18986 vsize=27318824 memory=3008 CPUtime=0 cores=0-7
/proc/18989/task/18995/stat : 18995 (java) S 18986 18989 18621 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 85478037 27974475776 41797 33554432000 4194304 4196468 140737227572432 139862749202832 139862932920021 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20717568 140737227580377 140737227580677 140737227580677 140737227583439 0
[pid=18989/tid=18996] ppid=18986 vsize=27318824 memory=2764 CPUtime=0 cores=0-7
/proc/18989/task/18996/stat : 18996 (java) S 18986 18989 18621 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 85478037 27974475776 41797 33554432000 4194304 4196468 140737227572432 139862748150800 139862932920021 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20717568 140737227580377 140737227580677 140737227580677 140737227583439 0
[pid=18989/tid=18997] ppid=18986 vsize=27318824 memory=796 CPUtime=0 cores=0-7
/proc/18989/task/18997/stat : 18997 (java) S 18986 18989 18621 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 85478037 27974475776 41797 33554432000 4194304 4196468 140737227572432 139862747098256 139862932920021 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20717568 140737227580377 140737227580677 140737227580677 140737227583439 0
[pid=18989/tid=18998] ppid=18986 vsize=27318824 memory=1008 CPUtime=0 cores=0-7
/proc/18989/task/18998/stat : 18998 (java) S 18986 18989 18621 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 85478037 27974475776 41797 33554432000 4194304 4196468 140737227572432 139862746045200 139862932920021 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20717568 140737227580377 140737227580677 140737227580677 140737227583439 0
[pid=18989/tid=18999] ppid=18986 vsize=27318824 memory=15316 CPUtime=0 cores=0-7
/proc/18989/task/18999/stat : 18999 (java) S 18986 18989 18621 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 85478037 27974475776 41797 33554432000 4194304 4196468 140737227572432 139862744992656 139862932920021 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20717568 140737227580377 140737227580677 140737227580677 140737227583439 0
[pid=18989/tid=19000] ppid=18986 vsize=27318824 memory=3604 CPUtime=0 cores=0-7
/proc/18989/task/19000/stat : 19000 (java) S 18986 18989 18621 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 85478039 27974475776 41797 33554432000 4194304 4196468 140737227572432 139861185984752 139862932920962 0 0 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20717568 140737227580377 140737227580677 140737227580677 140737227583439 0

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

Current children cumulated vsize: 28649800 KiB
Current children cumulated memory: 4178136 KiB

[startup+31.2016 s]
/proc/loadavg: 7.51 8.07 8.22 9/212 19023
/proc/meminfo: memFree=22710992/32770624 swapFree=67027684/67108860
[pid=18989] ppid=18986 vsize=27984808 memory=3924896 CPUtime=22.16 cores=0-7
/proc/18989/stat : 18989 (java) S 18986 18989 18621 0 -1 1077944320 41552 0 0 0 2145 71 0 0 20 0 24 0 85478035 28656443392 981224 33554432000 4194304 4196468 140737227572432 140737227554976 139862932909815 0 0 0 25189583 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 20717568 140737227580377 140737227580677 140737227580677 140737227583439 0
/proc/18989/statm: 6996202 981224 3228 1 0 6957058 0
[pid=19010] ppid=18989 vsize=665796 memory=254012 CPUtime=182.54 cores=0-7
/proc/19010/stat : 19010 (glucose-syrup) S 18989 18989 18621 0 -1 1077944320 129193 0 0 0 18212 42 0 0 20 0 9 0 85478854 681775104 63503 33554432000 4194304 4373367 140720917807936 140720917806480 140322581232258 0 4 0 8388610 18446744073709551615 0 0 17 0 0 0 0 0 0 6470912 6472264 23478272 140720917816239 140720917816492 140720917816492 140720917819335 0
/proc/19010/statm: 166449 63503 382 44 0 162137 0
[pid=19010/tid=19016] ppid=18989 vsize=665796 memory=796 CPUtime=22.86 cores=0-7
/proc/19010/task/19016/stat : 19016 (glucose-syrup) R 18989 18989 18621 0 -1 4202560 16572 0 0 0 2280 6 0 0 20 0 9 0 85478866 681775104 63503 33554432000 4194304 4373367 140720917807936 140322558799216 4271856 0 4 0 8388610 0 0 0 -1 3 0 0 0 0 0 6470912 6472264 23478272 140720917816239 140720917816492 140720917816492 140720917819335 0
[pid=19010/tid=19017] ppid=18989 vsize=665796 memory=1008 CPUtime=22.87 cores=0-7
/proc/19010/task/19017/stat : 19017 (glucose-syrup) R 18989 18989 18621 0 -1 4202560 16634 0 0 0 2283 4 0 0 20 0 9 0 85478866 681775104 63503 33554432000 4194304 4373367 140720917807936 140322550406288 4290913 0 4 0 8388610 0 0 0 -1 2 0 0 0 0 0 6470912 6472264 23478272 140720917816239 140720917816492 140720917816492 140720917819335 0
[pid=19010/tid=19018] ppid=18989 vsize=665796 memory=3924896 CPUtime=22.85 cores=0-7
/proc/19010/task/19018/stat : 19018 (glucose-syrup) R 18989 18989 18621 0 -1 4202560 14198 0 0 0 2280 5 0 0 20 0 9 0 85478866 681775104 63503 33554432000 4194304 4373367 140720917807936 140322542013808 4271828 0 4 0 8388610 0 0 0 -1 1 0 0 0 0 0 6470912 6472264 23478272 140720917816239 140720917816492 140720917816492 140720917819335 0
[pid=19010/tid=19019] ppid=18989 vsize=665796 memory=251268 CPUtime=22.87 cores=0-7
/proc/19010/task/19019/stat : 19019 (glucose-syrup) R 18989 18989 18621 0 -1 4202560 14165 0 0 0 2281 6 0 0 20 0 9 0 85478866 681775104 63503 33554432000 4194304 4373367 140720917807936 140322533621104 4271897 0 4 0 8388610 0 0 0 -1 0 0 0 0 0 0 6470912 6472264 23478272 140720917816239 140720917816492 140720917816492 140720917819335 0
[pid=19010/tid=19020] ppid=18989 vsize=665796 memory=1460 CPUtime=22.56 cores=0-7
/proc/19010/task/19020/stat : 19020 (glucose-syrup) R 18989 18989 18621 0 -1 4202560 16741 0 0 0 2251 5 0 0 20 0 9 0 85478866 681775104 63503 33554432000 4194304 4373367 140720917807936 140322525228176 4271828 0 4 0 8388610 0 0 0 -1 7 0 0 0 0 0 6470912 6472264 23478272 140720917816239 140720917816492 140720917816492 140720917819335 0
[pid=19010/tid=19021] ppid=18989 vsize=665796 memory=2160 CPUtime=22.63 cores=0-7
/proc/19010/task/19021/stat : 19021 (glucose-syrup) R 18989 18989 18621 0 -1 4202560 14221 0 0 0 2258 5 0 0 20 0 9 0 85478866 681775104 63503 33554432000 4194304 4373367 140720917807936 140322516835696 4271897 0 4 0 8388610 0 0 0 -1 5 0 0 0 0 0 6470912 6472264 23478272 140720917816239 140720917816492 140720917816492 140720917819335 0
[pid=19010/tid=19022] ppid=18989 vsize=665796 memory=6768 CPUtime=22.85 cores=0-7
/proc/19010/task/19022/stat : 19022 (glucose-syrup) R 18989 18989 18621 0 -1 4202560 14710 0 0 0 2281 4 0 0 20 0 9 0 85478866 681775104 63503 33554432000 4194304 4373367 140720917807936 140322508442896 4271810 0 4 0 8388610 0 0 0 -1 4 0 0 0 0 0 6470912 6472264 23478272 140720917816239 140720917816492 140720917816492 140720917819335 0
[pid=19010/tid=19023] ppid=18989 vsize=665796 memory=824 CPUtime=22.87 cores=0-7
/proc/19010/task/19023/stat : 19023 (glucose-syrup) R 18989 18989 18621 0 -1 4202560 15024 0 0 0 2284 3 0 0 20 0 9 0 85478866 681775104 63503 33554432000 4194304 4373367 140720917807936 140322500050288 4292010 0 4 0 8388610 0 0 0 -1 6 0 0 0 0 0 6470912 6472264 23478272 140720917816239 140720917816492 140720917816492 140720917819335 0
[pid=18989/tid=18991] ppid=18986 vsize=27984808 memory=1796 CPUtime=8.2 cores=0-7
/proc/18989/task/18991/stat : 18991 (java) S 18986 18989 18621 0 -1 1077944384 20587 0 0 0 758 62 0 0 20 0 24 0 85478035 28656443392 981224 33554432000 4194304 4196468 140737227572432 139862904749056 139862932920021 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20717568 140737227580377 140737227580677 140737227580677 140737227583439 0
[pid=18989/tid=18992] ppid=18986 vsize=27984808 memory=916 CPUtime=0 cores=0-7
/proc/18989/task/18992/stat : 18992 (java) S 18986 18989 18621 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 85478037 28656443392 981224 33554432000 4194304 4196468 140737227572432 139862937152016 139862932920021 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20717568 140737227580377 140737227580677 140737227580677 140737227583439 0
[pid=18989/tid=18993] ppid=18986 vsize=27984808 memory=4144 CPUtime=0 cores=0-7
/proc/18989/task/18993/stat : 18993 (java) S 18986 18989 18621 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 85478037 28656443392 981224 33554432000 4194304 4196468 140737227572432 139862751308432 139862932920021 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20717568 140737227580377 140737227580677 140737227580677 140737227583439 0
[pid=18989/tid=18994] ppid=18986 vsize=27984808 memory=4100 CPUtime=0 cores=0-7
/proc/18989/task/18994/stat : 18994 (java) S 18986 18989 18621 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 85478037 28656443392 981224 33554432000 4194304 4196468 140737227572432 139862750255376 139862932920021 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20717568 140737227580377 140737227580677 140737227580677 140737227583439 0
[pid=18989/tid=18995] ppid=18986 vsize=27984808 memory=1408 CPUtime=0 cores=0-7
/proc/18989/task/18995/stat : 18995 (java) S 18986 18989 18621 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 85478037 28656443392 981224 33554432000 4194304 4196468 140737227572432 139862749202832 139862932920021 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20717568 140737227580377 140737227580677 140737227580677 140737227583439 0
[pid=18989/tid=18996] ppid=18986 vsize=27984808 memory=3276 CPUtime=0 cores=0-7
/proc/18989/task/18996/stat : 18996 (java) S 18986 18989 18621 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 85478037 28656443392 981224 33554432000 4194304 4196468 140737227572432 139862748150800 139862932920021 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20717568 140737227580377 140737227580677 140737227580677 140737227583439 0
[pid=18989/tid=18997] ppid=18986 vsize=27984808 memory=3924896 CPUtime=0 cores=0-7
/proc/18989/task/18997/stat : 18997 (java) S 18986 18989 18621 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 85478037 28656443392 981224 33554432000 4194304 4196468 140737227572432 139862747098256 139862932920021 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20717568 140737227580377 140737227580677 140737227580677 140737227583439 0
[pid=18989/tid=18998] ppid=18986 vsize=27984808 memory=251548 CPUtime=0 cores=0-7
/proc/18989/task/18998/stat : 18998 (java) S 18986 18989 18621 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 85478037 28656443392 981224 33554432000 4194304 4196468 140737227572432 139862746045200 139862932920021 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20717568 140737227580377 140737227580677 140737227580677 140737227583439 0
[pid=18989/tid=18999] ppid=18986 vsize=27984808 memory=-5155625782510644613 CPUtime=0 cores=0-7
/proc/18989/task/18999/stat : 18999 (java) S 18986 18989 18621 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 85478037 28656443392 981224 33554432000 4194304 4196468 140737227572432 139862744992656 139862932920021 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20717568 140737227580377 140737227580677 140737227580677 140737227583439 0
[pid=18989/tid=19000] ppid=18986 vsize=27984808 memory=4126316290023845779 CPUtime=0 cores=0-7
/proc/18989/task/19000/stat : 19000 (java) S 18986 18989 18621 0 -1 1077944384 11 0 0 0 0 0 0 0 20 0 24 0 85478039 28656443392 981224 33554432000 4194304 4196468 140737227572432 139861185984752 139862932920962 0 0 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20717568 140737227580377 140737227580677 140737227580677 140737227583439 0
[pid=18989/tid=19001] ppid=18986 vsize=27984808 memory=-5155625782510644613 CPUtime=0 cores=0-7
/proc/18989/task/19001/stat : 19001 (java) S 18986 18989 18621 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 24 0 85478039 28656443392 981224 33554432000 4194304 4196468 140737227572432 139860845257888 139862932920021 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20717568 140737227580377 140737227580677 140737227580677 140737227583439 0
[pid=18989/tid=19002] ppid=18986 vsize=27984808 memory=0 CPUtime=0 cores=0-7
/proc/18989/task/19002/stat : 19002 (java) S 18986 18989 18621 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 85478040 28656443392 981224 33554432000 4194304 4196468 140737227572432 139860576822000 139862932920021 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20717568 140737227580377 140737227580677 140737227580677 140737227583439 0
[pid=18989/tid=19003] ppid=18986 vsize=27984808 memory=0 CPUtime=0 cores=0-7
/proc/18989/task/19003/stat : 19003 (java) S 18986 18989 18621 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 85478042 28656443392 981224 33554432000 4194304 4196468 140737227572432 139860202313680 139862932928411 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20717568 140737227580377 140737227580677 140737227580677 140737227583439 0
[pid=18989/tid=19004] ppid=18986 vsize=27984808 memory=0 CPUtime=4.14 cores=0-7
/proc/18989/task/19004/stat : 19004 (java) S 18986 18989 18621 0 -1 1077944384 4036 0 0 0 412 2 0 0 20 0 24 0 85478042 28656443392 981224 33554432000 4194304 4196468 140737227572432 139861184932592 139862932920962 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20717568 140737227580377 140737227580677 140737227580677 140737227583439 0
[pid=18989/tid=19005] ppid=18986 vsize=27984808 memory=0 CPUtime=4.15 cores=0-7
/proc/18989/task/19005/stat : 19005 (java) S 18986 18989 18621 0 -1 1077944384 3774 0 0 0 414 1 0 0 20 0 24 0 85478042 28656443392 981224 33554432000 4194304 4196468 140737227572432 139861183880048 139862932920962 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20717568 140737227580377 140737227580677 140737227580677 140737227583439 0
[pid=18989/tid=19006] ppid=18986 vsize=27984808 memory=0 CPUtime=4.26 cores=0-7
/proc/18989/task/19006/stat : 19006 (java) S 18986 18989 18621 0 -1 1077944384 7098 0 0 0 425 1 0 0 20 0 24 0 85478042 28656443392 981224 33554432000 4194304 4196468 140737227572432 139861182826992 139862932920962 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20717568 140737227580377 140737227580677 140737227580677 140737227583439 0
[pid=18989/tid=19007] ppid=18986 vsize=27984808 memory=0 CPUtime=1.34 cores=0-7
/proc/18989/task/19007/stat : 19007 (java) S 18986 18989 18621 0 -1 1077944384 4642 0 0 0 132 2 0 0 20 0 24 0 85478042 28656443392 981224 33554432000 4194304 4196468 140737227572432 139861113694832 139862932920962 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20717568 140737227580377 140737227580677 140737227580677 140737227583439 0
[pid=18989/tid=19008] ppid=18986 vsize=27984808 memory=0 CPUtime=0 cores=0-7
/proc/18989/task/19008/stat : 19008 (java) S 18986 18989 18621 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 85478042 28656443392 981224 33554432000 4194304 4196468 140737227572432 139859704408544 139862932920021 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20717568 140737227580377 140737227580677 140737227580677 140737227583439 0
[pid=18989/tid=19009] ppid=18986 vsize=27984808 memory=8547710663883855229 CPUtime=0.01 cores=0-7
/proc/18989/task/19009/stat : 19009 (java) S 18986 18989 18621 0 -1 1077944384 7 0 0 0 0 1 0 0 20 0 24 0 85478043 28656443392 981224 33554432000 4194304 4196468 140737227572432 139861112642224 139862932920962 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20717568 140737227580377 140737227580677 140737227580677 140737227583439 0
[pid=18989/tid=19011] ppid=18986 vsize=27984808 memory=6655300316396806240 CPUtime=0 cores=0-7
/proc/18989/task/19011/stat : 19011 (java) S 18986 18989 18621 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 85478855 28656443392 981224 33554432000 4194304 4196468 140737227572432 139862724838336 139862932934425 0 4 0 25189583 18446744071579417331 0 0 -1 3 0 0 0 0 0 6293624 6294260 20717568 140737227580377 140737227580677 140737227580677 140737227583439 0
[pid=18989/tid=19013] ppid=18986 vsize=27984808 memory=6656426216303648864 CPUtime=0 cores=0-7
/proc/18989/task/19013/stat : 19013 (java) S 18986 18989 18621 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 24 0 85478855 28656443392 981224 33554432000 4194304 4196468 140737227572432 139859033309104 139862932931741 0 4 0 25189583 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 20717568 140737227580377 140737227580677 140737227580677 140737227583439 0
[pid=18989/tid=19014] ppid=18986 vsize=27984808 memory=6944656592455360604 CPUtime=0 cores=0-7
/proc/18989/task/19014/stat : 19014 (java) S 18986 18989 18621 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 85478855 28656443392 981224 33554432000 4194304 4196468 140737227572432 139858764873776 139862932931741 0 4 0 25189583 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 20717568 140737227580377 140737227580677 140737227580677 140737227583439 0
[pid=18989/tid=19015] ppid=18986 vsize=27984808 memory=403 CPUtime=0 cores=0-7
/proc/18989/task/19015/stat : 19015 (java) S 18986 18989 18621 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 24 0 85478857 28656443392 981224 33554432000 4194304 4196468 140737227572432 139859301752224 139862932920021 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20717568 140737227580377 140737227580677 140737227580677 140737227583439 0
Current children cumulated CPU time: 204.7 s
Current children cumulated vsize: 28650604 KiB
Current children cumulated memory: 4178908 KiB

[startup+31.6016 s]
/proc/loadavg: 7.51 8.07 8.22 9/212 19023
/proc/meminfo: memFree=22710992/32770624 swapFree=67027684/67108860
[pid=18989] ppid=18986 vsize=27984808 memory=3924896 CPUtime=22.16 cores=0-7
/proc/18989/stat : 18989 (java) S 18986 18989 18621 0 -1 1077944320 41552 0 0 0 2145 71 0 0 20 0 24 0 85478035 28656443392 981224 33554432000 4194304 4196468 140737227572432 140737227554976 139862932909815 0 0 0 25189583 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 20717568 140737227580377 140737227580677 140737227580677 140737227583439 0
/proc/18989/statm: 6996202 981224 3228 1 0 6957058 0
[pid=19010] ppid=18989 vsize=666092 memory=254472 CPUtime=185.73 cores=0-7
/proc/19010/stat : 19010 (glucose-syrup) S 18989 18989 18621 0 -1 1077944320 129297 0 0 0 18531 42 0 0 20 0 9 0 85478854 682078208 63618 33554432000 4194304 4373367 140720917807936 140720917806480 140322581232258 0 4 0 8388610 18446744073709551615 0 0 17 0 0 0 0 0 0 6470912 6472264 23478272 140720917816239 140720917816492 140720917816492 140720917819335 0
/proc/19010/statm: 166523 63618 382 44 0 162211 0
[pid=19010/tid=19016] ppid=18989 vsize=666092 memory=5938671665862562661 CPUtime=23.26 cores=0-7
/proc/19010/task/19016/stat : 19016 (glucose-syrup) R 18989 18989 18621 0 -1 4202560 16582 0 0 0 2320 6 0 0 20 0 9 0 85478866 682078208 63618 33554432000 4194304 4373367 140720917807936 140322558799216 4258908 0 4 0 8388610 0 0 0 -1 3 0 0 0 0 0 6470912 6472264 23478272 140720917816239 140720917816492 140720917816492 140720917819335 0
[pid=19010/tid=19017] ppid=18989 vsize=666092 memory=7295938475602366563 CPUtime=23.27 cores=0-7
/proc/19010/task/19017/stat : 19017 (glucose-syrup) R 18989 18989 18621 0 -1 4202560 16637 0 0 0 2323 4 0 0 20 0 9 0 85478866 682078208 63618 33554432000 4194304 4373367 140720917807936 140322550406416 4271897 0 4 0 8388610 0 0 0 -1 2 0 0 0 0 0 6470912 6472264 23478272 140720917816239 140720917816492 140720917816492 140720917819335 0
[pid=19010/tid=19018] ppid=18989 vsize=666092 memory=0 CPUtime=23.25 cores=0-7
/proc/19010/task/19018/stat : 19018 (glucose-syrup) R 18989 18989 18621 0 -1 4202560 14199 0 0 0 2320 5 0 0 20 0 9 0 85478866 682078208 63618 33554432000 4194304 4373367 140720917807936 140322542013808 4258958 0 4 0 8388610 0 0 0 -1 1 0 0 0 0 0 6470912 6472264 23478272 140720917816239 140720917816492 140720917816492 140720917819335 0
[pid=19010/tid=19019] ppid=18989 vsize=666092 memory=-5155625782510644613 CPUtime=23.26 cores=0-7
/proc/19010/task/19019/stat : 19019 (glucose-syrup) R 18989 18989 18621 0 -1 4202560 14169 0 0 0 2320 6 0 0 20 0 9 0 85478866 682078208 63618 33554432000 4194304 4373367 140720917807936 140322533621104 4271897 0 4 0 8388610 0 0 0 -1 0 0 0 0 0 0 6470912 6472264 23478272 140720917816239 140720917816492 140720917816492 140720917819335 0
[pid=19010/tid=19020] ppid=18989 vsize=666092 memory=6008484052878780520 CPUtime=22.96 cores=0-7
/proc/19010/task/19020/stat : 19020 (glucose-syrup) R 18989 18989 18621 0 -1 4202560 16772 0 0 0 2291 5 0 0 20 0 9 0 85478866 682078208 63618 33554432000 4194304 4373367 140720917807936 140322525228400 4258831 0 4 0 8388610 0 0 0 -1 7 0 0 0 0 0 6470912 6472264 23478272 140720917816239 140720917816492 140720917816492 140720917819335 0
[pid=19010/tid=19021] ppid=18989 vsize=666092 memory=7595723662803363672 CPUtime=23.03 cores=0-7
/proc/19010/task/19021/stat : 19021 (glucose-syrup) R 18989 18989 18621 0 -1 4202560 14244 0 0 0 2298 5 0 0 20 0 9 0 85478866 682078208 63618 33554432000 4194304 4373367 140720917807936 140322516835472 4258908 0 4 0 8388610 0 0 0 -1 5 0 0 0 0 0 6470912 6472264 23478272 140720917816239 140720917816492 140720917816492 140720917819335 0
[pid=19010/tid=19022] ppid=18989 vsize=666092 memory=7663020177987579801 CPUtime=23.25 cores=0-7
/proc/19010/task/19022/stat : 19022 (glucose-syrup) R 18989 18989 18621 0 -1 4202560 14733 0 0 0 2321 4 0 0 20 0 9 0 85478866 682078208 63618 33554432000 4194304 4373367 140720917807936 140322508442992 4258958 0 4 0 8388610 0 0 0 -1 4 0 0 0 0 0 6470912 6472264 23478272 140720917816239 140720917816492 140720917816492 140720917819335 0
[pid=19010/tid=19023] ppid=18989 vsize=666092 memory=279295013302440 CPUtime=23.27 cores=0-7
/proc/19010/task/19023/stat : 19023 (glucose-syrup) R 18989 18989 18621 0 -1 4202560 15033 0 0 0 2324 3 0 0 20 0 9 0 85478866 682078208 63618 33554432000 4194304 4373367 140720917807936 140322500050288 4271917 0 4 0 8388610 0 0 0 -1 6 0 0 0 0 0 6470912 6472264 23478272 140720917816239 140720917816492 140720917816492 140720917819335 0
[pid=18989/tid=18991] ppid=18986 vsize=27984808 memory=0 CPUtime=8.2 cores=0-7
/proc/18989/task/18991/stat : 18991 (java) S 18986 18989 18621 0 -1 1077944384 20587 0 0 0 758 62 0 0 20 0 24 0 85478035 28656443392 981224 33554432000 4194304 4196468 140737227572432 139862904749056 139862932920021 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20717568 140737227580377 140737227580677 140737227580677 140737227583439 0
[pid=18989/tid=18992] ppid=18986 vsize=27984808 memory=0 CPUtime=0 cores=0-7
/proc/18989/task/18992/stat : 18992 (java) S 18986 18989 18621 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 85478037 28656443392 981224 33554432000 4194304 4196468 140737227572432 139862937152016 139862932920021 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20717568 140737227580377 140737227580677 140737227580677 140737227583439 0
[pid=18989/tid=18993] ppid=18986 vsize=27984808 memory=7017547654926199128 CPUtime=0 cores=0-7
/proc/18989/task/18993/stat : 18993 (java) S 18986 18989 18621 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 85478037 28656443392 981224 33554432000 4194304 4196468 140737227572432 139862751308432 139862932920021 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20717568 140737227580377 140737227580677 140737227580677 140737227583439 0
[pid=18989/tid=18994] ppid=18986 vsize=27984808 memory=31204 CPUtime=0 cores=0-7
/proc/18989/task/18994/stat : 18994 (java) S 18986 18989 18621 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 85478037 28656443392 981224 33554432000 4194304 4196468 140737227572432 139862750255376 139862932920021 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20717568 140737227580377 140737227580677 140737227580677 140737227583439 0
[pid=18989/tid=18995] ppid=18986 vsize=27984808 memory=660 CPUtime=0 cores=0-7
/proc/18989/task/18995/stat : 18995 (java) S 18986 18989 18621 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 85478037 28656443392 981224 33554432000 4194304 4196468 140737227572432 139862749202832 139862932920021 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20717568 140737227580377 140737227580677 140737227580677 140737227583439 0
[pid=18989/tid=18996] ppid=18986 vsize=27984808 memory=37540 CPUtime=0 cores=0-7
/proc/18989/task/18996/stat : 18996 (java) S 18986 18989 18621 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 85478037 28656443392 981224 33554432000 4194304 4196468 140737227572432 139862748150800 139862932920021 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20717568 140737227580377 140737227580677 140737227580677 140737227583439 0
[pid=18989/tid=18997] ppid=18986 vsize=27984808 memory=139647506660544 CPUtime=0 cores=0-7
/proc/18989/task/18997/stat : 18997 (java) S 18986 18989 18621 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 85478037 28656443392 981224 33554432000 4194304 4196468 140737227572432 139862747098256 139862932920021 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20717568 140737227580377 140737227580677 140737227580677 140737227583439 0
[pid=18989/tid=18998] ppid=18986 vsize=27984808 memory=6944656575208382560 CPUtime=0 cores=0-7
/proc/18989/task/18998/stat : 18998 (java) S 18986 18989 18621 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 85478037 28656443392 981224 33554432000 4194304 4196468 140737227572432 139862746045200 139862932920021 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20717568 140737227580377 140737227580677 140737227580677 140737227583439 0
[pid=18989/tid=18999] ppid=18986 vsize=27984808 memory=3472467943734584944 CPUtime=0 cores=0-7
/proc/18989/task/18999/stat : 18999 (java) S 18986 18989 18621 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 85478037 28656443392 981224 33554432000 4194304 4196468 140737227572432 139862744992656 139862932920021 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20717568 140737227580377 140737227580677 140737227580677 140737227583439 0
[pid=18989/tid=19000] ppid=18986 vsize=27984808 memory=139650861630022 CPUtime=0 cores=0-7
/proc/18989/task/19000/stat : 19000 (java) S 18986 18989 18621 0 -1 1077944384 11 0 0 0 0 0 0 0 20 0 24 0 85478039 28656443392 981224 33554432000 4194304 4196468 140737227572432 139861185984752 139862932920962 0 0 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20717568 140737227580377 140737227580677 140737227580677 140737227583439 0
[pid=18989/tid=19001] ppid=18986 vsize=27984808 memory=2764 CPUtime=0 cores=0-7
/proc/18989/task/19001/stat : 19001 (java) S 18986 18989 18621 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 24 0 85478039 28656443392 981224 33554432000 4194304 4196468 140737227572432 139860845257888 139862932920021 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20717568 140737227580377 140737227580677 140737227580677 140737227583439 0
[pid=18989/tid=19002] ppid=18986 vsize=27984808 memory=7662705889289527641 CPUtime=0 cores=0-7
/proc/18989/task/19002/stat : 19002 (java) S 18986 18989 18621 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 85478040 28656443392 981224 33554432000 4194304 4196468 140737227572432 139860576822000 139862932920021 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20717568 140737227580377 140737227580677 140737227580677 140737227583439 0
[pid=18989/tid=19003] ppid=18986 vsize=27984808 memory=7811586352639922537 CPUtime=0 cores=0-7
/proc/18989/task/19003/stat : 19003 (java) S 18986 18989 18621 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 85478042 28656443392 981224 33554432000 4194304 4196468 140737227572432 139860202313680 139862932928411 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20717568 140737227580377 140737227580677 140737227580677 140737227583439 0
[pid=18989/tid=19004] ppid=18986 vsize=27984808 memory=5787220445994897765 CPUtime=4.14 cores=0-7
/proc/18989/task/19004/stat : 19004 (java) S 18986 18989 18621 0 -1 1077944384 4036 0 0 0 412 2 0 0 20 0 24 0 85478042 28656443392 981224 33554432000 4194304 4196468 140737227572432 139861184932592 139862932920962 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20717568 140737227580377 140737227580677 140737227580677 140737227583439 0
[pid=18989/tid=19005] ppid=18986 vsize=27984808 memory=-7028383565733675155 CPUtime=4.15 cores=0-7
/proc/18989/task/19005/stat : 19005 (java) S 18986 18989 18621 0 -1 1077944384 3774 0 0 0 414 1 0 0 20 0 24 0 85478042 28656443392 981224 33554432000 4194304 4196468 140737227572432 139861183880048 139862932920962 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20717568 140737227580377 140737227580677 140737227580677 140737227583439 0
[pid=18989/tid=19006] ppid=18986 vsize=27984808 memory=8262277478866581011 CPUtime=4.26 cores=0-7
/proc/18989/task/19006/stat : 19006 (java) S 18986 18989 18621 0 -1 1077944384 7098 0 0 0 425 1 0 0 20 0 24 0 85478042 28656443392 981224 33554432000 4194304 4196468 140737227572432 139861182826992 139862932920962 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20717568 140737227580377 140737227580677 140737227580677 140737227583439 0
[pid=18989/tid=19007] ppid=18986 vsize=27984808 memory=-9181546050914066336 CPUtime=1.34 cores=0-7
/proc/18989/task/19007/stat : 19007 (java) S 18986 18989 18621 0 -1 1077944384 4642 0 0 0 132 2 0 0 20 0 24 0 85478042 28656443392 981224 33554432000 4194304 4196468 140737227572432 139861113694832 139862932920962 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20717568 140737227580377 140737227580677 140737227580677 140737227583439 0
[pid=18989/tid=19008] ppid=18986 vsize=27984808 memory=279295012372720 CPUtime=0 cores=0-7
/proc/18989/task/19008/stat : 19008 (java) S 18986 18989 18621 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 85478042 28656443392 981224 33554432000 4194304 4196468 140737227572432 139859704408544 139862932920021 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20717568 140737227580377 140737227580677 140737227580677 140737227583439 0
[pid=18989/tid=19009] ppid=18986 vsize=27984808 memory=4642197910265684584 CPUtime=0.01 cores=0-7
/proc/18989/task/19009/stat : 19009 (java) S 18986 18989 18621 0 -1 1077944384 7 0 0 0 0 1 0 0 20 0 24 0 85478043 28656443392 981224 33554432000 4194304 4196468 140737227572432 139861112642224 139862932920962 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20717568 140737227580377 140737227580677 140737227580677 140737227583439 0
[pid=18989/tid=19011] ppid=18986 vsize=27984808 memory=7452728842579373158 CPUtime=0 cores=0-7
/proc/18989/task/19011/stat : 19011 (java) S 18986 18989 18621 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 85478855 28656443392 981224 33554432000 4194304 4196468 140737227572432 139862724838336 139862932934425 0 4 0 25189583 18446744071579417331 0 0 -1 3 0 0 0 0 0 6293624 6294260 20717568 140737227580377 140737227580677 140737227580677 140737227583439 0
[pid=18989/tid=19013] ppid=18986 vsize=27984808 memory=1220 CPUtime=0 cores=0-7
/proc/18989/task/19013/stat : 19013 (java) S 18986 18989 18621 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 24 0 85478855 28656443392 981224 33554432000 4194304 4196468 140737227572432 139859033309104 139862932931741 0 4 0 25189583 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 20717568 140737227580377 140737227580677 140737227580677 140737227583439 0
[pid=18989/tid=19014] ppid=18986 vsize=27984808 memory=1540 CPUtime=0 cores=0-7
/proc/18989/task/19014/stat : 19014 (java) S 18986 18989 18621 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 85478855 28656443392 981224 33554432000 4194304 4196468 140737227572432 139858764873776 139862932931741 0 4 0 25189583 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 20717568 140737227580377 140737227580677 140737227580677 140737227583439 0
[pid=18989/tid=19015] ppid=18986 vsize=27984808 memory=2164 CPUtime=0 cores=0-7
/proc/18989/task/19015/stat : 19015 (java) S 18986 18989 18621 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 24 0 85478857 28656443392 981224 33554432000 4194304 4196468 140737227572432 139859301752224 139862932920021 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20717568 140737227580377 140737227580677 140737227580677 140737227583439 0
Current children cumulated CPU time: 207.89 s
Current children cumulated vsize: 28650900 KiB
Current children cumulated memory: 4179368 KiB

[startup+32.0013 s]*
/proc/loadavg: 7.51 8.07 8.22 2/181 19023
/proc/meminfo: memFree=22966972/32770624 swapFree=67027684/67108860
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

Child status: 0
Real time (s): 32.025
CPU time (s): 210.887
CPU user time (s): 209.696
CPU system time (s): 1.19086
CPU usage (%): 658.506
Max. virtual memory (cumulated for all children) (KiB): 28675460
Max. memory (cumulated for all children) (KiB): 4179464

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 209.696
system time used= 1.19086
maximum resident set size= 3924896
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 171186
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2800
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 18793
involuntary context switches= 1965


# summary of solver processes directly reported to runsolver:
#   pid: 18989
#   total CPU time (s): 210.887
#   total CPU user time (s): 209.696
#   total CPU system time (s): 1.19086

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.300328 second user time and 0.421959 second system time

The end

Launcher Data 

Begin job on node102 at 2018-07-27 10:12:29
IDJOB=4297057
IDBENCH=141593
IDSOLVER=2758
FILE ID=node102/4297057-1532679149
RUNJOBID= node102-1532674106-18648
PBS_JOBID= 21022249
Free space on /tmp= 52748 MiB

SOLVER NAME= scop order+glucose-syrup (2018-07-07)
BENCH NAME= XCSP18/Frb/frb-56-25-3-mgd_c18.xml
COMMAND LINE= java -Xms22g -Xmx22g -Xss128m -jar DIR/scop.jar -order -solver DIR/glucose-syrup -solverOption -model:-nthreads=NBCORE:-maxmemory=10000 -tmp TMPDIR BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4297057-1532679149/watcher-4297057-1532679149 -o /tmp/evaluation-result-4297057-1532679149/solver-4297057-1532679149 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node102-1532674106-18648 --watchdog 2580  java -Xms22g -Xmx22g -Xss128m -jar HOME/scop.jar -order -solver HOME/glucose-syrup -solverOption -model:-nthreads=8:-maxmemory=10000 -tmp HOME HOME/instance-4297057-1532679149.xml

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

MD5SUM BENCH= 7c69722bcd82b7b6de23ca1e1f99c5f4
RANDOM SEED=2079966068

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        26885168 kB
MemAvailable:   31934076 kB
Buffers:          182852 kB
Cached:          5121448 kB
SwapCached:        53672 kB
Active:          1163556 kB
Inactive:        4222096 kB
Active(anon):       6992 kB
Inactive(anon):    98700 kB
Active(file):    1156564 kB
Inactive(file):  4123396 kB
Unevictable:        6644 kB
Mlocked:            6644 kB
SwapTotal:      67108860 kB
SwapFree:       67027684 kB
Dirty:              8712 kB
Writeback:            24 kB
AnonPages:         35196 kB
Mapped:            34116 kB
Shmem:             21472 kB
Slab:             196540 kB
SReclaimable:     169568 kB
SUnreclaim:        26972 kB
KernelStack:        3200 kB
PageTables:         5500 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     323364 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      105856 kB
DirectMap2M:    33439744 kB

Free space on /tmp at the end= 52740 MiB
End job on node102 at 2018-07-27 10:13:01