Trace number 4297213

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
scop both+glucose-syrup (2018-07-07)SAT 295.609 38.9899

General information on the benchmark

NameGracefulGraph/
GracefulGraph-K04-P04_c18.xml
MD5SUMbba9b3428f0c8228a4e28ff2342631fb
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 benchmark32.09
Satisfiable
(Un)Satisfiability was proved
Number of variables92
Number of constraints38
Number of domains2
Minimum domain size36
Maximum domain size37
Distribution of domain sizes[{"size":36,"count":36},{"size":37,"count":16}]
Minimum variable degree0
Maximum variable degree6
Distribution of variable degrees[{"degree":0,"count":40},{"degree":2,"count":36},{"degree":5,"count":8},{"degree":6,"count":8}]
Minimum constraint arity3
Maximum constraint arity36
Distribution of constraint arities[{"arity":3,"count":36},{"arity":16,"count":1},{"arity":36,"count":1}]
Number of extensional constraints0
Number of intensional constraints36
Distribution of constraint types[{"type":"intension","count":36},{"type":"allDifferent","count":2}]
Optimization problemNO
Type of objective

Solver Data 

0.66/0.54	
0.66/0.54	scop both+glucose-syrup (2018-07-07)
0.66/0.54	
0.66/0.57	c BEGIN-Prog: Thu Jul 26 22:21:12 CEST 2018
0.66/0.57	c PID: 8846
0.66/0.57	c IP: 172.20.3.138
0.66/0.57	c HOST: node138.alineos.net
0.66/0.58	c (0,0) Parsing Begin
1.37/0.90	c (0,0) Parsing End
1.37/0.91	c (0,0) CSP: 52 int (0 aux), 0 bool (0 aux), 38 ctr, max domain size 37
1.37/0.91	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 18 MiB used (max 0 MiB)
1.37/0.91	c (0,0) Constraint Name Generate Begin
1.37/0.91	c (0,0) Ctr:HOME/instance-4297213-1532636471.xml,AllDifferent:Dist:Eq:IntVar
1.37/0.91	c (0,0) Constraint Name Generate End
1.37/0.91	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 18 MiB used (max 0 MiB)
1.37/0.91	c (0,0) CSP to CSPinCNF Begin
1.55/1.02	c (0,0) translated 4 (10%) constraints
1.55/1.04	c (0,0) translated 8 (20%) constraints
1.55/1.05	c (0,0) translated 12 (30%) constraints
1.55/1.06	c (0,0) translated 16 (40%) constraints
1.55/1.07	c (0,0) translated 19 (50%) constraints
1.55/1.08	c (0,0) translated 23 (60%) constraints
1.55/1.09	c (0,0) translated 27 (70%) constraints
1.55/1.09	c (0,0) translated 31 (80%) constraints
1.55/1.10	c (0,0) translated 35 (90%) constraints
1.78/1.15	c (0,0) translated 38 (100%) constraints
2.41/1.35	c (0,0) STATISTICS1:HOME/instance-4297213-1532636471.xml,AllDifferent:Dist:Eq:IntVar,52,862,1332,37,36,3,1332:144;37:120;36:630,37:560;36:1476,36:2;16:2;2:786;1:72,3:144;2:750;1:104,
2.41/1.35	c (0,0) ===========================================
2.41/1.35	c (0,0) Both Encoding selects:
2.41/1.35	c (0,0) Order
2.41/1.35	c (0,0) ===========================================
2.41/1.37	c (0,0) translated 87 (10%) constraints
2.41/1.38	c (0,0) translated 173 (20%) constraints
2.41/1.40	c (0,0) translated 259 (30%) constraints
2.69/1.41	c (0,0) translated 345 (40%) constraints
2.69/1.42	c (0,0) translated 431 (50%) constraints
2.69/1.43	c (0,0) translated 518 (60%) constraints
2.69/1.43	c (0,0) translated 604 (70%) constraints
2.69/1.44	c (0,0) translated 690 (80%) constraints
2.69/1.45	c (0,0) translated 776 (90%) constraints
2.69/1.45	c (0,0) translated 862 (100%) constraints
2.69/1.46	c (0,0) CSP to CSPinCNF End
2.69/1.46	c (0,0) CSP: 52 int (0 aux), 0 bool (0 aux), 862 ctr, max domain size 37
2.69/1.46	c (0,0) Heap : 337 MiB used (max 21589 MiB), NonHeap : 25 MiB used (max 0 MiB)
2.69/1.46	c (0,0) CSPinCNF Propagation Begin
2.69/1.49	c (0,0) 0 values, 0 unsatisfiable literals, and 0 valid clauses are removed
2.69/1.49	c (0,0) CSPinCNF Propagation End
2.69/1.49	c (0,0) CSP: 52 int (0 aux), 0 bool (0 aux), 862 ctr, max domain size 37
2.69/1.49	c (0,0) Heap : 337 MiB used (max 21589 MiB), NonHeap : 25 MiB used (max 0 MiB)
2.69/1.49	c (0,0) Simplify CSPinCNF Begin
3.32/1.61	c (1,1) Simplify CSPinCNF End
3.32/1.61	c (1,1) CSP: 52 int (0 aux), 1572 bool (1572 aux), 2434 ctr, max domain size 37
3.32/1.61	c (1,1) Heap : 337 MiB used (max 21589 MiB), NonHeap : 26 MiB used (max 0 MiB)
3.32/1.61	c (1,1) Calculate Precise Domain Begin
3.32/1.61	c (1,1) 0 values are removed by re-calculation
3.32/1.61	c (1,1) Calculate Precise Domain End
3.32/1.62	c (1,1) CSP: 52 int (0 aux), 1572 bool (1572 aux), 2434 ctr, max domain size 37
3.32/1.62	c (1,1) Heap : 337 MiB used (max 21589 MiB), NonHeap : 26 MiB used (max 0 MiB)
3.32/1.62	c (1,1) CSPinCNF to SatSolver Begin
5.01/2.05	c (1,1) 244 (10 %) CSP clauses are encoded (3408 SAT variables, 99299 SAT clauses)
5.01/2.09	c (1,1) 487 (20 %) CSP clauses are encoded (3408 SAT variables, 105374 SAT clauses)
5.37/2.12	c (1,1) 731 (30 %) CSP clauses are encoded (3408 SAT variables, 111289 SAT clauses)
5.37/2.16	c (1,1) 974 (40 %) CSP clauses are encoded (3408 SAT variables, 117202 SAT clauses)
5.37/2.19	c (1,1) 1217 (50 %) CSP clauses are encoded (3408 SAT variables, 123115 SAT clauses)
5.61/2.23	c (1,1) 1461 (60 %) CSP clauses are encoded (3408 SAT variables, 129064 SAT clauses)
5.61/2.26	c (1,1) 1704 (70 %) CSP clauses are encoded (3408 SAT variables, 134977 SAT clauses)
5.61/2.29	c (1,1) 1948 (80 %) CSP clauses are encoded (3408 SAT variables, 140891 SAT clauses)
5.86/2.33	c (1,1) 2191 (90 %) CSP clauses are encoded (3408 SAT variables, 146804 SAT clauses)
5.86/2.35	c (1,1) 2434 (100 %) CSP clauses are encoded (3408 SAT variables, 152717 SAT clauses)
5.86/2.35	c (1,1) CSPinCNF to SatSolver End
5.86/2.35	c (1,1) Heap : 675 MiB used (max 21589 MiB), NonHeap : 28 MiB used (max 0 MiB)
5.86/2.38	c (1,1) STATISTICS2:HOME/instance-4297213-1532636471.xml,AllDifferent:Dist:Eq:IntVar,1624,2434,1332,37,36,3,1332:144;37:240;36:1260,37:800;36:2736;2:3144,36:2;16:2;2:2358;1:72,3:144;2:1500;1:3248,
5.86/2.38	c (1,1) SatSolver.solve Begin
5.86/2.38	c (1,1) 3408 bool, 152718 clause
5.86/2.38	c (1,1) HOME/glucose-syrup -model -nthreads=8 -maxmemory=10000 HOME/instance-4297213-1532636471.xml-scop-8846.cnf HOME/instance-4297213-1532636471.xml-scop-8846.cnf.out
81.49/12.13	c (11,0) c
81.49/12.13	c (11,0) c This is glucose-syrup 4.1 (glucose in many threads) --  based on MiniSAT (Many thanks to MiniSAT team)
81.49/12.13	c (11,0) c
81.49/12.13	c (11,0) c WARNING: for repeatability, setting FPU to use double precision
81.49/12.13	c (11,0) c 8 solvers engines and 1 companion as a blackboard created.
81.49/12.13	c (11,0) c ========================================[ Problem Statistics ]===========================================
81.49/12.13	c (11,0) c |                                                                                                       |
81.49/12.13	c (11,0) c |  Number of variables:          3408                                                                   |
81.49/12.13	c (11,0) c |  Number of clauses:          152718                                                                   |
81.49/12.13	c (11,0) c |  Parse time:                   0.04 s                                                                 |
81.49/12.13	c (11,0) c |                                                                                                       |
81.49/12.13	c (11,0) c |  Eliminated clauses:           0.01 Mb                                                                |
81.49/12.13	c (11,0) c |  Simplification time:          0.22 s                                                                 |
81.49/12.13	c (11,0) c |                                                                                                       |
81.49/12.13	c (11,0) c |  Generating clones                                                                                    |
81.49/12.13	c (11,0) c |  all clones generated. Memory = 101.07Mb.                                                             |
81.49/12.13	c (11,0) c ========================================================================================================|
81.49/12.13	c (11,0) c
81.49/12.13	c (11,0) c |-------------------------------------------------------------------------------------------------------|
81.49/12.13	c (11,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
81.49/12.13	c (11,0) c |-------------------------------------------------------------------------------------------------------|
81.49/12.13	c (11,0) c |  0 |     33 |      38071 |      27709 |    96699 |    11524 |     3674 |    24278 |      110 |  0.000 |
81.49/12.13	c (11,0) c |  1 |     40 |      42171 |      31026 |    95906 |    14836 |     3965 |    27018 |       97 |  0.000 |
81.49/12.13	c (11,0) c |  2 |     38 |      42890 |      31692 |    96286 |    15498 |     4238 |    22440 |       85 |  0.000 |
81.49/12.13	c (11,0) c |  3 |     31 |      42325 |      31101 |   101818 |    14918 |     4118 |    23672 |       94 |  0.000 |
81.49/12.13	c (11,0) c |  4 |     49 |      41692 |      30682 |    96094 |    14490 |     3875 |    26366 |       96 |  0.000 |
81.49/12.13	c (11,0) c |  5 |     59 |      39563 |      28179 |    93344 |    11994 |     3541 |    27319 |      100 |  0.000 |
81.49/12.13	c (11,0) c |  6 |     48 |      42610 |      31105 |    95654 |    14925 |     4105 |    25305 |      143 |  0.000 |
81.49/12.13	c (11,0) c |  7 |     56 |      42416 |      30043 |   102072 |    13855 |     3777 |    26700 |      105 |  0.000 |
81.49/12.13	c (11,0) c 
81.49/12.14	c (11,0) c synthesis      241539 conflicts    69982936 propagations     6850 conflicts/sec  1984570 propagations/sec
81.49/12.14	c (11,0) c Total Memory so far : 689.07Mb
81.49/12.14	c (11,0) c
81.49/12.14	c (11,0) c |-------------------------------------------------------------------------------------------------------|
81.49/12.14	c (11,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
81.49/12.14	c (11,0) c |-------------------------------------------------------------------------------------------------------|
81.49/12.14	c (11,0) c |  0 |     57 |      76809 |      56954 |   120617 |    18415 |     7773 |    52949 |      362 |  0.000 |
81.49/12.14	c (11,0) c |  1 |     90 |      79573 |      58048 |   123318 |    19513 |     7573 |    53033 |      351 |  0.000 |
81.49/12.14	c (11,0) c |  2 |     99 |      80312 |      58050 |   122118 |    19510 |     7729 |    52985 |      341 |  0.000 |
81.49/12.14	c (11,0) c |  3 |     97 |      77733 |      56635 |   123897 |    18097 |     7293 |    52502 |      422 |  0.000 |
81.49/12.14	c (11,0) c |  4 |    108 |      82231 |      59172 |   122891 |    20653 |     7580 |    53002 |      382 |  0.000 |
81.49/12.14	c (11,0) c |  5 |     82 |      79776 |      58541 |   119260 |    20006 |     7787 |    51339 |      392 |  0.000 |
81.49/12.14	c (11,0) c |  6 |     83 |      85715 |      63336 |   123489 |    24807 |     7933 |    52186 |      390 |  0.000 |
81.49/12.14	c (11,0) c |  7 |    111 |      81243 |      57887 |   126970 |    19345 |     7136 |    53663 |      397 |  0.000 |
81.49/12.14	c (11,0) c 
193.17/26.13	c (25,0) c synthesis      468624 conflicts   139198171 propagations     6243 conflicts/sec  1854510 propagations/sec
193.17/26.13	c (25,0) c Total Memory so far : 677.85Mb
193.17/26.13	c (25,0) c
193.17/26.13	c (25,0) c |-------------------------------------------------------------------------------------------------------|
193.17/26.13	c (25,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
193.17/26.13	c (25,0) c |-------------------------------------------------------------------------------------------------------|
193.17/26.13	c (25,0) c |  0 |     87 |     116520 |      87151 |   131224 |    33591 |    11435 |    73917 |      743 |  0.000 |
193.17/26.13	c (25,0) c |  1 |    145 |     113774 |      82089 |   133762 |    28526 |    10392 |    74788 |      592 |  0.000 |
193.17/26.13	c (25,0) c |  2 |    208 |     117605 |      83011 |   134316 |    29446 |    10636 |    74723 |      605 |  0.000 |
193.17/26.13	c (25,0) c |  3 |    173 |     114931 |      83271 |   132460 |    29711 |    10497 |    74133 |      806 |  0.000 |
193.17/26.13	c (25,0) c |  4 |    134 |     114146 |      82480 |   131607 |    28929 |    10534 |    72000 |      651 |  0.000 |
193.17/26.13	c (25,0) c |  5 |    139 |     114033 |      83451 |   131385 |    29897 |    10747 |    74740 |      718 |  0.000 |
193.17/26.13	c (25,0) c |  6 |    101 |     119843 |      89043 |   131294 |    17879 |    10854 |    63341 |      604 |  0.001 |
193.17/26.13	c (25,0) c |  7 |    173 |     121285 |      85978 |   136760 |    32420 |    10393 |    74970 |      776 |  0.000 |
193.17/26.13	c (25,0) c 
193.17/26.13	c (25,0) c synthesis      676474 conflicts   202378853 propagations     5888 conflicts/sec  1761348 propagations/sec
193.17/26.13	c (25,0) c Total Memory so far : 677.85Mb
193.17/26.13	c (25,0) c
193.17/26.13	c (25,0) c Try to adapt solver strategies
193.17/26.13	c (25,0) c 
193.17/26.13	c (25,0) c Nothing extreme in this problem, continue with glucose default strategies.
193.17/26.13	c (25,0) c
193.17/26.13	c (25,0) c
193.17/26.13	c (25,0) c Try to adapt solver strategies
193.17/26.13	c (25,0) c 
193.17/26.13	c (25,0) c Nothing extreme in this problem, continue with glucose default strategies.
193.17/26.13	c (25,0) c
193.17/26.13	c (25,0) c
193.17/26.13	c (25,0) c Try to adapt solver strategies
193.17/26.13	c (25,0) c 
193.17/26.13	c (25,0) c Nothing extreme in this problem, continue with glucose default strategies.
193.17/26.13	c (25,0) c
193.17/26.13	c (25,0) c
193.17/26.13	c (25,0) c Try to adapt solver strategies
193.17/26.13	c (25,0) c 
193.17/26.13	c (25,0) c Nothing extreme in this problem, continue with glucose default strategies.
193.17/26.13	c (25,0) c
193.17/26.13	c (25,0) c
193.17/26.13	c (25,0) c |-------------------------------------------------------------------------------------------------------|
193.17/26.13	c (25,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
193.17/26.13	c (25,0) c |-------------------------------------------------------------------------------------------------------|
193.17/26.13	c (25,0) c |  0 |    156 |     150443 |     110886 |   138715 |    39708 |    14147 |    93346 |     1123 |  0.000 |
193.17/26.13	c (25,0) c |  1 |    194 |     152893 |     109918 |   139855 |    38749 |    14002 |    89731 |     1004 |  0.000 |
193.17/26.13	c (25,0) c |  2 |    281 |     151879 |     107345 |   139473 |    36166 |    12946 |    94575 |     1026 |  0.000 |
193.17/26.13	c (25,0) c |  3 |    190 |     148973 |     109770 |   135426 |    38597 |    13092 |    94593 |     1084 |  0.000 |
193.17/26.13	c (25,0) c |  4 |    207 |     143099 |     101868 |   136626 |    30700 |    12663 |    94401 |     1020 |  0.000 |
193.17/26.13	c (25,0) c |  5 |    183 |     147896 |     108090 |   136339 |    36921 |    13631 |    94050 |     1035 |  0.000 |
193.17/26.13	c (25,0) c |  6 |    126 |     148395 |     110347 |   135755 |    39182 |    13762 |    93629 |      940 |  0.000 |
193.17/26.13	c (25,0) c |  7 |    219 |     155183 |     109340 |   140384 |    38169 |    13446 |    93922 |     1255 |  0.000 |
193.17/26.13	c (25,0) c 
193.17/26.13	c (25,0) c synthesis      867564 conflicts   261329369 propagations     5608 conflicts/sec  1689284 propagations/sec
193.17/26.13	c (25,0) c Total Memory so far : 677.85Mb
193.17/26.13	c (25,0) c
193.17/26.13	c (25,0) c |-------------------------------------------------------------------------------------------------------|
193.17/26.13	c (25,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
193.17/26.13	c (25,0) c |-------------------------------------------------------------------------------------------------------|
193.17/26.13	c (25,0) c |  0 |    224 |     172619 |     125207 |   142220 |    33820 |    15593 |   107206 |     1481 |  0.000 |
193.17/26.13	c (25,0) c |  1 |    225 |     177682 |     128262 |   141913 |    36896 |    16187 |   108133 |     1315 |  0.000 |
193.17/26.13	c (25,0) c |  2 |    314 |     179460 |     127230 |   142003 |    35844 |    15573 |   108265 |     1467 |  0.000 |
193.17/26.13	c (25,0) c |  3 |    211 |     174665 |     129211 |   137994 |    37830 |    15615 |   104970 |     1359 |  0.000 |
295.21/38.93	c (38,0) c |  4 |    259 |     168579 |     119262 |   140012 |    27895 |    14667 |   109159 |     1505 |  0.000 |
295.21/38.93	c (38,0) c |  5 |    317 |     170912 |     121975 |   138638 |    30594 |    15264 |   109184 |     1386 |  0.000 |
295.21/38.93	c (38,0) c |  6 |    191 |     173731 |     127027 |   139703 |    35647 |    15697 |   108614 |     1351 |  0.000 |
295.21/38.93	c (38,0) c |  7 |    238 |     184293 |     130927 |   142444 |    39559 |    15866 |   106466 |     1649 |  0.001 |
295.21/38.93	c (38,0) c 
295.21/38.93	c (38,0) c synthesis     1009101 conflicts   306753253 propagations     5408 conflicts/sec  1643938 propagations/sec
295.21/38.93	c (38,0) c Total Memory so far : 677.85Mb
295.21/38.93	c (38,0) c
295.21/38.93	c (38,0) c |-------------------------------------------------------------------------------------------------------|
295.21/38.93	c (38,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
295.21/38.93	c (38,0) c |-------------------------------------------------------------------------------------------------------|
295.21/38.93	c (38,0) c |  0 |    241 |     203046 |     147813 |   143560 |    33631 |    17925 |   123641 |     1849 |  0.000 |
295.21/38.93	c (38,0) c |  1 |    249 |     205177 |     149197 |   142955 |    35030 |    18571 |   120688 |     1632 |  0.000 |
295.21/38.93	c (38,0) c |  2 |    348 |     210491 |     149234 |   143928 |    35052 |    18299 |   124220 |     1902 |  0.000 |
295.21/38.93	c (38,0) c |  3 |    222 |     204144 |     152386 |   138871 |    38203 |    18518 |   124267 |     1566 |  0.000 |
295.21/38.93	c (38,0) c |  4 |    286 |     202605 |     144619 |   142106 |    30449 |    17934 |   126178 |     1838 |  0.001 |
295.21/38.93	c (38,0) c |  5 |    458 |     195490 |     137275 |   140003 |    23089 |    16919 |   126326 |     1678 |  0.000 |
295.21/38.93	c (38,0) c |  6 |    218 |     205879 |     150541 |   142274 |    36369 |    18281 |   124973 |     1840 |  0.000 |
295.21/38.93	c (38,0) c |  7 |    330 |     214640 |     151611 |   143930 |    37430 |    17739 |   123942 |     2122 |  0.000 |
295.21/38.93	c (38,0) c 
295.21/38.93	c (38,0) c synthesis     1182678 conflicts   363213408 propagations     5222 conflicts/sec  1603839 propagations/sec
295.21/38.93	c (38,0) c Total Memory so far : 677.85Mb
295.21/38.93	c (38,0) c
295.21/38.93	c (38,0) c |-------------------------------------------------------------------------------------------------------|
295.21/38.93	c (38,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
295.21/38.93	c (38,0) c |-------------------------------------------------------------------------------------------------------|
295.21/38.93	c (38,0) c |  0 |    259 |     226867 |     165317 |   144039 |    25744 |    19890 |   138965 |     2101 |  0.000 |
295.21/38.93	c (38,0) c |  1 |    264 |     229435 |     168010 |   143852 |    28441 |    20854 |   132521 |     1945 |  0.000 |
295.21/38.93	c (38,0) c |  2 |    374 |     238838 |     170318 |   145051 |    30733 |    20435 |   139899 |     2322 |  0.000 |
295.21/38.93	c (38,0) c |  3 |    236 |     225911 |     168621 |   140654 |    29041 |    20485 |   139185 |     1818 |  0.000 |
295.21/38.93	c (38,0) c |  4 |    313 |     228909 |     164362 |   144014 |    50192 |    20153 |   139870 |     2192 |  0.000 |
295.21/38.93	c (38,0) c |  5 |    465 |     222426 |     158690 |   140828 |    44503 |    19408 |   133427 |     1801 |  0.001 |
295.21/38.93	c (38,0) c |  6 |    264 |     227043 |     165519 |   143884 |    25944 |    19929 |   140559 |     2160 |  0.000 |
295.21/38.93	c (38,0) c |  7 |    353 |     236812 |     167874 |   144702 |    28298 |    19381 |   140956 |     2430 |  0.000 |
295.21/38.93	c (38,0) c 
295.21/38.93	c (38,0) c synthesis     1328711 conflicts   407404875 propagations     5143 conflicts/sec  1576865 propagations/sec
295.21/38.93	c (38,0) c Total Memory so far : 677.85Mb
295.21/38.93	c (38,0) c last restart ## conflicts  :  52 25 
295.21/38.93	c (38,0) c Thread 7 is 100% pure glucose! First thread to finish! (SAT answer).
295.21/38.93	c (38,0) c Total Memory so far : 677.85Mb
295.21/38.93	c (38,0) c
295.21/38.93	c (38,0) c real time : 36.5277 s
295.21/38.93	c (38,0) c cpu time  : 288.732 s
295.21/38.93	c (38,0) c
295.21/38.93	c (38,0) c
295.21/38.93	c (38,0) c
295.21/38.93	c (38,0) c |---------------------------------------- FINAL STATS --------------------------------------------------|
295.21/38.93	c (38,0) c
295.21/38.93	c (38,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
295.21/38.93	c (38,0) c | Threads       |      Total      |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
295.21/38.93	c (38,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
295.21/38.93	c (38,0) c | Conflicts     |         1452781 |     182196 |     185750 |     181762 |     184918 |     180071 |     175423 |     181963 |     180698 |
295.21/38.93	c (38,0) c | Decisions     |         2009685 |     249938 |     253113 |     257347 |     247617 |     250420 |     244834 |     249738 |     256678 |
295.21/38.93	c (38,0) c | Propagations  |       448523125 |   56912243 |   55099515 |   56226811 |   55207589 |   56069463 |   56810618 |   56827235 |   55369651 |
295.21/38.93	c (38,0) c | Avg_Trail     |                 |       1774 |       1719 |       1750 |       1667 |       1716 |       1755 |       1725 |       1698 |
295.21/38.93	c (38,0) c | Avg_DL        |                 |         27 |         25 |         26 |         24 |         25 |         25 |         26 |         26 |
295.21/38.93	c (38,0) c | Avg_Res       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
295.21/38.93	c (38,0) c | Avg_Res_Seen  |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
295.21/38.93	c (38,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
295.21/38.93	c (38,0) c | Exported      |          174628 |      21629 |      23052 |      21216 |      22701 |      21876 |      21610 |      21615 |      20929 |
295.21/38.93	c (38,0) c | Imported      |         1218644 |     152971 |     151460 |     153128 |     149231 |     152570 |     153001 |     152623 |     153660 |
295.21/38.93	c (38,0) c | Good          |             287 |         36 |         36 |         36 |         36 |         35 |         34 |         37 |         37 |
295.21/38.93	c (38,0) c | Purge         |         1218357 |     152935 |     151424 |     153092 |     149195 |     152535 |     152967 |     152586 |     153623 |
295.21/38.93	c (38,0) c | Promoted      |           19188 |       2353 |       2266 |       2628 |       2138 |       2545 |       1945 |       2523 |       2790 |
295.21/38.93	c (38,0) c | Remove_Imp    |          686344 |      88019 |      81645 |      84205 |      85609 |      89586 |      82564 |      88908 |      85808 |
295.21/38.93	c (38,0) c | Blocked_Reuse |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
295.21/38.93	c (38,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
295.21/38.93	c (38,0) c | Unaries       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
295.21/38.93	c (38,0) c | Binaries      |                 |          5 |          5 |          5 |          5 |          6 |          7 |          4 |          4 |
295.21/38.93	c (38,0) c | Glues         |                 |        516 |        455 |        555 |        473 |        635 |        439 |        571 |        563 |
295.21/38.93	c (38,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
295.21/38.93	c (38,0) c | Orig_Seen     |            94 % |     144729 |     144732 |     145638 |     141803 |     144800 |     141447 |     144699 |     145538 |
295.21/38.93	c (38,0) c | Diff Orig seen|                 | -      809 | -      806 |        100 | -     3735 | -      738 | -     4091 | -      839 |      X     |
295.21/38.93	c (38,0) c | Hamming       |            30 % |       1120 |        991 |        968 |       1049 |       1066 |        943 |       1153 |      X     |
295.21/38.93	c (38,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
295.21/38.93	c (38,0) 
295.21/38.93	c (38,0) s SATISFIABLE
295.21/38.95	c (38,1) SatSolver.solve End
295.21/38.95	c (38,1) Heap : 1126 MiB used (max 21589 MiB), NonHeap : 30 MiB used (max 0 MiB)
295.21/38.95	c (38,1) Show results Begin
295.21/38.96	c (38,1) ce[0][0][1] = 18
295.21/38.96	c (38,1) ce[0][0][2] = 6
295.21/38.96	c (38,1) ce[0][0][3] = 8
295.21/38.96	c (38,1) ce[0][1][2] = 24
295.21/38.96	c (38,1) ce[0][1][3] = 10
295.21/38.96	c (38,1) ce[0][2][3] = 14
295.21/38.96	c (38,1) ce[1][0][1] = 27
295.21/38.96	c (38,1) ce[1][0][2] = 16
295.21/38.96	c (38,1) ce[1][0][3] = 25
295.21/38.96	c (38,1) ce[1][1][2] = 11
295.21/38.96	c (38,1) ce[1][1][3] = 2
295.21/38.96	c (38,1) ce[1][2][3] = 9
295.21/38.96	c (38,1) ce[2][0][1] = 15
295.21/38.96	c (38,1) ce[2][0][2] = 35
295.21/38.96	c (38,1) ce[2][0][3] = 36
295.21/38.96	c (38,1) ce[2][1][2] = 20
295.21/38.96	c (38,1) ce[2][1][3] = 21
295.21/38.96	c (38,1) ce[2][2][3] = 1
295.21/38.96	c (38,1) ce[3][0][1] = 3
295.21/38.96	c (38,1) ce[3][0][2] = 30
295.21/38.96	c (38,1) ce[3][0][3] = 23
295.21/38.96	c (38,1) ce[3][1][2] = 33
295.21/38.96	c (38,1) ce[3][1][3] = 26
295.21/38.96	c (38,1) ce[3][2][3] = 7
295.21/38.96	c (38,1) cie[0][0] = 5
295.21/38.96	c (38,1) cie[0][1] = 4
295.21/38.96	c (38,1) cie[0][2] = 17
295.21/38.96	c (38,1) cie[0][3] = 12
295.21/38.96	c (38,1) cie[1][0] = 29
295.21/38.96	c (38,1) cie[1][1] = 13
295.21/38.96	c (38,1) cie[1][2] = 22
295.21/38.96	c (38,1) cie[1][3] = 32
295.21/38.96	c (38,1) cie[2][0] = 31
295.21/38.96	c (38,1) cie[2][1] = 19
295.21/38.96	c (38,1) cie[2][2] = 34
295.21/38.96	c (38,1) cie[2][3] = 28
295.21/38.96	c (38,1) cn[0][0] = 12
295.21/38.96	c (38,1) cn[0][1] = 30
295.21/38.96	c (38,1) cn[0][2] = 6
295.21/38.96	c (38,1) cn[0][3] = 20
295.21/38.96	c (38,1) cn[1][0] = 7
295.21/38.96	c (38,1) cn[1][1] = 34
295.21/38.96	c (38,1) cn[1][2] = 23
295.21/38.96	c (38,1) cn[1][3] = 32
295.21/38.96	c (38,1) cn[2][0] = 36
295.21/38.96	c (38,1) cn[2][1] = 21
295.21/38.96	c (38,1) cn[2][2] = 1
295.21/38.96	c (38,1) cn[2][3] = 0
295.21/38.96	c (38,1) cn[3][0] = 5
295.21/38.96	c (38,1) cn[3][1] = 2
295.21/38.96	c (38,1) cn[3][2] = 35
295.21/38.96	c (38,1) cn[3][3] = 28
295.21/38.96	s SATISFIABLE
295.21/38.96	v <instantiation>
295.21/38.96	v     <list>cn[0][0] cn[0][1] cn[0][2] cn[0][3] cn[1][0] cn[1][1] cn[1][2] cn[1][3] cn[2][0] cn[2][1] cn[2][2] cn[2][3] cn[3][0] cn[3][1] cn[3][2] cn[3][3] ce[0][0][1] ce[0][0][2] ce[0][0][3] ce[0][1][2] ce[0][1][3] ce[0][2][3] ce[1][0][1] ce[1][0][2] ce[1][0][3] ce[1][1][2] ce[1][1][3] ce[1][2][3] ce[2][0][1] ce[2][0][2] ce[2][0][3] ce[2][1][2] ce[2][1][3] ce[2][2][3] ce[3][0][1] ce[3][0][2] ce[3][0][3] ce[3][1][2] ce[3][1][3] ce[3][2][3] cie[0][0] cie[0][1] cie[0][2] cie[0][3] cie[1][0] cie[1][1] cie[1][2] cie[1][3] cie[2][0] cie[2][1] cie[2][2] cie[2][3]</list>
295.21/38.96	v     <values>12 30 6 20 7 34 23 32 36 21 1 0 5 2 35 28 18 6 8 24 10 14 27 16 25 11 2 9 15 35 36 20 21 1 3 30 23 33 26 7 5 4 17 12 29 13 22 32 31 19 34 28</values>
295.21/38.96	v </instantiation>
295.21/38.96	c (38,1) Show results End
295.21/38.96	c (38,1) Heap : 1126 MiB used (max 21589 MiB), NonHeap : 30 MiB used (max 0 MiB)
295.21/38.96	c (38,1) 0,0,0,0,1,1,1,38,38,STOP-AFTER(ALL)
295.21/38.96	c END-Prog: Thu Jul 26 22:21:50 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 (6675 MiB free)
  memory of node 1: 16384 MiB (10453 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4297213-1532636471/watcher-4297213-1532636471 -o /tmp/evaluation-result-4297213-1532636471/solver-4297213-1532636471 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node138-1532633938-8345 --watchdog 2580 java -Xms22g -Xmx22g -Xss128m -jar HOME/scop.jar -both -solver HOME/glucose-syrup -solverOption -model:-nthreads=8:-maxmemory=10000 -tmp HOME HOME/instance-4297213-1532636471.xml 

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

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

solver pid=8846, runsolver pid=8843

[startup+0.10043 s]*
/proc/loadavg: 7.99 8.56 8.70 2/200 8866
/proc/meminfo: memFree=17447744/32770624 swapFree=67108796/67108860
[pid=8846] ppid=8843 vsize=27312552 memory=106988 CPUtime=0.1 cores=0-7
/proc/8846/stat : 8846 (java) S 8843 8846 8318 0 -1 1077944320 6787 0 0 0 8 2 0 0 20 0 20 0 81210302 27968053248 26747 33554432000 4194304 4196468 140726002538576 140726002521120 140179218771703 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 36311040 140726002541530 140726002541829 140726002541829 140726002544591 0
/proc/8846/statm: 6828138 26747 2749 1 0 6790598 0
[pid=8846/tid=8848] ppid=8843 vsize=27312552 memory=4427773399811650461 CPUtime=0.09 cores=0-7
/proc/8846/task/8848/stat : 8848 (java) R 8843 8846 8318 0 -1 4202560 4877 0 0 0 7 2 0 0 20 0 20 0 81210302 27968053248 26747 33554432000 4194304 4196468 140726002538576 140179190598032 140179202852190 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 36311040 140726002541530 140726002541829 140726002541829 140726002544591 0
[pid=8846/tid=8849] ppid=8843 vsize=27312552 memory=732370283483335653 CPUtime=0 cores=0-7
/proc/8846/task/8849/stat : 8849 (java) S 8843 8846 8318 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 81210305 27968053248 26747 33554432000 4194304 4196468 140726002538576 140179223013776 140179218781909 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36311040 140726002541530 140726002541829 140726002541829 140726002544591 0
[pid=8846/tid=8850] ppid=8843 vsize=27312552 memory=140145145882240 CPUtime=0 cores=0-7
/proc/8846/task/8850/stat : 8850 (java) S 8843 8846 8318 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 81210305 27968053248 26747 33554432000 4194304 4196468 140726002538576 140179037169936 140179218781909 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36311040 140726002541530 140726002541829 140726002541829 140726002544591 0
[pid=8846/tid=8851] ppid=8843 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/8846/task/8851/stat : 8851 (java) S 8843 8846 8318 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 81210305 27968053248 26747 33554432000 4194304 4196468 140726002538576 140179036117648 140179218781909 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36311040 140726002541530 140726002541829 140726002541829 140726002544591 0
[pid=8846/tid=8852] ppid=8843 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/8846/task/8852/stat : 8852 (java) S 8843 8846 8318 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 81210305 27968053248 26747 33554432000 4194304 4196468 140726002538576 140179035064848 140179218781909 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36311040 140726002541530 140726002541829 140726002541829 140726002544591 0
[pid=8846/tid=8853] ppid=8843 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/8846/task/8853/stat : 8853 (java) S 8843 8846 8318 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 81210305 27968053248 26747 33554432000 4194304 4196468 140726002538576 140179034012560 140179218781909 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36311040 140726002541530 140726002541829 140726002541829 140726002544591 0
[pid=8846/tid=8854] ppid=8843 vsize=27312552 memory=-1 CPUtime=0 cores=0-7
/proc/8846/task/8854/stat : 8854 (java) S 8843 8846 8318 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 81210305 27968053248 26747 33554432000 4194304 4196468 140726002538576 140179032959760 140179218781909 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36311040 140726002541530 140726002541829 140726002541829 140726002544591 0
[pid=8846/tid=8855] ppid=8843 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/8846/task/8855/stat : 8855 (java) S 8843 8846 8318 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 81210305 27968053248 26747 33554432000 4194304 4196468 140726002538576 140179031907472 140179218781909 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36311040 140726002541530 140726002541829 140726002541829 140726002544591 0
[pid=8846/tid=8856] ppid=8843 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/8846/task/8856/stat : 8856 (java) S 8843 8846 8318 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 81210305 27968053248 26747 33554432000 4194304 4196468 140726002538576 140179030854672 140179218781909 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36311040 140726002541530 140726002541829 140726002541829 140726002544591 0
[pid=8846/tid=8857] ppid=8843 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/8846/task/8857/stat : 8857 (java) S 8843 8846 8318 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 81210307 27968053248 26747 33554432000 4194304 4196468 140726002538576 140178277472368 140179218782850 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36311040 140726002541530 140726002541829 140726002541829 140726002544591 0
[pid=8846/tid=8858] ppid=8843 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/8846/task/8858/stat : 8858 (java) S 8843 8846 8318 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 81210307 27968053248 26747 33554432000 4194304 4196468 140726002538576 140177129333536 140179218781909 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36311040 140726002541530 140726002541829 140726002541829 140726002544591 0
[pid=8846/tid=8859] ppid=8843 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/8846/task/8859/stat : 8859 (java) S 8843 8846 8318 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 81210307 27968053248 26747 33554432000 4194304 4196468 140726002538576 140176995112048 140179218781909 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36311040 140726002541530 140726002541829 140726002541829 140726002544591 0
[pid=8846/tid=8860] ppid=8843 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/8846/task/8860/stat : 8860 (java) S 8843 8846 8318 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 81210310 27968053248 26747 33554432000 4194304 4196468 140726002538576 140176620607568 140179218790299 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36311040 140726002541530 140726002541829 140726002541829 140726002544591 0
[pid=8846/tid=8861] ppid=8843 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/8846/task/8861/stat : 8861 (java) S 8843 8846 8318 0 -1 1077944384 300 0 0 0 0 0 0 0 20 0 20 0 81210310 27968053248 26747 33554432000 4194304 4196468 140726002538576 140178276420208 140179218782850 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36311040 140726002541530 140726002541829 140726002541829 140726002544591 0
[pid=8846/tid=8862] ppid=8843 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/8846/task/8862/stat : 8862 (java) S 8843 8846 8318 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 81210310 27968053248 26747 33554432000 4194304 4196468 140726002538576 140178275367408 140179218782850 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36311040 140726002541530 140726002541829 140726002541829 140726002544591 0
[pid=8846/tid=8863] ppid=8843 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/8846/task/8863/stat : 8863 (java) S 8843 8846 8318 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 81210310 27968053248 26747 33554432000 4194304 4196468 140726002538576 140178274315120 140179218782850 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36311040 140726002541530 140726002541829 140726002541829 140726002544591 0
[pid=8846/tid=8864] ppid=8843 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/8846/task/8864/stat : 8864 (java) S 8843 8846 8318 0 -1 1077944384 245 0 0 0 0 0 0 0 20 0 20 0 81210310 27968053248 26747 33554432000 4194304 4196468 140726002538576 140178273262320 140179218782850 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36311040 140726002541530 140726002541829 140726002541829 140726002544591 0
[pid=8846/tid=8865] ppid=8843 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/8846/task/8865/stat : 8865 (java) S 8843 8846 8318 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 81210310 27968053248 26747 33554432000 4194304 4196468 140726002538576 140176122702176 140179218781909 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36311040 140726002541530 140726002541829 140726002541829 140726002544591 0
[pid=8846/tid=8866] ppid=8843 vsize=27312552 memory=-1 CPUtime=0 cores=0-7
/proc/8846/task/8866/stat : 8866 (java) S 8843 8846 8318 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 81210310 27968053248 26747 33554432000 4194304 4196468 140726002538576 140178272209200 140179218782850 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36311040 140726002541530 140726002541829 140726002541829 140726002544591 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 27312552 KiB
Current children cumulated memory: 106988 KiB

[startup+0.210546 s]*
/proc/loadavg: 7.99 8.56 8.70 2/200 8866
/proc/meminfo: memFree=17429448/32770624 swapFree=67108796/67108860
[pid=8846] ppid=8843 vsize=27312552 memory=121632 CPUtime=0.25 cores=0-7
/proc/8846/stat : 8846 (java) S 8843 8846 8318 0 -1 1077944320 10637 0 0 0 21 4 0 0 20 0 20 0 81210302 27968053248 30408 33554432000 4194304 4196468 140726002538576 140726002521120 140179218771703 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 36311040 140726002541530 140726002541829 140726002541829 140726002544591 0
/proc/8846/statm: 6828138 30408 2938 1 0 6790598 0
[pid=8846/tid=8848] ppid=8843 vsize=27312552 memory=32758254098972862 CPUtime=0.2 cores=0-7
/proc/8846/task/8848/stat : 8848 (java) R 8843 8846 8318 0 -1 4202560 8517 0 0 0 17 3 0 0 20 0 20 0 81210302 27968053248 30408 33554432000 4194304 4196468 140726002538576 140179190562368 140179218793629 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 36311040 140726002541530 140726002541829 140726002541829 140726002544591 0
[pid=8846/tid=8849] ppid=8843 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/8846/task/8849/stat : 8849 (java) S 8843 8846 8318 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 81210305 27968053248 30408 33554432000 4194304 4196468 140726002538576 140179223013776 140179218781909 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36311040 140726002541530 140726002541829 140726002541829 140726002544591 0
[pid=8846/tid=8850] ppid=8843 vsize=27312552 memory=140145146339532 CPUtime=0 cores=0-7
/proc/8846/task/8850/stat : 8850 (java) S 8843 8846 8318 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 81210305 27968053248 30408 33554432000 4194304 4196468 140726002538576 140179037169936 140179218781909 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36311040 140726002541530 140726002541829 140726002541829 140726002544591 0
[pid=8846/tid=8851] ppid=8843 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/8846/task/8851/stat : 8851 (java) S 8843 8846 8318 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 81210305 27968053248 30408 33554432000 4194304 4196468 140726002538576 140179036117648 140179218781909 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36311040 140726002541530 140726002541829 140726002541829 140726002544591 0
[pid=8846/tid=8852] ppid=8843 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/8846/task/8852/stat : 8852 (java) S 8843 8846 8318 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 81210305 27968053248 30408 33554432000 4194304 4196468 140726002538576 140179035064848 140179218781909 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36311040 140726002541530 140726002541829 140726002541829 140726002544591 0
[pid=8846/tid=8853] ppid=8843 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/8846/task/8853/stat : 8853 (java) S 8843 8846 8318 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 81210305 27968053248 30408 33554432000 4194304 4196468 140726002538576 140179034012560 140179218781909 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36311040 140726002541530 140726002541829 140726002541829 140726002544591 0
[pid=8846/tid=8854] ppid=8843 vsize=27312552 memory=-1 CPUtime=0 cores=0-7
/proc/8846/task/8854/stat : 8854 (java) S 8843 8846 8318 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 81210305 27968053248 30408 33554432000 4194304 4196468 140726002538576 140179032959760 140179218781909 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36311040 140726002541530 140726002541829 140726002541829 140726002544591 0
[pid=8846/tid=8855] ppid=8843 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/8846/task/8855/stat : 8855 (java) S 8843 8846 8318 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 81210305 27968053248 30408 33554432000 4194304 4196468 140726002538576 140179031907472 140179218781909 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36311040 140726002541530 140726002541829 140726002541829 140726002544591 0
[pid=8846/tid=8856] ppid=8843 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/8846/task/8856/stat : 8856 (java) S 8843 8846 8318 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 81210305 27968053248 30408 33554432000 4194304 4196468 140726002538576 140179030854672 140179218781909 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36311040 140726002541530 140726002541829 140726002541829 140726002544591 0
[pid=8846/tid=8857] ppid=8843 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/8846/task/8857/stat : 8857 (java) S 8843 8846 8318 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 81210307 27968053248 30408 33554432000 4194304 4196468 140726002538576 140178277472368 140179218782850 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36311040 140726002541530 140726002541829 140726002541829 140726002544591 0
[pid=8846/tid=8858] ppid=8843 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/8846/task/8858/stat : 8858 (java) S 8843 8846 8318 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 81210307 27968053248 30408 33554432000 4194304 4196468 140726002538576 140177129333536 140179218781909 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36311040 140726002541530 140726002541829 140726002541829 140726002544591 0
[pid=8846/tid=8859] ppid=8843 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/8846/task/8859/stat : 8859 (java) S 8843 8846 8318 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 81210307 27968053248 30408 33554432000 4194304 4196468 140726002538576 140176995112048 140179218781909 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36311040 140726002541530 140726002541829 140726002541829 140726002544591 0
[pid=8846/tid=8860] ppid=8843 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/8846/task/8860/stat : 8860 (java) S 8843 8846 8318 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 81210310 27968053248 30408 33554432000 4194304 4196468 140726002538576 140176620607568 140179218790299 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36311040 140726002541530 140726002541829 140726002541829 140726002544591 0
[pid=8846/tid=8861] ppid=8843 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/8846/task/8861/stat : 8861 (java) S 8843 8846 8318 0 -1 1077944384 334 0 0 0 0 0 0 0 20 0 20 0 81210310 27968053248 30408 33554432000 4194304 4196468 140726002538576 140178276420208 140179218782850 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36311040 140726002541530 140726002541829 140726002541829 140726002544591 0
[pid=8846/tid=8862] ppid=8843 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/8846/task/8862/stat : 8862 (java) S 8843 8846 8318 0 -1 1077944384 133 0 0 0 0 0 0 0 20 0 20 0 81210310 27968053248 30408 33554432000 4194304 4196468 140726002538576 140178275367408 140179218782850 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36311040 140726002541530 140726002541829 140726002541829 140726002544591 0
[pid=8846/tid=8863] ppid=8843 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/8846/task/8863/stat : 8863 (java) S 8843 8846 8318 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 81210310 27968053248 30408 33554432000 4194304 4196468 140726002538576 140178274315120 140179218782850 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36311040 140726002541530 140726002541829 140726002541829 140726002544591 0
[pid=8846/tid=8864] ppid=8843 vsize=27312552 memory=0 CPUtime=0.02 cores=0-7
/proc/8846/task/8864/stat : 8864 (java) S 8843 8846 8318 0 -1 1077944384 289 0 0 0 2 0 0 0 20 0 20 0 81210310 27968053248 30408 33554432000 4194304 4196468 140726002538576 140178273262320 140179218782850 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36311040 140726002541530 140726002541829 140726002541829 140726002544591 0
[pid=8846/tid=8865] ppid=8843 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/8846/task/8865/stat : 8865 (java) S 8843 8846 8318 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 81210310 27968053248 30408 33554432000 4194304 4196468 140726002538576 140176122702176 140179218781909 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36311040 140726002541530 140726002541829 140726002541829 140726002544591 0
[pid=8846/tid=8866] ppid=8843 vsize=27312552 memory=-1 CPUtime=0 cores=0-7
/proc/8846/task/8866/stat : 8866 (java) S 8843 8846 8318 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 81210310 27968053248 30408 33554432000 4194304 4196468 140726002538576 140178272209200 140179218782850 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36311040 140726002541530 140726002541829 140726002541829 140726002544591 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 27312552 KiB
Current children cumulated memory: 121632 KiB

[startup+0.310446 s]*
/proc/loadavg: 7.99 8.56 8.70 2/200 8866
/proc/meminfo: memFree=17426036/32770624 swapFree=67108796/67108860
[pid=8846] ppid=8843 vsize=27312552 memory=125164 CPUtime=0.42 cores=0-7
/proc/8846/stat : 8846 (java) S 8843 8846 8318 0 -1 1077944320 11207 0 0 0 38 4 0 0 20 0 20 0 81210302 27968053248 31291 33554432000 4194304 4196468 140726002538576 140726002521120 140179218771703 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 36311040 140726002541530 140726002541829 140726002541829 140726002544591 0
/proc/8846/statm: 6828138 31291 2981 1 0 6790598 0
[pid=8846/tid=8848] ppid=8843 vsize=27312552 memory=8112282956445269571 CPUtime=0.29 cores=0-7
/proc/8846/task/8848/stat : 8848 (java) R 8843 8846 8318 0 -1 4202560 8916 0 0 0 26 3 0 0 20 0 20 0 81210302 27968053248 31291 33554432000 4194304 4196468 140726002538576 140179190575856 140179203937375 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 36311040 140726002541530 140726002541829 140726002541829 140726002544591 0
[pid=8846/tid=8849] ppid=8843 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/8846/task/8849/stat : 8849 (java) S 8843 8846 8318 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 81210305 27968053248 31291 33554432000 4194304 4196468 140726002538576 140179223013776 140179218781909 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36311040 140726002541530 140726002541829 140726002541829 140726002544591 0
[pid=8846/tid=8850] ppid=8843 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/8846/task/8850/stat : 8850 (java) S 8843 8846 8318 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 81210305 27968053248 31291 33554432000 4194304 4196468 140726002538576 140179037169936 140179218781909 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36311040 140726002541530 140726002541829 140726002541829 140726002544591 0
[pid=8846/tid=8851] ppid=8843 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/8846/task/8851/stat : 8851 (java) S 8843 8846 8318 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 81210305 27968053248 31291 33554432000 4194304 4196468 140726002538576 140179036117648 140179218781909 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36311040 140726002541530 140726002541829 140726002541829 140726002544591 0
[pid=8846/tid=8852] ppid=8843 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/8846/task/8852/stat : 8852 (java) S 8843 8846 8318 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 81210305 27968053248 31291 33554432000 4194304 4196468 140726002538576 140179035064848 140179218781909 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36311040 140726002541530 140726002541829 140726002541829 140726002544591 0
[pid=8846/tid=8853] ppid=8843 vsize=27312552 memory=2244 CPUtime=0 cores=0-7
/proc/8846/task/8853/stat : 8853 (java) S 8843 8846 8318 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 81210305 27968053248 31291 33554432000 4194304 4196468 140726002538576 140179034012560 140179218781909 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36311040 140726002541530 140726002541829 140726002541829 140726002544591 0
[pid=8846/tid=8854] ppid=8843 vsize=27312552 memory=140144984290223 CPUtime=0 cores=0-7
/proc/8846/task/8854/stat : 8854 (java) S 8843 8846 8318 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 81210305 27968053248 31291 33554432000 4194304 4196468 140726002538576 140179032959760 140179218781909 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36311040 140726002541530 140726002541829 140726002541829 140726002544591 0
[pid=8846/tid=8855] ppid=8843 vsize=27312552 memory=140144984292528 CPUtime=0 cores=0-7
/proc/8846/task/8855/stat : 8855 (java) S 8843 8846 8318 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 81210305 27968053248 31291 33554432000 4194304 4196468 140726002538576 140179031907472 140179218781909 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36311040 140726002541530 140726002541829 140726002541829 140726002544591 0
[pid=8846/tid=8856] ppid=8843 vsize=27312552 memory=140144984294832 CPUtime=0 cores=0-7
/proc/8846/task/8856/stat : 8856 (java) S 8843 8846 8318 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 81210305 27968053248 31291 33554432000 4194304 4196468 140726002538576 140179030854672 140179218781909 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36311040 140726002541530 140726002541829 140726002541829 140726002544591 0
[pid=8846/tid=8857] ppid=8843 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/8846/task/8857/stat : 8857 (java) S 8843 8846 8318 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 81210307 27968053248 31291 33554432000 4194304 4196468 140726002538576 140178277472368 140179218782850 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36311040 140726002541530 140726002541829 140726002541829 140726002544591 0
[pid=8846/tid=8858] ppid=8843 vsize=27312552 memory=280289968596624 CPUtime=0 cores=0-7
/proc/8846/task/8858/stat : 8858 (java) S 8843 8846 8318 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 81210307 27968053248 31291 33554432000 4194304 4196468 140726002538576 140177129333536 140179218781909 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36311040 140726002541530 140726002541829 140726002541829 140726002544591 0
[pid=8846/tid=8859] ppid=8843 vsize=27312552 memory=280289968603536 CPUtime=0 cores=0-7
/proc/8846/task/8859/stat : 8859 (java) S 8843 8846 8318 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 81210307 27968053248 31291 33554432000 4194304 4196468 140726002538576 140176995112048 140179218781909 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36311040 140726002541530 140726002541829 140726002541829 140726002544591 0
[pid=8846/tid=8860] ppid=8843 vsize=27312552 memory=280289968544816 CPUtime=0 cores=0-7
/proc/8846/task/8860/stat : 8860 (java) S 8843 8846 8318 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 81210310 27968053248 31291 33554432000 4194304 4196468 140726002538576 140176620607568 140179218790299 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36311040 140726002541530 140726002541829 140726002541829 140726002544591 0
[pid=8846/tid=8861] ppid=8843 vsize=27312552 memory=280289968617360 CPUtime=0.01 cores=0-7
/proc/8846/task/8861/stat : 8861 (java) S 8843 8846 8318 0 -1 1077944384 369 0 0 0 1 0 0 0 20 0 20 0 81210310 27968053248 31291 33554432000 4194304 4196468 140726002538576 140178276420208 140179218782850 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36311040 140726002541530 140726002541829 140726002541829 140726002544591 0
[pid=8846/tid=8862] ppid=8843 vsize=27312552 memory=280289968624272 CPUtime=0.02 cores=0-7
/proc/8846/task/8862/stat : 8862 (java) S 8843 8846 8318 0 -1 1077944384 237 0 0 0 2 0 0 0 20 0 20 0 81210310 27968053248 31291 33554432000 4194304 4196468 140726002538576 140178275367408 140179218782850 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36311040 140726002541530 140726002541829 140726002541829 140726002544591 0
[pid=8846/tid=8863] ppid=8843 vsize=27312552 memory=280289968621968 CPUtime=0 cores=0-7
/proc/8846/task/8863/stat : 8863 (java) S 8843 8846 8318 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 20 0 81210310 27968053248 31291 33554432000 4194304 4196468 140726002538576 140178274315120 140179218782850 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36311040 140726002541530 140726002541829 140726002541829 140726002544591 0
[pid=8846/tid=8864] ppid=8843 vsize=27312552 memory=280289968638528 CPUtime=0.07 cores=0-7
/proc/8846/task/8864/stat : 8864 (java) S 8843 8846 8318 0 -1 1077944384 313 0 0 0 7 0 0 0 20 0 20 0 81210310 27968053248 31291 33554432000 4194304 4196468 140726002538576 140178273262320 140179218782850 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36311040 140726002541530 140726002541829 140726002541829 140726002544591 0
[pid=8846/tid=8865] ppid=8843 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/8846/task/8865/stat : 8865 (java) S 8843 8846 8318 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 81210310 27968053248 31291 33554432000 4194304 4196468 140726002538576 140176122702176 140179218781909 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36311040 140726002541530 140726002541829 140726002541829 140726002544591 0
[pid=8846/tid=8866] ppid=8843 vsize=27312552 memory=-1 CPUtime=0 cores=0-7
/proc/8846/task/8866/stat : 8866 (java) S 8843 8846 8318 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 81210310 27968053248 31291 33554432000 4194304 4196468 140726002538576 140178272209200 140179218782850 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36311040 140726002541530 140726002541829 140726002541829 140726002544591 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 27312552 KiB
Current children cumulated memory: 125164 KiB

[startup+0.700912 s]
/proc/loadavg: 7.99 8.56 8.70 2/200 8866
/proc/meminfo: memFree=17401976/32770624 swapFree=67108796/67108860
[pid=8846] ppid=8843 vsize=27318824 memory=162764 CPUtime=0.98 cores=0-7
/proc/8846/stat : 8846 (java) S 8843 8846 8318 0 -1 1077944320 18241 0 0 0 91 7 0 0 20 0 20 0 81210302 27974475776 40691 33554432000 4194304 4196468 140726002538576 140726002521120 140179218771703 0 0 0 25189583 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 36311040 140726002541530 140726002541829 140726002541829 140726002544591 0
/proc/8846/statm: 6829706 40691 3151 1 0 6791110 0
[pid=8846/tid=8848] ppid=8843 vsize=27318824 memory=7013339647935275860 CPUtime=0.67 cores=0-7
/proc/8846/task/8848/stat : 8848 (java) R 8843 8846 8318 0 -1 4202560 15494 0 0 0 61 6 0 0 20 0 20 0 81210302 27974475776 40691 33554432000 4194304 4196468 140726002538576 140179190603600 140178689752641 0 4 0 25189583 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 36311040 140726002541530 140726002541829 140726002541829 140726002544591 0
[pid=8846/tid=8849] ppid=8843 vsize=27318824 memory=38074885096770 CPUtime=0 cores=0-7
/proc/8846/task/8849/stat : 8849 (java) S 8843 8846 8318 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 81210305 27974475776 40691 33554432000 4194304 4196468 140726002538576 140179223013776 140179218781909 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36311040 140726002541530 140726002541829 140726002541829 140726002544591 0
[pid=8846/tid=8850] ppid=8843 vsize=27318824 memory=140144984301255 CPUtime=0 cores=0-7
/proc/8846/task/8850/stat : 8850 (java) S 8843 8846 8318 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 81210305 27974475776 40691 33554432000 4194304 4196468 140726002538576 140179037169936 140179218781909 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36311040 140726002541530 140726002541829 140726002541829 140726002544591 0
[pid=8846/tid=8851] ppid=8843 vsize=27318824 memory=0 CPUtime=0 cores=0-7
/proc/8846/task/8851/stat : 8851 (java) S 8843 8846 8318 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 81210305 27974475776 40691 33554432000 4194304 4196468 140726002538576 140179036117648 140179218781909 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36311040 140726002541530 140726002541829 140726002541829 140726002544591 0
[pid=8846/tid=8852] ppid=8843 vsize=27318824 memory=0 CPUtime=0 cores=0-7
/proc/8846/task/8852/stat : 8852 (java) S 8843 8846 8318 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 81210305 27974475776 40691 33554432000 4194304 4196468 140726002538576 140179035064848 140179218781909 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36311040 140726002541530 140726002541829 140726002541829 140726002544591 0
[pid=8846/tid=8853] ppid=8843 vsize=27318824 memory=0 CPUtime=0 cores=0-7
/proc/8846/task/8853/stat : 8853 (java) S 8843 8846 8318 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 81210305 27974475776 40691 33554432000 4194304 4196468 140726002538576 140179034012560 140179218781909 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36311040 140726002541530 140726002541829 140726002541829 140726002544591 0
[pid=8846/tid=8854] ppid=8843 vsize=27318824 memory=0 CPUtime=0 cores=0-7
/proc/8846/task/8854/stat : 8854 (java) S 8843 8846 8318 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 81210305 27974475776 40691 33554432000 4194304 4196468 140726002538576 140179032959760 140179218781909 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36311040 140726002541530 140726002541829 140726002541829 140726002544591 0
[pid=8846/tid=8855] ppid=8843 vsize=27318824 memory=0 CPUtime=0 cores=0-7
/proc/8846/task/8855/stat : 8855 (java) S 8843 8846 8318 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 81210305 27974475776 40691 33554432000 4194304 4196468 140726002538576 140179031907472 140179218781909 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36311040 140726002541530 140726002541829 140726002541829 140726002544591 0
[pid=8846/tid=8856] ppid=8843 vsize=27318824 memory=1628 CPUtime=0 cores=0-7
/proc/8846/task/8856/stat : 8856 (java) S 8843 8846 8318 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 81210305 27974475776 40691 33554432000 4194304 4196468 140726002538576 140179030854672 140179218781909 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36311040 140726002541530 140726002541829 140726002541829 140726002544591 0
[pid=8846/tid=8857] ppid=8843 vsize=27318824 memory=8876 CPUtime=0 cores=0-7
/proc/8846/task/8857/stat : 8857 (java) S 8843 8846 8318 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 81210307 27974475776 40691 33554432000 4194304 4196468 140726002538576 140178277472368 140179218782850 0 0 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36311040 140726002541530 140726002541829 140726002541829 140726002544591 0

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

[pid=8846/tid=8870] ppid=8843 vsize=27982760 memory=2088 CPUtime=0 cores=0-7
/proc/8846/task/8870/stat : 8870 (java) S 8843 8846 8318 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 24 0 81210543 28654346240 146144 33554432000 4194304 4196468 140726002538576 140175451602736 140179218793629 0 4 0 25189583 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 36311040 140726002541530 140726002541829 140726002541829 140726002544591 0
[pid=8846/tid=8871] ppid=8843 vsize=27982760 memory=1040 CPUtime=0 cores=0-7
/proc/8846/task/8871/stat : 8871 (java) S 8843 8846 8318 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 24 0 81210543 28654346240 146144 33554432000 4194304 4196468 140726002538576 140175720038064 140179218793629 0 4 0 25189583 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 36311040 140726002541530 140726002541829 140726002541829 140726002544591 0
[pid=8846/tid=8872] ppid=8843 vsize=27982760 memory=1628 CPUtime=0 cores=0-7
/proc/8846/task/8872/stat : 8872 (java) S 8843 8846 8318 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 24 0 81210545 28654346240 146144 33554432000 4194304 4196468 140726002538576 140175183175456 140179218781909 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36311040 140726002541530 140726002541829 140726002541829 140726002544591 0
Current children cumulated CPU time: 291.22 s
Current children cumulated vsize: 28676872 KiB
Current children cumulated memory: 926404 KiB

[startup+38.8021 s]
/proc/loadavg: 8.00 8.50 8.67 9/213 8880
/proc/meminfo: memFree=16625212/32770624 swapFree=67108796/67108860
[pid=8846] ppid=8843 vsize=27982760 memory=584576 CPUtime=6.29 cores=0-7
/proc/8846/stat : 8846 (java) S 8843 8846 8318 0 -1 1077944320 27001 0 0 0 609 20 0 0 20 0 24 0 81210302 28654346240 146144 33554432000 4194304 4196468 140726002538576 140726002521120 140179218771703 0 0 0 25189583 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 36311040 140726002541530 140726002541829 140726002541829 140726002544591 0
/proc/8846/statm: 6995690 146144 3225 1 0 6956546 0
[pid=8867] ppid=8846 vsize=694112 memory=344104 CPUtime=288.12 cores=0-7
/proc/8867/stat : 8867 (glucose-syrup) S 8846 8846 8318 0 -1 1077944320 182614 0 0 0 28766 46 0 0 20 0 9 0 81210543 710770688 86026 33554432000 4194304 4373367 140729758873344 140729758871888 139756936960642 0 4 0 8388610 18446744073709551615 0 0 17 6 0 0 0 0 0 6470912 6472264 25051136 140729758876593 140729758876844 140729758876844 140729758879687 0
/proc/8867/statm: 173528 86026 384 44 0 169216 0
[pid=8867/tid=8873] ppid=8846 vsize=694112 memory=17804 CPUtime=36.07 cores=0-7
/proc/8867/task/8873/stat : 8873 (glucose-syrup) R 8846 8846 8318 0 -1 4202560 19516 0 0 0 3602 5 0 0 20 0 9 0 81210573 710770688 86026 33554432000 4194304 4373367 140729758873344 139756904824080 4271619 0 4 0 8388610 0 0 0 -1 5 0 0 0 0 0 6470912 6472264 25051136 140729758876593 140729758876844 140729758876844 140729758879687 0
[pid=8867/tid=8874] ppid=8846 vsize=694112 memory=4016 CPUtime=36.07 cores=0-7
/proc/8867/task/8874/stat : 8874 (glucose-syrup) R 8846 8846 8318 0 -1 4202560 24845 0 0 0 3602 5 0 0 20 0 9 0 81210573 710770688 86026 33554432000 4194304 4373367 140729758873344 139756896431248 4271897 0 4 0 8388610 0 0 0 -1 6 0 0 0 0 0 6470912 6472264 25051136 140729758876593 140729758876844 140729758876844 140729758879687 0
[pid=8867/tid=8875] ppid=8846 vsize=694112 memory=644 CPUtime=35.63 cores=0-7
/proc/8867/task/8875/stat : 8875 (glucose-syrup) R 8846 8846 8318 0 -1 4202560 20573 0 0 0 3556 7 0 0 20 0 9 0 81210573 710770688 86026 33554432000 4194304 4373367 140729758873344 139756888038672 4258981 0 4 0 8388610 0 0 0 -1 7 0 0 0 0 0 6470912 6472264 25051136 140729758876593 140729758876844 140729758876844 140729758879687 0
[pid=8867/tid=8876] ppid=8846 vsize=694112 memory=1676 CPUtime=36.05 cores=0-7
/proc/8867/task/8876/stat : 8876 (glucose-syrup) R 8846 8846 8318 0 -1 4202560 19906 0 0 0 3601 4 0 0 20 0 9 0 81210573 710770688 86026 33554432000 4194304 4373367 140729758873344 139756879646064 4272031 0 4 0 8388610 0 0 0 -1 0 0 0 0 0 0 6470912 6472264 25051136 140729758876593 140729758876844 140729758876844 140729758879687 0
[pid=8867/tid=8877] ppid=8846 vsize=694112 memory=960 CPUtime=35.72 cores=0-7
/proc/8867/task/8877/stat : 8877 (glucose-syrup) R 8846 8846 8318 0 -1 4202560 20547 0 0 0 3566 6 0 0 20 0 9 0 81210573 710770688 86026 33554432000 4194304 4373367 140729758873344 139756871253136 4271897 0 4 0 8388610 0 0 0 -1 1 0 0 0 0 0 6470912 6472264 25051136 140729758876593 140729758876844 140729758876844 140729758879687 0
[pid=8867/tid=8878] ppid=8846 vsize=694112 memory=1232 CPUtime=36.07 cores=0-7
/proc/8867/task/8878/stat : 8878 (glucose-syrup) R 8846 8846 8318 0 -1 4202560 20418 0 0 0 3602 5 0 0 20 0 9 0 81210573 710770688 86026 33554432000 4194304 4373367 140729758873344 139756862860560 4249218 0 4 0 8388610 0 0 0 -1 4 0 0 0 0 0 6470912 6472264 25051136 140729758876593 140729758876844 140729758876844 140729758879687 0
[pid=8867/tid=8879] ppid=8846 vsize=694112 memory=2241 CPUtime=36.07 cores=0-7
/proc/8867/task/8879/stat : 8879 (glucose-syrup) R 8846 8846 8318 0 -1 4202560 20483 0 0 0 3602 5 0 0 20 0 9 0 81210573 710770688 86026 33554432000 4194304 4373367 140729758873344 139756854467856 4271808 0 4 0 8388610 0 0 0 -1 3 0 0 0 0 0 6470912 6472264 25051136 140729758876593 140729758876844 140729758876844 140729758879687 0
[pid=8867/tid=8880] ppid=8846 vsize=694112 memory=280289969461344 CPUtime=36.07 cores=0-7
/proc/8867/task/8880/stat : 8880 (glucose-syrup) R 8846 8846 8318 0 -1 4202560 20028 0 0 0 3605 2 0 0 20 0 9 0 81210574 710770688 86026 33554432000 4194304 4373367 140729758873344 139756846075152 4258844 0 4 0 8388610 0 0 0 -1 2 0 0 0 0 0 6470912 6472264 25051136 140729758876593 140729758876844 140729758876844 140729758879687 0
[pid=8846/tid=8848] ppid=8843 vsize=27982760 memory=8039887049847965350 CPUtime=2.41 cores=0-7
/proc/8846/task/8848/stat : 8848 (java) S 8843 8846 8318 0 -1 1077944384 17630 0 0 0 228 13 0 0 20 0 24 0 81210302 28654346240 146144 33554432000 4194304 4196468 140726002538576 140179190610944 140179218781909 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36311040 140726002541530 140726002541829 140726002541829 140726002544591 0
[pid=8846/tid=8849] ppid=8843 vsize=27982760 memory=304684 CPUtime=0 cores=0-7
/proc/8846/task/8849/stat : 8849 (java) S 8843 8846 8318 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 81210305 28654346240 146144 33554432000 4194304 4196468 140726002538576 140179223013776 140179218781909 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36311040 140726002541530 140726002541829 140726002541829 140726002544591 0
[pid=8846/tid=8850] ppid=8843 vsize=27982760 memory=768 CPUtime=0 cores=0-7
/proc/8846/task/8850/stat : 8850 (java) S 8843 8846 8318 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 81210305 28654346240 146144 33554432000 4194304 4196468 140726002538576 140179037169936 140179218781909 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36311040 140726002541530 140726002541829 140726002541829 140726002544591 0
[pid=8846/tid=8851] ppid=8843 vsize=27982760 memory=768 CPUtime=0 cores=0-7
/proc/8846/task/8851/stat : 8851 (java) S 8843 8846 8318 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 81210305 28654346240 146144 33554432000 4194304 4196468 140726002538576 140179036117648 140179218781909 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36311040 140726002541530 140726002541829 140726002541829 140726002544591 0
[pid=8846/tid=8852] ppid=8843 vsize=27982760 memory=767 CPUtime=0 cores=0-7
/proc/8846/task/8852/stat : 8852 (java) S 8843 8846 8318 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 81210305 28654346240 146144 33554432000 4194304 4196468 140726002538576 140179035064848 140179218781909 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36311040 140726002541530 140726002541829 140726002541829 140726002544591 0
[pid=8846/tid=8853] ppid=8843 vsize=27982760 memory=241 CPUtime=0 cores=0-7
/proc/8846/task/8853/stat : 8853 (java) S 8843 8846 8318 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 81210305 28654346240 146144 33554432000 4194304 4196468 140726002538576 140179034012560 140179218781909 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36311040 140726002541530 140726002541829 140726002541829 140726002544591 0
[pid=8846/tid=8854] ppid=8843 vsize=27982760 memory=0 CPUtime=0 cores=0-7
/proc/8846/task/8854/stat : 8854 (java) S 8843 8846 8318 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 81210305 28654346240 146144 33554432000 4194304 4196468 140726002538576 140179032959760 140179218781909 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36311040 140726002541530 140726002541829 140726002541829 140726002544591 0
[pid=8846/tid=8855] ppid=8843 vsize=27982760 memory=140144984495201 CPUtime=0 cores=0-7
/proc/8846/task/8855/stat : 8855 (java) S 8843 8846 8318 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 81210305 28654346240 146144 33554432000 4194304 4196468 140726002538576 140179031907472 140179218781909 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36311040 140726002541530 140726002541829 140726002541829 140726002544591 0
[pid=8846/tid=8856] ppid=8843 vsize=27982760 memory=7883388872395747943 CPUtime=0 cores=0-7
/proc/8846/task/8856/stat : 8856 (java) S 8843 8846 8318 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 81210305 28654346240 146144 33554432000 4194304 4196468 140726002538576 140179030854672 140179218781909 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36311040 140726002541530 140726002541829 140726002541829 140726002544591 0
[pid=8846/tid=8857] ppid=8843 vsize=27982760 memory=306732 CPUtime=0 cores=0-7
/proc/8846/task/8857/stat : 8857 (java) S 8843 8846 8318 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 24 0 81210307 28654346240 146144 33554432000 4194304 4196468 140726002538576 140178277472368 140179218782850 0 0 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36311040 140726002541530 140726002541829 140726002541829 140726002544591 0
[pid=8846/tid=8858] ppid=8843 vsize=27982760 memory=7451015713254695781 CPUtime=0 cores=0-7
/proc/8846/task/8858/stat : 8858 (java) S 8843 8846 8318 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 81210307 28654346240 146144 33554432000 4194304 4196468 140726002538576 140177129333536 140179218781909 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36311040 140726002541530 140726002541829 140726002541829 140726002544591 0
[pid=8846/tid=8859] ppid=8843 vsize=27982760 memory=584576 CPUtime=0 cores=0-7
/proc/8846/task/8859/stat : 8859 (java) S 8843 8846 8318 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 24 0 81210307 28654346240 146144 33554432000 4194304 4196468 140726002538576 140176995112048 140179218781909 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36311040 140726002541530 140726002541829 140726002541829 140726002544591 0
[pid=8846/tid=8860] ppid=8843 vsize=27982760 memory=584576 CPUtime=0 cores=0-7
/proc/8846/task/8860/stat : 8860 (java) S 8843 8846 8318 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 81210310 28654346240 146144 33554432000 4194304 4196468 140726002538576 140176620607568 140179218790299 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36311040 140726002541530 140726002541829 140726002541829 140726002544591 0
[pid=8846/tid=8861] ppid=8843 vsize=27982760 memory=316112 CPUtime=0.93 cores=0-7
/proc/8846/task/8861/stat : 8861 (java) S 8843 8846 8318 0 -1 1077944384 2165 0 0 0 91 2 0 0 20 0 24 0 81210310 28654346240 146144 33554432000 4194304 4196468 140726002538576 140178276420208 140179218782850 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36311040 140726002541530 140726002541829 140726002541829 140726002544591 0
[pid=8846/tid=8862] ppid=8843 vsize=27982760 memory=584576 CPUtime=1.1 cores=0-7
/proc/8846/task/8862/stat : 8862 (java) S 8843 8846 8318 0 -1 1077944384 1955 0 0 0 109 1 0 0 20 0 24 0 81210310 28654346240 146144 33554432000 4194304 4196468 140726002538576 140178275367408 140179218782850 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36311040 140726002541530 140726002541829 140726002541829 140726002544591 0
[pid=8846/tid=8863] ppid=8843 vsize=27982760 memory=341172 CPUtime=0.9 cores=0-7
/proc/8846/task/8863/stat : 8863 (java) S 8843 8846 8318 0 -1 1077944384 769 0 0 0 89 1 0 0 20 0 24 0 81210310 28654346240 146144 33554432000 4194304 4196468 140726002538576 140178274315120 140179218782850 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36311040 140726002541530 140726002541829 140726002541829 140726002544591 0
[pid=8846/tid=8864] ppid=8843 vsize=27982760 memory=8039887049847965350 CPUtime=0.89 cores=0-7
/proc/8846/task/8864/stat : 8864 (java) S 8843 8846 8318 0 -1 1077944384 3053 0 0 0 88 1 0 0 20 0 24 0 81210310 28654346240 146144 33554432000 4194304 4196468 140726002538576 140178273262320 140179218782850 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36311040 140726002541530 140726002541829 140726002541829 140726002544591 0
[pid=8846/tid=8865] ppid=8843 vsize=27982760 memory=0 CPUtime=0 cores=0-7
/proc/8846/task/8865/stat : 8865 (java) S 8843 8846 8318 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 81210310 28654346240 146144 33554432000 4194304 4196468 140726002538576 140176122702176 140179218781909 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36311040 140726002541530 140726002541829 140726002541829 140726002544591 0
[pid=8846/tid=8866] ppid=8843 vsize=27982760 memory=0 CPUtime=0.01 cores=0-7
/proc/8846/task/8866/stat : 8866 (java) R 8843 8846 8318 0 -1 4202560 5 0 0 0 0 1 0 0 20 0 24 0 81210310 28654346240 146144 33554432000 4194304 4196468 140726002538576 140178272209200 140179218782850 0 4 0 25189583 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 36311040 140726002541530 140726002541829 140726002541829 140726002544591 0
[pid=8846/tid=8868] ppid=8843 vsize=27982760 memory=0 CPUtime=0 cores=0-7
/proc/8846/task/8868/stat : 8868 (java) S 8843 8846 8318 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 81210543 28654346240 146144 33554432000 4194304 4196468 140726002538576 140178606396736 140179218796313 0 4 0 25189583 18446744071579417331 0 0 -1 5 0 0 0 0 0 6293624 6294260 36311040 140726002541530 140726002541829 140726002541829 140726002544591 0
[pid=8846/tid=8870] ppid=8843 vsize=27982760 memory=0 CPUtime=0 cores=0-7
/proc/8846/task/8870/stat : 8870 (java) S 8843 8846 8318 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 24 0 81210543 28654346240 146144 33554432000 4194304 4196468 140726002538576 140175451602736 140179218793629 0 4 0 25189583 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 36311040 140726002541530 140726002541829 140726002541829 140726002544591 0
[pid=8846/tid=8871] ppid=8843 vsize=27982760 memory=140144985171812 CPUtime=0 cores=0-7
/proc/8846/task/8871/stat : 8871 (java) S 8843 8846 8318 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 24 0 81210543 28654346240 146144 33554432000 4194304 4196468 140726002538576 140175720038064 140179218793629 0 4 0 25189583 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 36311040 140726002541530 140726002541829 140726002541829 140726002544591 0
[pid=8846/tid=8872] ppid=8843 vsize=27982760 memory=280289970334912 CPUtime=0 cores=0-7
/proc/8846/task/8872/stat : 8872 (java) S 8843 8846 8318 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 24 0 81210545 28654346240 146144 33554432000 4194304 4196468 140726002538576 140175183175456 140179218781909 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36311040 140726002541530 140726002541829 140726002541829 140726002544591 0
Current children cumulated CPU time: 294.41 s
Current children cumulated vsize: 28676872 KiB
Current children cumulated memory: 928680 KiB

[startup+38.9021 s]
/proc/loadavg: 8.00 8.50 8.67 9/213 8880
/proc/meminfo: memFree=16625212/32770624 swapFree=67108796/67108860
[pid=8846] ppid=8843 vsize=27982760 memory=584576 CPUtime=6.29 cores=0-7
/proc/8846/stat : 8846 (java) S 8843 8846 8318 0 -1 1077944320 27001 0 0 0 609 20 0 0 20 0 24 0 81210302 28654346240 146144 33554432000 4194304 4196468 140726002538576 140726002521120 140179218771703 0 0 0 25189583 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 36311040 140726002541530 140726002541829 140726002541829 140726002544591 0
/proc/8846/statm: 6995690 146144 3225 1 0 6956546 0
[pid=8867] ppid=8846 vsize=694112 memory=344324 CPUtime=288.92 cores=0-7
/proc/8867/stat : 8867 (glucose-syrup) S 8846 8846 8318 0 -1 1077944320 182645 0 0 0 28846 46 0 0 20 0 9 0 81210543 710770688 86081 33554432000 4194304 4373367 140729758873344 140729758871888 139756936960642 0 4 0 8388610 18446744073709551615 0 0 17 6 0 0 0 0 0 6470912 6472264 25051136 140729758876593 140729758876844 140729758876844 140729758879687 0
/proc/8867/statm: 173528 86081 384 44 0 169216 0
[pid=8867/tid=8873] ppid=8846 vsize=694112 memory=341828 CPUtime=36.17 cores=0-7
/proc/8867/task/8873/stat : 8873 (glucose-syrup) R 8846 8846 8318 0 -1 4202560 19516 0 0 0 3612 5 0 0 20 0 9 0 81210573 710770688 86081 33554432000 4194304 4373367 140729758873344 139756904824080 4258894 0 4 0 8388610 0 0 0 -1 5 0 0 0 0 0 6470912 6472264 25051136 140729758876593 140729758876844 140729758876844 140729758879687 0
[pid=8867/tid=8874] ppid=8846 vsize=694112 memory=344104 CPUtime=36.17 cores=0-7
/proc/8867/task/8874/stat : 8874 (glucose-syrup) R 8846 8846 8318 0 -1 4202560 24876 0 0 0 3612 5 0 0 20 0 9 0 81210573 710770688 86081 33554432000 4194304 4373367 140729758873344 139756896431376 4271817 0 4 0 8388610 0 0 0 -1 6 0 0 0 0 0 6470912 6472264 25051136 140729758876593 140729758876844 140729758876844 140729758879687 0
[pid=8867/tid=8875] ppid=8846 vsize=694112 memory=584576 CPUtime=35.73 cores=0-7
/proc/8867/task/8875/stat : 8875 (glucose-syrup) R 8846 8846 8318 0 -1 4202560 20573 0 0 0 3566 7 0 0 20 0 9 0 81210573 710770688 86081 33554432000 4194304 4373367 140729758873344 139756888038544 4271897 0 4 0 8388610 0 0 0 -1 7 0 0 0 0 0 6470912 6472264 25051136 140729758876593 140729758876844 140729758876844 140729758879687 0
[pid=8867/tid=8876] ppid=8846 vsize=694112 memory=280289969236672 CPUtime=36.15 cores=0-7
/proc/8867/task/8876/stat : 8876 (glucose-syrup) R 8846 8846 8318 0 -1 4202560 19906 0 0 0 3611 4 0 0 20 0 9 0 81210573 710770688 86081 33554432000 4194304 4373367 140729758873344 139756879646064 4259412 0 4 0 8388610 0 0 0 -1 0 0 0 0 0 0 6470912 6472264 25051136 140729758876593 140729758876844 140729758876844 140729758879687 0
[pid=8867/tid=8877] ppid=8846 vsize=694112 memory=584576 CPUtime=35.82 cores=0-7
/proc/8867/task/8877/stat : 8877 (glucose-syrup) R 8846 8846 8318 0 -1 4202560 20547 0 0 0 3576 6 0 0 20 0 9 0 81210573 710770688 86081 33554432000 4194304 4373367 140729758873344 139756871253136 4271619 0 4 0 8388610 0 0 0 -1 1 0 0 0 0 0 6470912 6472264 25051136 140729758876593 140729758876844 140729758876844 140729758879687 0
[pid=8867/tid=8878] ppid=8846 vsize=694112 memory=76201309783371 CPUtime=36.17 cores=0-7
/proc/8867/task/8878/stat : 8878 (glucose-syrup) R 8846 8846 8318 0 -1 4202560 20418 0 0 0 3612 5 0 0 20 0 9 0 81210573 710770688 86081 33554432000 4194304 4373367 140729758873344 139756862860560 4271828 0 4 0 8388610 0 0 0 -1 4 0 0 0 0 0 6470912 6472264 25051136 140729758876593 140729758876844 140729758876844 140729758879687 0
[pid=8867/tid=8879] ppid=8846 vsize=694112 memory=584576 CPUtime=36.17 cores=0-7
/proc/8867/task/8879/stat : 8879 (glucose-syrup) R 8846 8846 8318 0 -1 4202560 20483 0 0 0 3612 5 0 0 20 0 9 0 81210573 710770688 86081 33554432000 4194304 4373367 140729758873344 139756854467856 4272316 0 4 0 8388610 0 0 0 -1 3 0 0 0 0 0 6470912 6472264 25051136 140729758876593 140729758876844 140729758876844 140729758879687 0
[pid=8867/tid=8880] ppid=8846 vsize=694112 memory=312488 CPUtime=36.17 cores=0-7
/proc/8867/task/8880/stat : 8880 (glucose-syrup) R 8846 8846 8318 0 -1 4202560 20028 0 0 0 3615 2 0 0 20 0 9 0 81210574 710770688 86081 33554432000 4194304 4373367 140729758873344 139756846075248 4271871 0 4 0 8388610 0 0 0 -1 2 0 0 0 0 0 6470912 6472264 25051136 140729758876593 140729758876844 140729758876844 140729758879687 0
[pid=8846/tid=8848] ppid=8843 vsize=27982760 memory=280289969199600 CPUtime=2.41 cores=0-7
/proc/8846/task/8848/stat : 8848 (java) S 8843 8846 8318 0 -1 1077944384 17630 0 0 0 228 13 0 0 20 0 24 0 81210302 28654346240 146144 33554432000 4194304 4196468 140726002538576 140179190610944 140179218781909 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36311040 140726002541530 140726002541829 140726002541829 140726002544591 0
[pid=8846/tid=8849] ppid=8843 vsize=27982760 memory=40166735481066 CPUtime=0 cores=0-7
/proc/8846/task/8849/stat : 8849 (java) S 8843 8846 8318 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 81210305 28654346240 146144 33554432000 4194304 4196468 140726002538576 140179223013776 140179218781909 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36311040 140726002541530 140726002541829 140726002541829 140726002544591 0
[pid=8846/tid=8850] ppid=8843 vsize=27982760 memory=584576 CPUtime=0 cores=0-7
/proc/8846/task/8850/stat : 8850 (java) S 8843 8846 8318 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 81210305 28654346240 146144 33554432000 4194304 4196468 140726002538576 140179037169936 140179218781909 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36311040 140726002541530 140726002541829 140726002541829 140726002544591 0
[pid=8846/tid=8851] ppid=8843 vsize=27982760 memory=0 CPUtime=0 cores=0-7
/proc/8846/task/8851/stat : 8851 (java) S 8843 8846 8318 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 81210305 28654346240 146144 33554432000 4194304 4196468 140726002538576 140179036117648 140179218781909 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36311040 140726002541530 140726002541829 140726002541829 140726002544591 0
[pid=8846/tid=8852] ppid=8843 vsize=27982760 memory=8039887049847965350 CPUtime=0 cores=0-7
/proc/8846/task/8852/stat : 8852 (java) S 8843 8846 8318 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 81210305 28654346240 146144 33554432000 4194304 4196468 140726002538576 140179035064848 140179218781909 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36311040 140726002541530 140726002541829 140726002541829 140726002544591 0
[pid=8846/tid=8853] ppid=8843 vsize=27982760 memory=323884 CPUtime=0 cores=0-7
/proc/8846/task/8853/stat : 8853 (java) S 8843 8846 8318 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 81210305 28654346240 146144 33554432000 4194304 4196468 140726002538576 140179034012560 140179218781909 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36311040 140726002541530 140726002541829 140726002541829 140726002544591 0
[pid=8846/tid=8854] ppid=8843 vsize=27982760 memory=0 CPUtime=0 cores=0-7
/proc/8846/task/8854/stat : 8854 (java) S 8843 8846 8318 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 81210305 28654346240 146144 33554432000 4194304 4196468 140726002538576 140179032959760 140179218781909 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36311040 140726002541530 140726002541829 140726002541829 140726002544591 0
[pid=8846/tid=8855] ppid=8843 vsize=27982760 memory=280289970099648 CPUtime=0 cores=0-7
/proc/8846/task/8855/stat : 8855 (java) S 8843 8846 8318 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 81210305 28654346240 146144 33554432000 4194304 4196468 140726002538576 140179031907472 140179218781909 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36311040 140726002541530 140726002541829 140726002541829 140726002544591 0
[pid=8846/tid=8856] ppid=8843 vsize=27982760 memory=576587670020715552 CPUtime=0 cores=0-7
/proc/8846/task/8856/stat : 8856 (java) S 8843 8846 8318 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 81210305 28654346240 146144 33554432000 4194304 4196468 140726002538576 140179030854672 140179218781909 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36311040 140726002541530 140726002541829 140726002541829 140726002544591 0
[pid=8846/tid=8857] ppid=8843 vsize=27982760 memory=288293289722132241 CPUtime=0 cores=0-7
/proc/8846/task/8857/stat : 8857 (java) S 8843 8846 8318 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 24 0 81210307 28654346240 146144 33554432000 4194304 4196468 140726002538576 140178277472368 140179218782850 0 0 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36311040 140726002541530 140726002541829 140726002541829 140726002544591 0
[pid=8846/tid=8858] ppid=8843 vsize=27982760 memory=0 CPUtime=0 cores=0-7
/proc/8846/task/8858/stat : 8858 (java) S 8843 8846 8318 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 81210307 28654346240 146144 33554432000 4194304 4196468 140726002538576 140177129333536 140179218781909 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36311040 140726002541530 140726002541829 140726002541829 140726002544591 0
[pid=8846/tid=8859] ppid=8843 vsize=27982760 memory=93 CPUtime=0 cores=0-7
/proc/8846/task/8859/stat : 8859 (java) S 8843 8846 8318 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 24 0 81210307 28654346240 146144 33554432000 4194304 4196468 140726002538576 140176995112048 140179218781909 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36311040 140726002541530 140726002541829 140726002541829 140726002544591 0
[pid=8846/tid=8860] ppid=8843 vsize=27982760 memory=110 CPUtime=0 cores=0-7
/proc/8846/task/8860/stat : 8860 (java) S 8843 8846 8318 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 81210310 28654346240 146144 33554432000 4194304 4196468 140726002538576 140176620607568 140179218790299 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36311040 140726002541530 140726002541829 140726002541829 140726002544591 0
[pid=8846/tid=8861] ppid=8843 vsize=27982760 memory=3708 CPUtime=0.93 cores=0-7
/proc/8846/task/8861/stat : 8861 (java) S 8843 8846 8318 0 -1 1077944384 2165 0 0 0 91 2 0 0 20 0 24 0 81210310 28654346240 146144 33554432000 4194304 4196468 140726002538576 140178276420208 140179218782850 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36311040 140726002541530 140726002541829 140726002541829 140726002544591 0
[pid=8846/tid=8862] ppid=8843 vsize=27982760 memory=23824 CPUtime=1.1 cores=0-7
/proc/8846/task/8862/stat : 8862 (java) S 8843 8846 8318 0 -1 1077944384 1955 0 0 0 109 1 0 0 20 0 24 0 81210310 28654346240 146144 33554432000 4194304 4196468 140726002538576 140178275367408 140179218782850 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36311040 140726002541530 140726002541829 140726002541829 140726002544591 0
[pid=8846/tid=8863] ppid=8843 vsize=27982760 memory=2088 CPUtime=0.9 cores=0-7
/proc/8846/task/8863/stat : 8863 (java) S 8843 8846 8318 0 -1 1077944384 769 0 0 0 89 1 0 0 20 0 24 0 81210310 28654346240 146144 33554432000 4194304 4196468 140726002538576 140178274315120 140179218782850 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36311040 140726002541530 140726002541829 140726002541829 140726002544591 0
[pid=8846/tid=8864] ppid=8843 vsize=27982760 memory=584576 CPUtime=0.89 cores=0-7
/proc/8846/task/8864/stat : 8864 (java) S 8843 8846 8318 0 -1 1077944384 3053 0 0 0 88 1 0 0 20 0 24 0 81210310 28654346240 146144 33554432000 4194304 4196468 140726002538576 140178273262320 140179218782850 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36311040 140726002541530 140726002541829 140726002541829 140726002544591 0
[pid=8846/tid=8865] ppid=8843 vsize=27982760 memory=341340 CPUtime=0 cores=0-7
/proc/8846/task/8865/stat : 8865 (java) S 8843 8846 8318 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 81210310 28654346240 146144 33554432000 4194304 4196468 140726002538576 140176122702176 140179218781909 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36311040 140726002541530 140726002541829 140726002541829 140726002544591 0
[pid=8846/tid=8866] ppid=8843 vsize=27982760 memory=8320808402719813940 CPUtime=0.01 cores=0-7
/proc/8846/task/8866/stat : 8866 (java) S 8843 8846 8318 0 -1 1077944384 5 0 0 0 0 1 0 0 20 0 24 0 81210310 28654346240 146144 33554432000 4194304 4196468 140726002538576 140178272209200 140179218782850 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36311040 140726002541530 140726002541829 140726002541829 140726002544591 0
[pid=8846/tid=8868] ppid=8843 vsize=27982760 memory=280289968846744 CPUtime=0 cores=0-7
/proc/8846/task/8868/stat : 8868 (java) S 8843 8846 8318 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 81210543 28654346240 146144 33554432000 4194304 4196468 140726002538576 140178606396736 140179218796313 0 4 0 25189583 18446744071579417331 0 0 -1 5 0 0 0 0 0 6293624 6294260 36311040 140726002541530 140726002541829 140726002541829 140726002544591 0
[pid=8846/tid=8870] ppid=8843 vsize=27982760 memory=-1751206657426859557 CPUtime=0 cores=0-7
/proc/8846/task/8870/stat : 8870 (java) S 8843 8846 8318 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 24 0 81210543 28654346240 146144 33554432000 4194304 4196468 140726002538576 140175451602736 140179218793629 0 4 0 25189583 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 36311040 140726002541530 140726002541829 140726002541829 140726002544591 0
[pid=8846/tid=8871] ppid=8843 vsize=27982760 memory=-2672971630408907303 CPUtime=0 cores=0-7
/proc/8846/task/8871/stat : 8871 (java) S 8843 8846 8318 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 24 0 81210543 28654346240 146144 33554432000 4194304 4196468 140726002538576 140175720038064 140179218793629 0 4 0 25189583 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 36311040 140726002541530 140726002541829 140726002541829 140726002544591 0
[pid=8846/tid=8872] ppid=8843 vsize=27982760 memory=7976406965554101975 CPUtime=0 cores=0-7
/proc/8846/task/8872/stat : 8872 (java) S 8843 8846 8318 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 24 0 81210545 28654346240 146144 33554432000 4194304 4196468 140726002538576 140175183175456 140179218781909 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36311040 140726002541530 140726002541829 140726002541829 140726002544591 0
Current children cumulated CPU time: 295.21 s
Current children cumulated vsize: 28676872 KiB
Current children cumulated memory: 928900 KiB

Child status: 0
Real time (s): 38.9899
CPU time (s): 295.609
CPU user time (s): 294.912
CPU system time (s): 0.696884
CPU usage (%): 758.168
Max. virtual memory (cumulated for all children) (KiB): 28733456
Max. memory (cumulated for all children) (KiB): 928900

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 294.912
system time used= 0.696884
maximum resident set size= 587704
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 209851
page faults= 0
swaps= 0
block input operations= 0
block output operations= 5600
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 8548
involuntary context switches= 3005


# summary of solver processes directly reported to runsolver:
#   pid: 8846
#   total CPU time (s): 295.609
#   total CPU user time (s): 294.912
#   total CPU system time (s): 0.696884

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.383747 second user time and 0.516539 second system time

The end

Launcher Data 

Begin job on node138 at 2018-07-26 22:21:11
IDJOB=4297213
IDBENCH=141167
IDSOLVER=2759
FILE ID=node138/4297213-1532636471
RUNJOBID= node138-1532633938-8345
PBS_JOBID= 21022187
Free space on /tmp= 53804 MiB

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

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

MD5SUM BENCH= bba9b3428f0c8228a4e28ff2342631fb
RANDOM SEED=624535908

node138.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.71
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.71
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.71
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.71
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:        17540624 kB
MemAvailable:   31922316 kB
Buffers:          201776 kB
Cached:         14323308 kB
SwapCached:           44 kB
Active:          2429760 kB
Inactive:       12155000 kB
Active(anon):      10108 kB
Inactive(anon):    77300 kB
Active(file):    2419652 kB
Inactive(file): 12077700 kB
Unevictable:        7280 kB
Mlocked:            7280 kB
SwapTotal:      67108860 kB
SwapFree:       67108796 kB
Dirty:              8532 kB
Writeback:             0 kB
AnonPages:         79296 kB
Mapped:            35680 kB
Shmem:             25164 kB
Slab:             340788 kB
SReclaimable:     312800 kB
SUnreclaim:        27988 kB
KernelStack:        3552 kB
PageTables:         5188 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     324524 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     24576 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      112000 kB
DirectMap2M:    33433600 kB

Free space on /tmp at the end= 53792 MiB
End job on node138 at 2018-07-26 22:21:50