Trace number 4297285

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 818.264 107.033

General information on the benchmark

NameFrb/
frb-50-23-1-mgd_c18.xml
MD5SUM89c27d49b20a714b89297264b4c82bd7
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 benchmark818.264
Satisfiable
(Un)Satisfiability was proved
Number of variables50
Number of constraints430
Number of domains1
Minimum domain size23
Maximum domain size23
Distribution of domain sizes[{"size":23,"count":50}]
Minimum variable degree11
Maximum variable degree24
Distribution of variable degrees[{"degree":11,"count":2},{"degree":12,"count":1},{"degree":13,"count":6},{"degree":14,"count":1},{"degree":15,"count":7},{"degree":16,"count":2},{"degree":17,"count":8},{"degree":18,"count":5},{"degree":19,"count":7},{"degree":20,"count":4},{"degree":21,"count":1},{"degree":22,"count":3},{"degree":23,"count":1},{"degree":24,"count":2}]
Minimum constraint arity2
Maximum constraint arity2
Distribution of constraint arities[{"arity":2,"count":430}]
Number of extensional constraints430
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":430}]
Optimization problemNO
Type of objective

Solver Data 

0.67/0.52	
0.67/0.53	scop both+glucose-syrup (2018-07-07)
0.67/0.53	
0.67/0.55	c BEGIN-Prog: Fri Jul 27 10:06:35 CEST 2018
0.67/0.55	c PID: 8972
0.67/0.55	c IP: 172.20.3.137
0.67/0.55	c HOST: node137.alineos.net
0.67/0.56	c (0,0) Parsing Begin
2.52/1.18	c (0,0) Parsing End
2.52/1.19	c (0,0) CSP: 50 int (0 aux), 0 bool (0 aux), 430 ctr, max domain size 23
2.52/1.19	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 20 MiB used (max 0 MiB)
2.52/1.19	c (0,0) Constraint Name Generate Begin
2.52/1.20	c (0,0) Ctr:HOME/instance-4297285-1532678795.xml,ExtensionConflict:ExtensionSupport:IntVar
2.52/1.20	c (0,0) Constraint Name Generate End
2.52/1.20	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 20 MiB used (max 0 MiB)
2.52/1.20	c (0,0) CSP to CSPinCNF Begin
5.49/2.10	c (1,1) translated 43 (10%) constraints
7.09/2.41	c (1,1) translated 86 (20%) constraints
8.30/2.74	c (2,2) translated 129 (30%) constraints
9.55/3.02	c (2,2) translated 172 (40%) constraints
10.32/3.25	c (2,2) translated 215 (50%) constraints
11.01/3.46	c (2,2) translated 258 (60%) constraints
11.46/3.68	c (3,3) translated 301 (70%) constraints
11.91/3.86	c (3,3) translated 344 (80%) constraints
12.36/4.04	c (3,3) translated 387 (90%) constraints
12.76/4.22	c (3,3) translated 430 (100%) constraints
13.81/4.50	c (3,3) STATISTICS1:HOME/instance-4297285-1532678795.xml,ExtensionConflict:ExtensionSupport:IntVar,303,48307,-1,23,24,1,,23:181737;2:3361,24:11;4:40613;3:7027;2:656,1:185098;0:11,
13.81/4.50	c (3,3) ===========================================
13.81/4.50	c (3,3) Both Encoding selects:
13.81/4.50	c (3,3) Order
13.81/4.50	c (3,3) ===========================================
14.18/4.67	c (4,4) translated 4831 (10%) constraints
14.53/4.77	c (4,4) translated 9662 (20%) constraints
14.92/4.86	c (4,4) translated 14493 (30%) constraints
15.19/4.95	c (4,4) translated 19323 (40%) constraints
15.41/5.04	c (4,4) translated 24154 (50%) constraints
15.58/5.13	c (4,4) translated 28985 (60%) constraints
15.67/5.22	c (4,4) translated 33815 (70%) constraints
15.77/5.31	c (4,4) translated 38646 (80%) constraints
15.87/5.40	c (4,4) translated 43477 (90%) constraints
15.87/5.49	c (4,4) translated 48307 (100%) constraints
15.87/5.49	c (4,4) CSP to CSPinCNF End
15.87/5.49	c (4,4) CSP: 50 int (0 aux), 253 bool (253 aux), 48307 ctr, max domain size 23
15.87/5.49	c (4,4) Heap : 2140 MiB used (max 21589 MiB), NonHeap : 32 MiB used (max 0 MiB)
15.87/5.49	c (4,4) CSPinCNF Propagation Begin
16.80/5.83	c (5,5) 0 values, 4701 unsatisfiable literals, and 0 valid clauses are removed
16.80/5.83	c (5,5) CSPinCNF Propagation End
16.80/5.83	c (5,5) CSP: 50 int (0 aux), 253 bool (253 aux), 48307 ctr, max domain size 23
16.80/5.83	c (5,5) Heap : 2365 MiB used (max 21589 MiB), NonHeap : 33 MiB used (max 0 MiB)
16.80/5.83	c (5,5) Simplify CSPinCNF Begin
17.00/5.96	c (5,5) Simplify CSPinCNF End
17.00/5.96	c (5,5) CSP: 50 int (0 aux), 253 bool (253 aux), 48307 ctr, max domain size 23
17.00/5.96	c (5,5) Heap : 2365 MiB used (max 21589 MiB), NonHeap : 33 MiB used (max 0 MiB)
17.00/5.96	c (5,5) Calculate Precise Domain Begin
17.00/5.96	c (5,5) 0 values are removed by re-calculation
17.00/5.96	c (5,5) Calculate Precise Domain End
17.00/5.96	c (5,5) CSP: 50 int (0 aux), 253 bool (253 aux), 48307 ctr, max domain size 23
17.00/5.96	c (5,5) Heap : 2365 MiB used (max 21589 MiB), NonHeap : 33 MiB used (max 0 MiB)
17.00/5.96	c (5,5) CSPinCNF to SatSolver Begin
17.19/6.10	c (5,5) 4831 (10 %) CSP clauses are encoded (1353 SAT variables, 5880 SAT clauses)
17.58/6.15	c (5,5) 9662 (20 %) CSP clauses are encoded (1353 SAT variables, 10711 SAT clauses)
17.58/6.19	c (5,5) 14493 (30 %) CSP clauses are encoded (1353 SAT variables, 15542 SAT clauses)
17.88/6.23	c (5,5) 19323 (40 %) CSP clauses are encoded (1353 SAT variables, 20372 SAT clauses)
17.88/6.27	c (5,5) 24154 (50 %) CSP clauses are encoded (1353 SAT variables, 25203 SAT clauses)
17.99/6.30	c (5,5) 28985 (60 %) CSP clauses are encoded (1353 SAT variables, 30034 SAT clauses)
17.99/6.34	c (5,5) 33815 (70 %) CSP clauses are encoded (1353 SAT variables, 34864 SAT clauses)
17.99/6.37	c (5,5) 38646 (80 %) CSP clauses are encoded (1353 SAT variables, 39695 SAT clauses)
18.09/6.41	c (5,5) 43477 (90 %) CSP clauses are encoded (1353 SAT variables, 44526 SAT clauses)
18.09/6.45	c (5,5) 48307 (100 %) CSP clauses are encoded (1353 SAT variables, 49356 SAT clauses)
18.09/6.45	c (5,5) CSPinCNF to SatSolver End
18.09/6.45	c (5,5) Heap : 2703 MiB used (max 21589 MiB), NonHeap : 32 MiB used (max 0 MiB)
18.57/6.65	c (6,6) STATISTICS2:HOME/instance-4297285-1532678795.xml,ExtensionConflict:ExtensionSupport:IntVar,303,48307,-1,23,23,1,,23:177047;2:3361,23:11;4:36284;3:10995;2:1017,1:180408,
18.57/6.65	c (6,6) SatSolver.solve Begin
18.57/6.65	c (6,6) 1353 bool, 49357 clause
18.57/6.66	c (6,6) HOME/glucose-syrup -model -nthreads=8 -maxmemory=10000 HOME/instance-4297285-1532678795.xml-scop-8972.cnf HOME/instance-4297285-1532678795.xml-scop-8972.cnf.out
89.30/15.65	c (15,0) c
89.30/15.65	c (15,0) c This is glucose-syrup 4.1 (glucose in many threads) --  based on MiniSAT (Many thanks to MiniSAT team)
89.30/15.65	c (15,0) c
89.30/15.65	c (15,0) c WARNING: for repeatability, setting FPU to use double precision
89.30/15.65	c (15,0) c 8 solvers engines and 1 companion as a blackboard created.
89.30/15.65	c (15,0) c ========================================[ Problem Statistics ]===========================================
89.30/15.65	c (15,0) c |                                                                                                       |
89.30/15.65	c (15,0) c |  Number of variables:          1353                                                                   |
89.30/15.65	c (15,0) c |  Number of clauses:           49357                                                                   |
89.30/15.65	c (15,0) c |  Parse time:                   0.02 s                                                                 |
89.30/15.65	c (15,0) c |                                                                                                       |
89.30/15.65	c (15,0) c |  Simplification time:          0.05 s                                                                 |
89.30/15.65	c (15,0) c |                                                                                                       |
89.30/15.65	c (15,0) c |  Generating clones                                                                                    |
89.30/15.65	c (15,0) c |  all clones generated. Memory =  46.82Mb.                                                             |
89.30/15.65	c (15,0) c ========================================================================================================|
89.30/15.65	c (15,0) c
89.30/15.65	c (15,0) c |-------------------------------------------------------------------------------------------------------|
89.30/15.65	c (15,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
89.30/15.65	c (15,0) c |-------------------------------------------------------------------------------------------------------|
89.30/15.65	c (15,0) c |  0 |     30 |      88660 |      67809 |    39599 |    29268 |    11918 |    79244 |     1389 |  0.002 |
89.30/15.65	c (15,0) c |  1 |     63 |      93254 |      70414 |    40832 |    16850 |    12103 |    80232 |     1637 |  0.001 |
89.30/15.65	c (15,0) c |  2 |     52 |      88340 |      67353 |    39173 |    28813 |    11450 |    77692 |     1793 |  0.001 |
89.30/15.65	c (15,0) c |  3 |     68 |      94049 |      70852 |    41380 |    17290 |    11787 |    80344 |     1587 |  0.003 |
89.30/15.65	c (15,0) c |  4 |     70 |      94125 |      70774 |    40564 |    17210 |    12247 |    79416 |     1443 |  0.000 |
89.30/15.65	c (15,0) c |  5 |     42 |      87882 |      67104 |    36040 |    28565 |    11161 |    80084 |     1614 |  0.000 |
89.30/15.65	c (15,0) c |  6 |     31 |      87505 |      67419 |    35457 |    28884 |    11679 |    58990 |     1469 |  0.001 |
89.30/15.65	c (15,0) c |  7 |     54 |      88367 |      67566 |    37675 |    29032 |    11035 |    81425 |     1612 |  0.004 |
89.30/15.65	c (15,0) c 
89.30/15.66	c (15,0) c synthesis      549293 conflicts    91311983 propagations    14135 conflicts/sec  2349689 propagations/sec
89.30/15.66	c (15,0) c Total Memory so far : 626.29Mb
89.30/15.66	c (15,0) c
89.30/15.66	c (15,0) c Try to adapt solver strategies
89.30/15.66	c (15,0) c 
89.30/15.66	c (15,0) c Nothing extreme in this problem, continue with glucose default strategies.
89.30/15.66	c (15,0) c
89.30/15.66	c (15,0) c
89.30/15.66	c (15,0) c Try to adapt solver strategies
89.30/15.66	c (15,0) c 
89.30/15.66	c (15,0) c Nothing extreme in this problem, continue with glucose default strategies.
89.30/15.66	c (15,0) c
89.30/15.66	c (15,0) c
89.30/15.66	c (15,0) c Try to adapt solver strategies
89.30/15.66	c (15,0) c 
89.30/15.66	c (15,0) c Nothing extreme in this problem, continue with glucose default strategies.
89.30/15.66	c (15,0) c
89.30/15.66	c (15,0) c
89.30/15.66	c (15,0) c Try to adapt solver strategies
89.30/15.66	c (15,0) c 
89.30/15.66	c (15,0) c Nothing extreme in this problem, continue with glucose default strategies.
89.30/15.66	c (15,0) c
89.30/15.66	c (15,0) c
89.30/15.66	c (15,0) c |-------------------------------------------------------------------------------------------------------|
89.30/15.66	c (15,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
89.30/15.66	c (15,0) c |-------------------------------------------------------------------------------------------------------|
89.30/15.66	c (15,0) c |  0 |     53 |     143758 |     111273 |    42300 |    40097 |    18239 |   123347 |     2994 |  0.002 |
89.30/15.66	c (15,0) c |  1 |    109 |     151304 |     114962 |    43278 |    23583 |    17925 |   123705 |     3209 |  0.000 |
89.30/15.66	c (15,0) c |  2 |     59 |     142193 |     109166 |    41736 |    38000 |    17538 |   117969 |     3307 |  0.000 |
89.30/15.66	c (15,0) c |  3 |    100 |     153718 |     116836 |    43527 |    25452 |    18246 |   123407 |     2933 |  0.003 |
89.30/15.66	c (15,0) c |  4 |    109 |     151025 |     114829 |    43624 |    23449 |    18529 |   123413 |     3173 |  0.000 |
185.02/27.65	c (27,0) c |  5 |     48 |     139553 |     108413 |    40356 |    37247 |    17062 |   107594 |     3008 |  0.001 |
185.02/27.65	c (27,0) c |  6 |     66 |     139326 |     108856 |    38685 |    37675 |    17045 |   124211 |     3331 |  0.001 |
185.02/27.65	c (27,0) c |  7 |     71 |     142136 |     110936 |    39943 |    39768 |    17480 |   123810 |     2995 |  0.001 |
185.02/27.65	c (27,0) c 
185.02/27.65	c (27,0) c synthesis      895273 conflicts   149757910 propagations    12660 conflicts/sec  2117655 propagations/sec
185.02/27.65	c (27,0) c Total Memory so far : 643.91Mb
185.02/27.65	c (27,0) c
185.02/27.65	c (27,0) c |-------------------------------------------------------------------------------------------------------|
185.02/27.65	c (27,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
185.02/27.65	c (27,0) c |-------------------------------------------------------------------------------------------------------|
185.02/27.65	c (27,0) c |  0 |    105 |     196308 |     151858 |    44113 |    37679 |    23332 |   158408 |     4757 |  0.001 |
185.02/27.65	c (27,0) c |  1 |    150 |     200806 |     152681 |    44656 |    38493 |    23612 |   157371 |     4604 |  0.000 |
185.02/27.65	c (27,0) c |  2 |     88 |     193096 |     148258 |    43922 |    34084 |    21897 |   156391 |     5062 |  0.001 |
185.02/27.65	c (27,0) c |  3 |    132 |     207647 |     158573 |    44787 |    44401 |    24015 |   156792 |     4817 |  0.001 |
185.02/27.65	c (27,0) c |  4 |    158 |     203883 |     155059 |    45052 |    40874 |    24059 |   155354 |     4896 |  0.001 |
185.02/27.65	c (27,0) c |  5 |     60 |     188856 |     147186 |    41979 |    33008 |    21566 |   156646 |     4380 |  0.002 |
185.02/27.65	c (27,0) c |  6 |    150 |     184639 |     144596 |    39965 |    30413 |    20776 |   157379 |     4319 |  0.001 |
185.02/27.65	c (27,0) c |  7 |     73 |     186056 |     146180 |    41576 |    31999 |    22522 |   142502 |     4252 |  0.001 |
185.02/27.65	c (27,0) c 
185.02/27.65	c (27,0) c synthesis     1204392 conflicts   201740983 propagations    11747 conflicts/sec  1967626 propagations/sec
185.02/27.65	c (27,0) c Total Memory so far : 637.67Mb
185.02/27.66	c (27,0) c
185.02/27.66	c (27,0) c |-------------------------------------------------------------------------------------------------------|
185.02/27.66	c (27,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
185.02/27.66	c (27,0) c |-------------------------------------------------------------------------------------------------------|
185.02/27.66	c (27,0) c |  0 |    118 |     242891 |     188306 |    45119 |    48731 |    28681 |   192149 |     6381 |  0.003 |
185.02/27.66	c (27,0) c |  1 |    172 |     246158 |     188170 |    45410 |    48582 |    28414 |   189596 |     5989 |  0.000 |
185.02/27.66	c (27,0) c |  2 |     91 |     244241 |     188227 |    44815 |    48647 |    28231 |   171687 |     6832 |  0.002 |
185.02/27.66	c (27,0) c |  3 |    172 |     255781 |     195601 |    45726 |    28023 |    29052 |   190890 |     6591 |  0.000 |
185.02/27.66	c (27,0) c |  4 |    195 |     252734 |     192365 |    45699 |    52784 |    29170 |   192481 |     6245 |  0.001 |
185.02/27.66	c (27,0) c |  5 |     65 |     233965 |     183421 |    42805 |    43835 |    26678 |   192487 |     5667 |  0.001 |
185.02/27.66	c (27,0) c |  6 |    169 |     225101 |     177906 |    40524 |    38321 |    25212 |   190890 |     5232 |  0.001 |
185.02/27.66	c (27,0) c |  7 |    113 |     232994 |     182857 |    43427 |    43277 |    26412 |   192785 |     6010 |  0.001 |
185.02/27.66	c (27,0) c 
185.02/27.66	c (27,0) c synthesis     1496853 conflicts   250592837 propagations    11140 conflicts/sec  1865047 propagations/sec
185.02/27.66	c (27,0) c Total Memory so far : 642.59Mb
185.02/27.66	c (27,0) c
185.02/27.66	c (27,0) c |-------------------------------------------------------------------------------------------------------|
185.02/27.66	c (27,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
185.02/27.66	c (27,0) c |-------------------------------------------------------------------------------------------------------|
185.02/27.66	c (27,0) c |  0 |    125 |     283563 |     221405 |    45360 |    53823 |    33196 |   202350 |     7507 |  0.003 |
185.02/27.66	c (27,0) c |  1 |    177 |     288390 |     221754 |    45809 |    54170 |    32739 |   212027 |     7136 |  0.001 |
185.02/27.66	c (27,0) c |  2 |    101 |     289150 |     223394 |    45324 |    55812 |    32476 |   223586 |     8433 |  0.001 |
185.02/27.66	c (27,0) c |  3 |    182 |     302336 |     232728 |    46170 |    34549 |    33722 |   204896 |     8179 |  0.000 |
185.02/27.66	c (27,0) c |  4 |    261 |     299195 |     228158 |    46206 |    60586 |    33220 |   213359 |     7523 |  0.002 |
296.69/41.65	c (41,0) c |  5 |     80 |     277549 |     217730 |    44153 |    50144 |    30807 |   223033 |     7015 |  0.001 |
296.69/41.65	c (41,0) c |  6 |    178 |     266230 |     211567 |    40980 |    43983 |    29086 |   225566 |     6037 |  0.001 |
296.69/41.65	c (41,0) c |  7 |    135 |     278208 |     218488 |    44351 |    50912 |    30981 |   221775 |     7505 |  0.000 |
296.69/41.65	c (41,0) c 
296.69/41.65	c (41,0) c synthesis     1775225 conflicts   297000441 propagations    10680 conflicts/sec  1786855 propagations/sec
296.69/41.65	c (41,0) c Total Memory so far : 646.74Mb
296.69/41.65	c (41,0) c
296.69/41.65	c (41,0) c |-------------------------------------------------------------------------------------------------------|
296.69/41.65	c (41,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
296.69/41.65	c (41,0) c |-------------------------------------------------------------------------------------------------------|
296.69/41.65	c (41,0) c |  0 |    134 |     326981 |     257818 |    45492 |    59641 |    36494 |   250711 |     8522 |  0.003 |
296.69/41.65	c (41,0) c |  1 |    183 |     336840 |     260874 |    46098 |    62699 |    37138 |   253688 |     8511 |  0.000 |
296.69/41.65	c (41,0) c |  2 |    109 |     341313 |     265544 |    45888 |    34161 |    37107 |   250216 |    10072 |  0.001 |
296.69/41.65	c (41,0) c |  3 |    203 |     352997 |     272566 |    46580 |    41185 |    38536 |   253010 |     9714 |  0.001 |
296.69/41.65	c (41,0) c |  4 |    269 |     349703 |     268949 |    46514 |    37570 |    38030 |   253343 |     8546 |  0.002 |
296.69/41.65	c (41,0) c |  5 |     85 |     331338 |     260173 |    45033 |    61991 |    35538 |   255160 |     8665 |  0.002 |
296.69/41.65	c (41,0) c |  6 |    197 |     312406 |     249240 |    41703 |    51058 |    33205 |   253774 |     7117 |  0.000 |
296.69/41.65	c (41,0) c |  7 |    203 |     328272 |     257598 |    44881 |    59418 |    35527 |   255975 |     9114 |  0.001 |
296.69/41.65	c (41,0) c 
296.69/41.65	c (41,0) c synthesis     2092762 conflicts   350560419 propagations    10156 conflicts/sec  1701210 propagations/sec
296.69/41.65	c (41,0) c Total Memory so far : 651.16Mb
296.69/41.65	c (41,0) c
296.69/41.66	c (41,0) c |-------------------------------------------------------------------------------------------------------|
296.69/41.66	c (41,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
296.69/41.66	c (41,0) c |-------------------------------------------------------------------------------------------------------|
296.69/41.66	c (41,0) c |  0 |    178 |     373434 |     294703 |    45923 |    63320 |    40484 |   285204 |     9962 |  0.003 |
296.69/41.66	c (41,0) c |  1 |    212 |     382991 |     297876 |    46285 |    66500 |    41039 |   284234 |     9801 |  0.001 |
296.69/41.66	c (41,0) c |  2 |    115 |     391058 |     306409 |    46215 |    39225 |    41145 |   283995 |    11269 |  0.002 |
296.69/41.66	c (41,0) c |  3 |    236 |     401130 |     310304 |    46965 |    43126 |    42923 |   279175 |    11353 |  0.001 |
296.69/41.66	c (41,0) c |  4 |    276 |     392036 |     303902 |    46661 |    36728 |    41662 |   280035 |     9672 |  0.000 |
296.69/41.66	c (41,0) c |  5 |    108 |     386273 |     303002 |    45654 |    35821 |    39879 |   279692 |    10417 |  0.002 |
296.69/41.66	c (41,0) c |  6 |    266 |     365204 |     290253 |    43280 |    58875 |    37755 |   287235 |     8897 |  0.000 |
296.69/41.66	c (41,0) c |  7 |    230 |     380354 |     297828 |    45617 |    66444 |    40858 |   282018 |    11303 |  0.001 |
296.69/41.66	c (41,0) c 
296.69/41.66	c (41,0) c synthesis     2404278 conflicts   402883369 propagations     9776 conflicts/sec  1638184 propagations/sec
296.69/41.66	c (41,0) c Total Memory so far : 655.93Mb
296.69/41.66	c (41,0) c
296.69/41.66	c (41,0) c |-------------------------------------------------------------------------------------------------------|
296.69/41.66	c (41,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
296.69/41.66	c (41,0) c |-------------------------------------------------------------------------------------------------------|
296.69/41.66	c (41,0) c |  0 |    208 |     411256 |     324831 |    46152 |    57651 |    44098 |   307055 |    11248 |  0.003 |
296.69/41.66	c (41,0) c |  1 |    216 |     420810 |     327909 |    46497 |    60727 |    44783 |   305089 |    11621 |  0.001 |
296.69/41.66	c (41,0) c |  2 |    152 |     431596 |     338328 |    46499 |    71144 |    43723 |   309002 |    12630 |  0.000 |
296.69/41.66	c (41,0) c |  3 |    259 |     439868 |     340395 |    47177 |    73217 |    46435 |   306589 |    12925 |  0.002 |
296.69/41.66	c (41,0) c |  4 |    280 |     428724 |     333703 |    46703 |    66529 |    45203 |   297650 |    10688 |  0.002 |
296.69/41.66	c (41,0) c |  5 |    112 |     424704 |     333582 |    45972 |    66401 |    43125 |   306816 |    12021 |  0.000 |
392.42/53.65	c (53,0) c |  6 |    283 |     400500 |     318667 |    43533 |    51488 |    40897 |   311991 |     9844 |  0.001 |
392.42/53.65	c (53,0) c |  7 |    246 |     418126 |     327534 |    46068 |    60348 |    44817 |   308249 |    12794 |  0.000 |
392.42/53.65	c (53,0) c 
392.42/53.65	c (53,0) c synthesis     2644950 conflicts   443372887 propagations     9522 conflicts/sec  1596113 propagations/sec
392.42/53.65	c (53,0) c Total Memory so far : 676.97Mb
392.42/53.65	c (53,0) c
392.42/53.65	c (53,0) c |-------------------------------------------------------------------------------------------------------|
392.42/53.65	c (53,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
392.42/53.65	c (53,0) c |-------------------------------------------------------------------------------------------------------|
392.42/53.65	c (53,0) c |  0 |    209 |     444881 |     352507 |    46275 |    46922 |    46736 |   321788 |    12155 |  0.003 |
392.42/53.65	c (53,0) c |  1 |    217 |     453302 |     354208 |    46585 |    48626 |    47825 |   329595 |    12852 |  0.002 |
392.42/53.65	c (53,0) c |  2 |    174 |     468372 |     367928 |    46682 |    62335 |    47047 |   328171 |    13840 |  0.000 |
392.42/53.65	c (53,0) c |  3 |    272 |     477677 |     370357 |    47386 |    64779 |    49864 |   322765 |    14465 |  0.001 |
392.42/53.65	c (53,0) c |  4 |    287 |     463325 |     361619 |    46779 |    56042 |    48060 |   328981 |    11618 |  0.002 |
392.42/53.65	c (53,0) c |  5 |    118 |     462153 |     363183 |    46236 |    57599 |    46104 |   326962 |    13440 |  0.000 |
392.42/53.65	c (53,0) c |  6 |    291 |     434299 |     346001 |    43902 |    40419 |    43843 |   332318 |    10732 |  0.001 |
392.42/53.65	c (53,0) c |  7 |    317 |     456946 |     356942 |    46491 |    51355 |    48064 |   329011 |    14260 |  0.001 |
392.42/53.65	c (53,0) c 
392.42/53.65	c (53,0) c synthesis     2872746 conflicts   481334540 propagations     9277 conflicts/sec  1554375 propagations/sec
392.42/53.65	c (53,0) c Total Memory so far : 661.61Mb
392.42/53.65	c (53,0) c
392.42/53.65	c (53,0) c |-------------------------------------------------------------------------------------------------------|
392.42/53.65	c (53,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
392.42/53.65	c (53,0) c |-------------------------------------------------------------------------------------------------------|
392.42/53.65	c (53,0) c |  0 |    213 |     476760 |     378941 |    46368 |    73356 |    49539 |   346948 |    12842 |  0.003 |
392.42/53.65	c (53,0) c |  1 |    231 |     481592 |     377008 |    46647 |    71426 |    49939 |   349661 |    13997 |  0.000 |
392.42/53.66	c (53,0) c |  2 |    194 |     503726 |     396157 |    46833 |    49564 |    50261 |   348274 |    15588 |  0.002 |
392.42/53.66	c (53,0) c |  3 |    280 |     512326 |     398468 |    47474 |    51890 |    53058 |   346325 |    15642 |  0.001 |
392.42/53.66	c (53,0) c |  4 |    313 |     493671 |     385791 |    46887 |    80214 |    50284 |   348704 |    12682 |  0.002 |
392.42/53.66	c (53,0) c |  5 |    138 |     493385 |     388249 |    46407 |    41669 |    48451 |   350249 |    14549 |  0.001 |
392.42/53.66	c (53,0) c |  6 |    297 |     470031 |     374918 |    44108 |    69336 |    46948 |   348201 |    11579 |  0.001 |
392.42/53.66	c (53,0) c |  7 |    347 |     492477 |     384445 |    46730 |    78858 |    51153 |   348384 |    15738 |  0.000 |
392.42/53.66	c (53,0) c 
392.42/53.66	c (53,0) c synthesis     3083978 conflicts   516524864 propagations     9029 conflicts/sec  1512266 propagations/sec
392.42/53.66	c (53,0) c Total Memory so far : 664.71Mb
392.42/53.66	c (53,0) c
392.42/53.66	c (53,0) c |-------------------------------------------------------------------------------------------------------|
392.42/53.66	c (53,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
392.42/53.66	c (53,0) c |-------------------------------------------------------------------------------------------------------|
392.42/53.66	c (53,0) c |  0 |    227 |     510919 |     406651 |    46519 |    60065 |    52388 |   368721 |    13976 |  0.003 |
392.42/53.66	c (53,0) c |  1 |    238 |     513498 |     402742 |    46788 |    56163 |    52526 |   364208 |    15469 |  0.002 |
392.42/53.66	c (53,0) c |  2 |    251 |     543259 |     426731 |    47083 |    80138 |    53637 |   367754 |    17026 |  0.001 |
392.42/53.66	c (53,0) c |  3 |    282 |     545309 |     425219 |    47599 |    78640 |    56466 |   361554 |    17202 |  0.000 |
392.42/53.66	c (53,0) c |  4 |    320 |     524689 |     411436 |    46911 |    64851 |    52631 |   362037 |    13484 |  0.000 |
392.42/53.66	c (53,0) c |  5 |    158 |     532447 |     419348 |    46650 |    72768 |    51272 |   371546 |    16012 |  0.001 |
392.42/53.66	c (53,0) c |  6 |    301 |     505642 |     403989 |    44558 |    57408 |    50444 |   367135 |    12993 |  0.002 |
504.10/67.65	c (67,0) c |  7 |    388 |     528769 |     412671 |    46945 |    66083 |    54603 |   369260 |    16910 |  0.001 |
504.10/67.65	c (67,0) c 
504.10/67.65	c (67,0) c synthesis     3308788 conflicts   553877367 propagations     8860 conflicts/sec  1483153 propagations/sec
504.10/67.65	c (67,0) c Total Memory so far : 667.04Mb
504.10/67.65	c (67,0) c
504.10/67.65	c (67,0) c |-------------------------------------------------------------------------------------------------------|
504.10/67.65	c (67,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
504.10/67.65	c (67,0) c |-------------------------------------------------------------------------------------------------------|
504.10/67.65	c (67,0) c |  0 |    254 |     538770 |     429832 |    46571 |    83245 |    54069 |   391862 |    15023 |  0.003 |
504.10/67.65	c (67,0) c |  1 |    240 |     546045 |     429217 |    46918 |    82638 |    55346 |   390994 |    16678 |  0.002 |
504.10/67.65	c (67,0) c |  2 |    295 |     581386 |     456820 |    47201 |    66635 |    56782 |   389707 |    18046 |  0.003 |
504.10/67.65	c (67,0) c |  3 |    282 |     576610 |     450896 |    47672 |    60711 |    59815 |   361554 |    18157 |  0.000 |
504.10/67.65	c (67,0) c |  4 |    325 |     552894 |     434870 |    47003 |    44688 |    55711 |   375063 |    14399 |  0.000 |
504.10/67.65	c (67,0) c |  5 |    189 |     568776 |     447699 |    46891 |    57518 |    53825 |   392666 |    17449 |  0.001 |
504.10/67.65	c (67,0) c |  6 |    305 |     537214 |     429829 |    44985 |    83248 |    53415 |   391717 |    14595 |  0.000 |
504.10/67.65	c (67,0) c |  7 |    404 |     559401 |     436881 |    47092 |    46699 |    57607 |   388127 |    17885 |  0.000 |
504.10/67.65	c (67,0) c 
504.10/67.65	c (67,0) c synthesis     3516044 conflicts   588515771 propagations     8674 conflicts/sec  1451932 propagations/sec
504.10/67.65	c (67,0) c Total Memory so far : 669.59Mb
504.10/67.65	c (67,0) c
504.10/67.65	c (67,0) c |-------------------------------------------------------------------------------------------------------|
504.10/67.65	c (67,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
504.10/67.65	c (67,0) c |-------------------------------------------------------------------------------------------------------|
504.10/67.65	c (67,0) c |  0 |    272 |     574201 |     459884 |    46662 |    69709 |    56105 |   419995 |    15797 |  0.003 |
504.10/67.65	c (67,0) c |  1 |    250 |     588540 |     462799 |    47127 |    72623 |    59447 |   416642 |    18590 |  0.000 |
504.10/67.65	c (67,0) c |  2 |    326 |     628225 |     493179 |    47378 |    56793 |    61160 |   414843 |    19672 |  0.001 |
504.10/67.66	c (67,0) c |  3 |    294 |     615543 |     482109 |    47737 |    91924 |    63782 |   401899 |    19828 |  0.000 |
504.10/67.66	c (67,0) c |  4 |    326 |     599366 |     472334 |    47218 |    82152 |    60876 |   406059 |    16145 |  0.001 |
504.10/67.66	c (67,0) c |  5 |    246 |     610873 |     481153 |    47111 |    90972 |    56571 |   417740 |    19406 |  0.000 |
504.10/67.66	c (67,0) c |  6 |    316 |     576426 |     461824 |    45538 |    71650 |    56597 |   418963 |    16462 |  0.002 |
504.10/67.66	c (67,0) c |  7 |    420 |     603897 |     471902 |    47264 |    81720 |    61856 |   410712 |    19594 |  0.004 |
504.10/67.66	c (67,0) c 
504.10/67.66	c (67,0) c synthesis     3785184 conflicts   632750923 propagations     8503 conflicts/sec  1421448 propagations/sec
504.10/67.66	c (67,0) c Total Memory so far : 673.07Mb
504.10/67.66	c (67,0) c
504.10/67.66	c (67,0) c |-------------------------------------------------------------------------------------------------------|
504.10/67.66	c (67,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
504.10/67.66	c (67,0) c |-------------------------------------------------------------------------------------------------------|
504.10/67.66	c (67,0) c |  0 |    339 |     608384 |     487561 |    46736 |    51180 |    58373 |   435241 |    16730 |  0.003 |
504.10/67.66	c (67,0) c |  1 |    256 |     626110 |     493039 |    47259 |    56662 |    62837 |   432191 |    20121 |  0.001 |
504.10/67.66	c (67,0) c |  2 |    357 |     667599 |     524771 |    47453 |    88385 |    64844 |   431702 |    20567 |  0.001 |
504.10/67.66	c (67,0) c |  3 |    304 |     652093 |     511822 |    47787 |    75438 |    66276 |   433000 |    21662 |  0.000 |
504.10/67.66	c (67,0) c |  4 |    329 |     642954 |     507209 |    47339 |    70826 |    64117 |   422389 |    17546 |  0.001 |
504.10/67.66	c (67,0) c |  5 |    256 |     652723 |     514674 |    47294 |    78289 |    60827 |   441710 |    21325 |  0.000 |
504.10/67.66	c (67,0) c |  6 |    324 |     614893 |     492772 |    46058 |    56395 |    59933 |   438245 |    18335 |  0.000 |
504.10/67.66	c (67,0) c |  7 |    421 |     646735 |     505850 |    47403 |    69473 |    66189 |   434867 |    20872 |  0.001 |
504.10/67.66	c (67,0) c 
599.82/79.65	c (79,0) c synthesis     4037699 conflicts   674723607 propagations     8325 conflicts/sec  1391144 propagations/sec
599.82/79.65	c (79,0) c Total Memory so far : 675.77Mb
599.82/79.65	c (79,0) c
599.82/79.65	c (79,0) c |-------------------------------------------------------------------------------------------------------|
599.82/79.65	c (79,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
599.82/79.65	c (79,0) c |-------------------------------------------------------------------------------------------------------|
599.82/79.65	c (79,0) c |  0 |    356 |     639155 |     513113 |    46799 |    76732 |    61564 |   463861 |    17620 |  0.003 |
599.82/79.65	c (79,0) c |  1 |    284 |     653797 |     515325 |    47302 |    78948 |    64810 |   459636 |    20969 |  0.000 |
599.82/79.65	c (79,0) c |  2 |    372 |     702145 |     552546 |    47594 |    67367 |    68598 |   456530 |    21789 |  0.000 |
599.82/79.65	c (79,0) c |  3 |    307 |     677183 |     533011 |    47818 |    96627 |    68161 |   440400 |    22587 |  0.003 |
599.82/79.65	c (79,0) c |  4 |    330 |     672000 |     530774 |    47460 |    94391 |    66689 |   440255 |    18496 |  0.000 |
599.82/79.65	c (79,0) c |  5 |    269 |     685005 |     540294 |    47382 |    55115 |    63941 |   461193 |    22576 |  0.004 |
599.82/79.65	c (79,0) c |  6 |    324 |     643421 |     516091 |    46262 |    79714 |    63053 |   438245 |    19500 |  0.000 |
599.82/79.65	c (79,0) c |  7 |    422 |     676735 |     529817 |    47500 |    93440 |    68945 |   456629 |    21581 |  0.004 |
599.82/79.65	c (79,0) c 
599.82/79.65	c (79,0) c synthesis     4230971 conflicts   707062836 propagations     8185 conflicts/sec  1367882 propagations/sec
599.82/79.65	c (79,0) c Total Memory so far : 678.24Mb
599.82/79.65	c (79,0) c
599.82/79.65	c (79,0) c |-------------------------------------------------------------------------------------------------------|
599.82/79.65	c (79,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
599.82/79.65	c (79,0) c |-------------------------------------------------------------------------------------------------------|
599.82/79.65	c (79,0) c |  0 |    370 |     664853 |     534162 |    46869 |    48978 |    64241 |   479566 |    18482 |  0.000 |
599.82/79.65	c (79,0) c |  1 |    292 |     677791 |     534835 |    47369 |    49658 |    66633 |   476432 |    21848 |  0.000 |
599.82/79.65	c (79,0) c |  2 |    383 |     734984 |     578837 |    47678 |    93658 |    71905 |   473449 |    22967 |  0.000 |
599.82/79.65	c (79,0) c |  3 |    322 |     704251 |     554714 |    47863 |    69528 |    69897 |   470524 |    23652 |  0.003 |
599.82/79.66	c (79,0) c |  4 |    334 |     703921 |     556840 |    47537 |    71658 |    68813 |   476221 |    19302 |  0.000 |
599.82/79.66	c (79,0) c |  5 |    282 |     715735 |     564833 |    47440 |    79654 |    66811 |   478323 |    23857 |  0.000 |
599.82/79.66	c (79,0) c |  6 |    327 |     672853 |     540175 |    46397 |    54997 |    65901 |   479627 |    20435 |  0.001 |
599.82/79.66	c (79,0) c |  7 |    431 |     709543 |     556332 |    47561 |    71152 |    71455 |   473297 |    22506 |  0.004 |
599.82/79.66	c (79,0) c 
599.82/79.66	c (79,0) c synthesis     4420729 conflicts   739428795 propagations     8055 conflicts/sec  1347389 propagations/sec
599.82/79.66	c (79,0) c Total Memory so far : 680.45Mb
599.82/79.66	c (79,0) c
599.82/79.66	c (79,0) c |-------------------------------------------------------------------------------------------------------|
599.82/79.66	c (79,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
599.82/79.66	c (79,0) c |-------------------------------------------------------------------------------------------------------|
599.82/79.66	c (79,0) c |  0 |    380 |     694019 |     558259 |    46904 |    73075 |    66637 |   496594 |    19159 |  0.003 |
599.82/79.66	c (79,0) c |  1 |    300 |     708996 |     559400 |    47505 |    74223 |    69941 |   494798 |    23069 |  0.000 |
599.82/79.66	c (79,0) c |  2 |    425 |     767838 |     604378 |    47761 |    67799 |    74159 |   490525 |    24251 |  0.001 |
599.82/79.66	c (79,0) c |  3 |    324 |     720086 |     567942 |    47879 |    82755 |    70865 |   486311 |    24356 |  0.003 |
599.82/79.66	c (79,0) c |  4 |    340 |     733911 |     581110 |    47594 |    95928 |    70494 |   488092 |    20093 |  0.000 |
599.82/79.66	c (79,0) c |  5 |    321 |     743955 |     587369 |    47481 |   102190 |    69184 |   495273 |    24925 |  0.001 |
599.82/79.66	c (79,0) c |  6 |    331 |     706181 |     567075 |    46657 |    81897 |    69131 |   493111 |    21852 |  0.000 |
599.82/79.66	c (79,0) c |  7 |    445 |     740285 |     581677 |    47643 |    96497 |    74364 |   490337 |    23307 |  0.002 |
599.82/79.66	c (79,0) c 
599.82/79.66	c (79,0) c synthesis     4607211 conflicts   770098199 propagations     7934 conflicts/sec  1326179 propagations/sec
743.40/97.65	c (97,0) c Total Memory so far : 682.48Mb
743.40/97.65	c (97,0) c
743.40/97.65	c (97,0) c |-------------------------------------------------------------------------------------------------------|
743.40/97.65	c (97,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
743.40/97.65	c (97,0) c |-------------------------------------------------------------------------------------------------------|
743.40/97.65	c (97,0) c |  0 |    403 |     719554 |     578986 |    46948 |    93802 |    68547 |   513046 |    19937 |  0.003 |
743.40/97.65	c (97,0) c |  1 |    306 |     731843 |     577690 |    47534 |    92513 |    71942 |   508308 |    24076 |  0.002 |
743.40/97.65	c (97,0) c |  2 |    455 |     801730 |     630627 |    47892 |    94049 |    76758 |   500015 |    25745 |  0.001 |
743.40/97.65	c (97,0) c |  3 |    328 |     729049 |     575601 |    47890 |    90414 |    71385 |   507375 |    24628 |  0.000 |
743.40/97.65	c (97,0) c |  4 |    347 |     761660 |     603723 |    47648 |    67141 |    72834 |   504762 |    20720 |  0.001 |
743.40/97.65	c (97,0) c |  5 |    359 |     774494 |     611228 |    47547 |    74647 |    71769 |   509889 |    26266 |  0.002 |
743.40/97.65	c (97,0) c |  6 |    344 |     732658 |     588019 |    46871 |    51436 |    71552 |   509470 |    22934 |  0.000 |
743.40/97.65	c (97,0) c |  7 |    459 |     773683 |     608690 |    47725 |    72105 |    76991 |   502042 |    24049 |  0.001 |
743.40/97.65	c (97,0) c 
743.40/97.65	c (97,0) c synthesis     4774564 conflicts   797895137 propagations     7795 conflicts/sec  1302601 propagations/sec
743.40/97.65	c (97,0) c Total Memory so far : 684.43Mb
743.40/97.65	c (97,0) c
743.40/97.65	c (97,0) c |-------------------------------------------------------------------------------------------------------|
743.40/97.65	c (97,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
743.40/97.65	c (97,0) c |-------------------------------------------------------------------------------------------------------|
743.40/97.65	c (97,0) c |  0 |    422 |     746746 |     601398 |    46973 |    64814 |    70299 |   527153 |    20663 |  0.003 |
743.40/97.65	c (97,0) c |  1 |    309 |     754058 |     595871 |    47579 |    59293 |    73956 |   520233 |    24876 |  0.002 |
743.40/97.65	c (97,0) c |  2 |    474 |     832179 |     654594 |    47933 |    64014 |    78842 |   517710 |    27242 |  0.001 |
743.40/97.65	c (97,0) c |  3 |    329 |     737999 |     582975 |    47897 |    97789 |    72041 |   522348 |    25032 |  0.003 |
743.40/97.65	c (97,0) c |  4 |    348 |     788492 |     625297 |    47706 |    88715 |    75754 |   521176 |    21472 |  0.000 |
743.40/97.65	c (97,0) c |  5 |    370 |     803208 |     633888 |    47595 |    97307 |    74578 |   520139 |    27472 |  0.002 |
743.40/97.65	c (97,0) c |  6 |    344 |     763097 |     612955 |    47062 |    76373 |    73749 |   509470 |    23770 |  0.000 |
743.40/97.65	c (97,0) c |  7 |    468 |     803212 |     632467 |    47798 |    95882 |    79472 |   515411 |    24973 |  0.001 |
743.40/97.65	c (97,0) c 
743.40/97.65	c (97,0) c synthesis     4939447 conflicts   825453700 propagations     7665 conflicts/sec  1280906 propagations/sec
743.40/97.65	c (97,0) c Total Memory so far : 686.05Mb
743.40/97.65	c (97,0) c
743.40/97.65	c (97,0) c |-------------------------------------------------------------------------------------------------------|
743.40/97.65	c (97,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
743.40/97.65	c (97,0) c |-------------------------------------------------------------------------------------------------------|
743.40/97.65	c (97,0) c |  0 |    435 |     778799 |     628247 |    47020 |    91664 |    72412 |   545786 |    21498 |  0.003 |
743.40/97.65	c (97,0) c |  1 |    317 |     785366 |     621761 |    47593 |    85183 |    76291 |   541889 |    25785 |  0.001 |
743.40/97.65	c (97,0) c |  2 |    531 |     867385 |     682578 |    47952 |    91998 |    80686 |   536963 |    28525 |  0.002 |
743.40/97.65	c (97,0) c |  3 |    331 |     761511 |     602582 |    47926 |    65994 |    74190 |   534075 |    25848 |  0.003 |
743.40/97.66	c (97,0) c |  4 |    348 |     823578 |     653571 |    47799 |    62997 |    78957 |   521176 |    22698 |  0.000 |
743.40/97.66	c (97,0) c |  5 |    448 |     840772 |     662872 |    47652 |    72287 |    77379 |   539888 |    28761 |  0.002 |
743.40/97.66	c (97,0) c |  6 |    360 |     800267 |     642684 |    47243 |   106102 |    76239 |   536542 |    25073 |  0.002 |
743.40/97.66	c (97,0) c |  7 |    500 |     840871 |     662089 |    47919 |    71506 |    82066 |   535343 |    26469 |  0.003 |
743.40/97.66	c (97,0) c 
743.40/97.66	c (97,0) c synthesis     5156384 conflicts   862088410 propagations     7535 conflicts/sec  1259818 propagations/sec
743.40/97.66	c (97,0) c Total Memory so far : 688.21Mb
743.40/97.66	c (97,0) c
817.59/106.96	c (106,0) c |-------------------------------------------------------------------------------------------------------|
817.59/106.96	c (106,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
817.59/106.96	c (106,0) c |-------------------------------------------------------------------------------------------------------|
817.59/106.96	c (106,0) c |  0 |    450 |     810268 |     654216 |    47067 |    63637 |    74789 |   560824 |    22301 |  0.001 |
817.59/106.96	c (106,0) c |  1 |    335 |     808868 |     641106 |    47614 |   104528 |    77806 |   558604 |    26524 |  0.000 |
817.59/106.96	c (106,0) c |  2 |    576 |     898906 |     707692 |    47987 |    60509 |    82609 |   554405 |    29824 |  0.002 |
817.59/106.96	c (106,0) c |  3 |    331 |     793425 |     629456 |    47971 |    92869 |    77436 |   534075 |    26653 |  0.003 |
817.59/106.96	c (106,0) c |  4 |    349 |     857858 |     681625 |    47861 |    91051 |    81579 |   553555 |    23773 |  0.001 |
817.59/106.96	c (106,0) c |  5 |    506 |     873844 |     688841 |    47687 |    98256 |    79894 |   557603 |    29852 |  0.002 |
817.59/106.96	c (106,0) c |  6 |    361 |     836834 |     672656 |    47366 |    82074 |    78778 |   556940 |    26236 |  0.001 |
817.59/106.96	c (106,0) c |  7 |    511 |     879455 |     692752 |    47994 |   102169 |    84922 |   551483 |    27707 |  0.000 |
817.59/106.96	c (106,0) c 
817.59/106.96	c (106,0) c synthesis     5368345 conflicts   897693490 propagations     7413 conflicts/sec  1239621 propagations/sec
817.59/106.96	c (106,0) c Total Memory so far : 690.41Mb
817.59/106.96	c (106,0) c
817.59/106.96	c (106,0) c |-------------------------------------------------------------------------------------------------------|
817.59/106.96	c (106,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
817.59/106.96	c (106,0) c |-------------------------------------------------------------------------------------------------------|
817.59/106.96	c (106,0) c |  0 |    450 |     837627 |     677213 |    47092 |    86634 |    77622 |   560824 |    22927 |  0.001 |
817.59/106.96	c (106,0) c |  1 |    343 |     833169 |     661194 |    47628 |    70619 |    79556 |   571578 |    27172 |  0.002 |
817.59/106.96	c (106,0) c |  2 |    609 |     928432 |     731080 |    48024 |    83897 |    85076 |   566971 |    31201 |  0.002 |
817.59/106.96	c (106,0) c |  3 |    335 |     814986 |     647673 |    47983 |    57085 |    79538 |   572043 |    27255 |  0.003 |
817.59/106.96	c (106,0) c |  4 |    361 |     882643 |     701437 |    47914 |   110863 |    83042 |   570474 |    24780 |  0.001 |
817.59/106.96	c (106,0) c |  5 |    548 |     899177 |     709023 |    47716 |    61833 |    81661 |   571808 |    30670 |  0.000 |
817.59/106.96	c (106,0) c |  6 |    377 |     859597 |     690732 |    47495 |   100150 |    80135 |   572698 |    27327 |  0.001 |
817.59/106.96	c (106,0) c |  7 |    545 |     909607 |     716531 |    48079 |    69346 |    86946 |   563563 |    28754 |  0.000 |
817.59/106.96	c (106,0) c 
817.59/106.96	c (106,0) c synthesis     5534883 conflicts   925577396 propagations     7321 conflicts/sec  1224226 propagations/sec
817.59/106.96	c (106,0) c Total Memory so far : 691.93Mb
817.59/106.96	c (106,0) c
817.59/106.96	c (106,0) c |-------------------------------------------------------------------------------------------------------|
817.59/106.96	c (106,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
817.59/106.96	c (106,0) c |-------------------------------------------------------------------------------------------------------|
817.59/106.96	c (106,0) c |  0 |    470 |     859294 |     694987 |    47114 |   104408 |    79093 |   589437 |    23543 |  0.003 |
817.59/106.96	c (106,0) c |  1 |    352 |     858528 |     681706 |    47662 |    91131 |    81567 |   585283 |    28252 |  0.001 |
817.59/106.96	c (106,0) c |  2 |    652 |     954277 |     751318 |    48039 |   104135 |    86900 |   581079 |    32281 |  0.002 |
817.59/106.96	c (106,0) c |  3 |    336 |     841067 |     669359 |    48003 |    78771 |    81921 |   580627 |    28080 |  0.001 |
817.59/106.96	c (106,0) c |  4 |    376 |     910465 |     723885 |    47962 |    76710 |    84526 |   583941 |    25645 |  0.001 |
817.59/106.96	c (106,0) c |  5 |    580 |     926754 |     731031 |    47729 |    83841 |    83586 |   582873 |    31570 |  0.002 |
817.59/106.96	c (106,0) c |  6 |    378 |     876385 |     704157 |    47579 |    56972 |    81668 |   573625 |    28201 |  0.001 |
817.59/106.96	c (106,0) c |  7 |    567 |     940356 |     740712 |    48169 |    93527 |    89317 |   578363 |    29775 |  0.003 |
817.59/106.96	c (106,0) c 
817.59/106.96	c (106,0) c synthesis     5697156 conflicts   952731998 propagations     7230 conflicts/sec  1209124 propagations/sec
817.59/106.96	c (106,0) c Total Memory so far : 693.50Mb
817.59/106.96	c (106,0) c last restart ## conflicts  :  16987 22 
817.59/106.96	c (106,0) c Thread 3 is 100% pure glucose! First thread to finish! (SAT answer).
817.59/106.96	c (106,0) c Total Memory so far : 694.50Mb
817.59/106.96	c (106,0) c
817.59/106.96	c (106,0) c real time : 100.286 s
817.59/106.96	c (106,0) c cpu time  : 798.386 s
817.59/106.96	c (106,0) c
817.59/106.96	c (106,0) c
817.59/106.96	c (106,0) c
817.59/106.96	c (106,0) c |---------------------------------------- FINAL STATS --------------------------------------------------|
817.59/106.96	c (106,0) c
817.59/106.96	c (106,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
817.59/106.96	c (106,0) c | Threads       |      Total      |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
817.59/106.96	c (106,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
817.59/106.96	c (106,0) c | Conflicts     |         5752083 |     701115 |     688106 |     757467 |     676485 |     730904 |     737882 |     711760 |     748364 |
817.59/106.96	c (106,0) c | Decisions     |         7234946 |     866736 |     866355 |     962145 |     849654 |     919295 |     935165 |     885823 |     949773 |
817.59/106.96	c (106,0) c | Propagations  |       962124452 |  119991191 |  113384384 |  125376997 |  112980366 |  122269053 |  123518832 |  119026942 |  125576687 |
817.59/106.96	c (106,0) c | Avg_Trail     |                 |        677 |        672 |        674 |        681 |        689 |        671 |        682 |        680 |
817.59/106.96	c (106,0) c | Avg_DL        |                 |         14 |         16 |         15 |         15 |         15 |         15 |         15 |         15 |
817.59/106.96	c (106,0) c | Avg_Res       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
817.59/106.96	c (106,0) c | Avg_Res_Seen  |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
817.59/106.96	c (106,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
817.59/106.96	c (106,0) c | Exported      |          673487 |      79526 |      82206 |      87413 |      82660 |      84978 |      84204 |      82542 |      89958 |
817.59/106.96	c (106,0) c | Imported      |         4674804 |     590351 |     591279 |     585823 |     580627 |     585562 |     589174 |     573625 |     578363 |
817.59/106.96	c (106,0) c | Good          |             574 |         74 |         72 |         68 |         71 |         73 |         74 |         68 |         74 |
817.59/106.96	c (106,0) c | Purge         |         4674230 |     590277 |     591207 |     585755 |     580556 |     585489 |     589100 |     573557 |     578289 |
817.59/106.96	c (106,0) c | Promoted      |          229711 |      23767 |      28621 |      32625 |      28352 |      25880 |      31825 |      28573 |      30068 |
817.59/106.96	c (106,0) c | Remove_Imp    |         3614503 |     443759 |     453320 |     439484 |     462020 |     457520 |     454864 |     460191 |     443345 |
817.59/106.96	c (106,0) c | Blocked_Reuse |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
817.59/106.96	c (106,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
817.59/106.96	c (106,0) c | Unaries       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
817.59/106.96	c (106,0) c | Binaries      |                 |          8 |         10 |         14 |         11 |          9 |          8 |         14 |          8 |
817.59/106.96	c (106,0) c | Glues         |                 |        722 |        791 |        929 |        873 |        774 |        849 |        755 |        874 |
817.59/106.96	c (106,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
817.59/106.96	c (106,0) c | Orig_Seen     |            96 % |      47124 |      47668 |      48049 |      48009 |      47972 |      47734 |      47631 |      48180 |
817.59/106.96	c (106,0) c | Diff Orig seen|                 | -      885 | -      341 |         40 |      X     | -       37 | -      275 | -      378 |        171 |
817.59/106.96	c (106,0) c | Hamming       |            33 % |        434 |        414 |        456 |      X     |        444 |        463 |        469 |        479 |
817.59/106.96	c (106,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
817.59/106.96	c (106,0) 
817.59/106.96	c (106,0) s SATISFIABLE
817.59/106.98	c (106,6) SatSolver.solve End
817.59/106.98	c (106,6) Heap : 3379 MiB used (max 21589 MiB), NonHeap : 30 MiB used (max 0 MiB)
817.59/106.98	c (106,6) Show results Begin
817.59/106.99	c (106,6) x[0] = 6
817.59/106.99	c (106,6) x[1] = 5
817.59/106.99	c (106,6) x[2] = 2
817.59/106.99	c (106,6) x[3] = 13
817.59/106.99	c (106,6) x[4] = 20
817.59/106.99	c (106,6) x[5] = 4
817.59/106.99	c (106,6) x[6] = 10
817.59/106.99	c (106,6) x[7] = 21
817.59/106.99	c (106,6) x[8] = 2
817.59/106.99	c (106,6) x[9] = 9
817.59/107.00	c (106,6) x[10] = 12
817.59/107.00	c (106,6) x[11] = 2
817.59/107.00	c (106,6) x[12] = 9
817.59/107.00	c (106,6) x[13] = 14
817.59/107.00	c (106,6) x[14] = 0
817.59/107.00	c (106,6) x[15] = 15
817.59/107.00	c (106,6) x[16] = 1
817.59/107.00	c (106,6) x[17] = 19
817.59/107.00	c (106,6) x[18] = 14
817.59/107.00	c (106,6) x[19] = 13
817.59/107.00	c (106,6) x[20] = 20
817.59/107.00	c (106,6) x[21] = 5
817.59/107.00	c (106,6) x[22] = 8
817.59/107.00	c (106,6) x[23] = 7
817.59/107.00	c (106,6) x[24] = 4
817.59/107.00	c (106,6) x[25] = 13
817.59/107.00	c (106,6) x[26] = 8
817.59/107.00	c (106,6) x[27] = 9
817.59/107.00	c (106,6) x[28] = 8
817.59/107.00	c (106,6) x[29] = 9
817.59/107.00	c (106,6) x[30] = 22
817.59/107.00	c (106,6) x[31] = 14
817.59/107.00	c (106,6) x[32] = 17
817.59/107.00	c (106,6) x[33] = 7
817.59/107.00	c (106,6) x[34] = 19
817.59/107.00	c (106,6) x[35] = 5
817.59/107.00	c (106,6) x[36] = 22
817.59/107.00	c (106,6) x[37] = 21
817.59/107.00	c (106,6) x[38] = 14
817.59/107.00	c (106,6) x[39] = 21
817.59/107.00	c (106,6) x[40] = 8
817.59/107.00	c (106,6) x[41] = 8
817.59/107.00	c (106,6) x[42] = 22
817.59/107.00	c (106,6) x[43] = 9
817.59/107.00	c (106,6) x[44] = 2
817.59/107.00	c (106,6) x[45] = 4
817.59/107.00	c (106,6) x[46] = 19
817.59/107.00	c (106,6) x[47] = 22
817.59/107.00	c (106,6) x[48] = 13
817.59/107.00	c (106,6) x[49] = 17
817.59/107.00	s SATISFIABLE
817.59/107.00	v <instantiation>
817.59/107.00	v     <list>x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] x[20] x[21] x[22] x[23] x[24] x[25] x[26] x[27] x[28] x[29] x[30] x[31] x[32] x[33] x[34] x[35] x[36] x[37] x[38] x[39] x[40] x[41] x[42] x[43] x[44] x[45] x[46] x[47] x[48] x[49]</list>
817.59/107.00	v     <values>6 5 2 13 20 4 10 21 2 9 12 2 9 14 0 15 1 19 14 13 20 5 8 7 4 13 8 9 8 9 22 14 17 7 19 5 22 21 14 21 8 8 22 9 2 4 19 22 13 17</values>
817.59/107.00	v </instantiation>
817.59/107.00	c (106,6) Show results End
817.59/107.00	c (106,6) Heap : 3379 MiB used (max 21589 MiB), NonHeap : 30 MiB used (max 0 MiB)
817.59/107.00	c (106,6) 0,0,4,5,5,5,5,106,106,STOP-AFTER(ALL)
817.59/107.00	c END-Prog: Fri Jul 27 10:08:22 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 (13485 MiB free)
  memory of node 1: 16384 MiB (14042 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4297285-1532678795/watcher-4297285-1532678795 -o /tmp/evaluation-result-4297285-1532678795/solver-4297285-1532678795 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node137-1532673416-8432 --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-4297285-1532678795.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=8972, runsolver pid=8969

[startup+0.100184 s]*
/proc/loadavg: 7.76 8.15 8.22 2/198 8992
/proc/meminfo: memFree=28092652/32770624 swapFree=67108436/67108860
[pid=8972] ppid=8969 vsize=27312552 memory=110000 CPUtime=0.11 cores=0-7
/proc/8972/stat : 8972 (java) S 8969 8972 8405 0 -1 1077944320 6528 0 0 0 8 3 0 0 20 0 20 0 85442649 27968053248 27500 33554432000 4194304 4196468 140735135199712 140735135182256 140397644050167 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 28090368 140735135204314 140735135204613 140735135204613 140735135207375 0
/proc/8972/statm: 6828138 27500 2749 1 0 6790598 0
[pid=8972/tid=8974] ppid=8969 vsize=27312552 memory=4644227656902144921 CPUtime=0.08 cores=0-7
/proc/8972/task/8974/stat : 8974 (java) R 8969 8972 8405 0 -1 4202560 4640 0 0 0 6 2 0 0 20 0 20 0 85442650 27968053248 27500 33554432000 4194304 4196468 140735135199712 140397615854368 140397627236586 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28090368 140735135204314 140735135204613 140735135204613 140735135207375 0
[pid=8972/tid=8975] ppid=8969 vsize=27312552 memory=732370270454041573 CPUtime=0 cores=0-7
/proc/8972/task/8975/stat : 8975 (java) S 8969 8972 8405 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 85442652 27968053248 27500 33554432000 4194304 4196468 140735135199712 140397648292496 140397644060373 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28090368 140735135204314 140735135204613 140735135204613 140735135207375 0
[pid=8972/tid=8976] ppid=8969 vsize=27312552 memory=140132116588160 CPUtime=0 cores=0-7
/proc/8972/task/8976/stat : 8976 (java) S 8969 8972 8405 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 85442652 27968053248 27500 33554432000 4194304 4196468 140735135199712 140397462448656 140397644060373 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28090368 140735135204314 140735135204613 140735135204613 140735135207375 0
[pid=8972/tid=8977] ppid=8969 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/8972/task/8977/stat : 8977 (java) S 8969 8972 8405 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 85442652 27968053248 27500 33554432000 4194304 4196468 140735135199712 140397461395856 140397644060373 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28090368 140735135204314 140735135204613 140735135204613 140735135207375 0
[pid=8972/tid=8978] ppid=8969 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/8972/task/8978/stat : 8978 (java) S 8969 8972 8405 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 85442652 27968053248 27500 33554432000 4194304 4196468 140735135199712 140397460343056 140397644060373 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28090368 140735135204314 140735135204613 140735135204613 140735135207375 0
[pid=8972/tid=8979] ppid=8969 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/8972/task/8979/stat : 8979 (java) S 8969 8972 8405 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 85442652 27968053248 27500 33554432000 4194304 4196468 140735135199712 140397459291280 140397644060373 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28090368 140735135204314 140735135204613 140735135204613 140735135207375 0
[pid=8972/tid=8980] ppid=8969 vsize=27312552 memory=-1 CPUtime=0 cores=0-7
/proc/8972/task/8980/stat : 8980 (java) S 8969 8972 8405 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 85442652 27968053248 27500 33554432000 4194304 4196468 140735135199712 140397458238480 140397644060373 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28090368 140735135204314 140735135204613 140735135204613 140735135207375 0
[pid=8972/tid=8981] ppid=8969 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/8972/task/8981/stat : 8981 (java) S 8969 8972 8405 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 85442652 27968053248 27500 33554432000 4194304 4196468 140735135199712 140397457185680 140397644060373 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28090368 140735135204314 140735135204613 140735135204613 140735135207375 0
[pid=8972/tid=8982] ppid=8969 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/8972/task/8982/stat : 8982 (java) S 8969 8972 8405 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 85442652 27968053248 27500 33554432000 4194304 4196468 140735135199712 140397456132880 140397644060373 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28090368 140735135204314 140735135204613 140735135204613 140735135207375 0
[pid=8972/tid=8983] ppid=8969 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/8972/task/8983/stat : 8983 (java) S 8969 8972 8405 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 85442654 27968053248 27500 33554432000 4194304 4196468 140735135199712 140395829754224 140397644061314 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28090368 140735135204314 140735135204613 140735135204613 140735135207375 0
[pid=8972/tid=8984] ppid=8969 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/8972/task/8984/stat : 8984 (java) S 8969 8972 8405 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 85442654 27968053248 27500 33554432000 4194304 4196468 140735135199712 140395568686112 140397644060373 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28090368 140735135204314 140735135204613 140735135204613 140735135207375 0
[pid=8972/tid=8985] ppid=8969 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/8972/task/8985/stat : 8985 (java) S 8969 8972 8405 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 85442654 27968053248 27500 33554432000 4194304 4196468 140735135199712 140395300250480 140397644060373 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28090368 140735135204314 140735135204613 140735135204613 140735135207375 0
[pid=8972/tid=8986] ppid=8969 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/8972/task/8986/stat : 8986 (java) S 8969 8972 8405 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 85442657 27968053248 27500 33554432000 4194304 4196468 140735135199712 140394925741904 140397644068763 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28090368 140735135204314 140735135204613 140735135204613 140735135207375 0
[pid=8972/tid=8987] ppid=8969 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/8972/task/8987/stat : 8987 (java) S 8969 8972 8405 0 -1 1077944384 304 0 0 0 0 0 0 0 20 0 20 0 85442657 27968053248 27500 33554432000 4194304 4196468 140735135199712 140395828702064 140397644061314 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28090368 140735135204314 140735135204613 140735135204613 140735135207375 0
[pid=8972/tid=8988] ppid=8969 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/8972/task/8988/stat : 8988 (java) S 8969 8972 8405 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 85442657 27968053248 27500 33554432000 4194304 4196468 140735135199712 140395827649264 140397644061314 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28090368 140735135204314 140735135204613 140735135204613 140735135207375 0
[pid=8972/tid=8989] ppid=8969 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/8972/task/8989/stat : 8989 (java) S 8969 8972 8405 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 85442657 27968053248 27500 33554432000 4194304 4196468 140735135199712 140395826596464 140397644061314 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28090368 140735135204314 140735135204613 140735135204613 140735135207375 0
[pid=8972/tid=8990] ppid=8969 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/8972/task/8990/stat : 8990 (java) S 8969 8972 8405 0 -1 1077944384 239 0 0 0 0 0 0 0 20 0 20 0 85442657 27968053248 27500 33554432000 4194304 4196468 140735135199712 140395825543664 140397644061314 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28090368 140735135204314 140735135204613 140735135204613 140735135207375 0
[pid=8972/tid=8991] ppid=8969 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/8972/task/8991/stat : 8991 (java) S 8969 8972 8405 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 85442657 27968053248 27500 33554432000 4194304 4196468 140735135199712 140394427837024 140397644060373 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28090368 140735135204314 140735135204613 140735135204613 140735135207375 0
[pid=8972/tid=8992] ppid=8969 vsize=27312552 memory=-1 CPUtime=0 cores=0-7
/proc/8972/task/8992/stat : 8992 (java) S 8969 8972 8405 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 85442657 27968053248 27500 33554432000 4194304 4196468 140735135199712 140395824491056 140397644061314 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28090368 140735135204314 140735135204613 140735135204613 140735135207375 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 27312552 KiB
Current children cumulated memory: 110000 KiB

[startup+0.210394 s]*
/proc/loadavg: 7.76 8.15 8.22 2/198 8992
/proc/meminfo: memFree=28077116/32770624 swapFree=67108436/67108860
[pid=8972] ppid=8969 vsize=27312552 memory=124400 CPUtime=0.25 cores=0-7
/proc/8972/stat : 8972 (java) S 8969 8972 8405 0 -1 1077944320 10310 0 0 0 21 4 0 0 20 0 20 0 85442649 27968053248 31100 33554432000 4194304 4196468 140735135199712 140735135182256 140397644050167 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 28090368 140735135204314 140735135204613 140735135204613 140735135207375 0
/proc/8972/statm: 6828138 31100 2882 1 0 6790598 0
[pid=8972/tid=8974] ppid=8969 vsize=27312552 memory=29681743523217448 CPUtime=0.19 cores=0-7
/proc/8972/task/8974/stat : 8974 (java) R 8969 8972 8405 0 -1 4202560 8208 0 0 0 16 3 0 0 20 0 20 0 85442650 27968053248 31100 33554432000 4194304 4196468 140735135199712 140397615856992 140397627424834 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28090368 140735135204314 140735135204613 140735135204613 140735135207375 0
[pid=8972/tid=8975] ppid=8969 vsize=27312552 memory=288230613264367967 CPUtime=0 cores=0-7
/proc/8972/task/8975/stat : 8975 (java) S 8969 8972 8405 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 85442652 27968053248 31100 33554432000 4194304 4196468 140735135199712 140397648292496 140397644060373 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28090368 140735135204314 140735135204613 140735135204613 140735135207375 0
[pid=8972/tid=8976] ppid=8969 vsize=27312552 memory=15113514331661976 CPUtime=0 cores=0-7
/proc/8972/task/8976/stat : 8976 (java) S 8969 8972 8405 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 85442652 27968053248 31100 33554432000 4194304 4196468 140735135199712 140397462448656 140397644060373 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28090368 140735135204314 140735135204613 140735135204613 140735135207375 0
[pid=8972/tid=8977] ppid=8969 vsize=27312552 memory=-1 CPUtime=0 cores=0-7
/proc/8972/task/8977/stat : 8977 (java) S 8969 8972 8405 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 85442652 27968053248 31100 33554432000 4194304 4196468 140735135199712 140397461395856 140397644060373 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28090368 140735135204314 140735135204613 140735135204613 140735135207375 0
[pid=8972/tid=8978] ppid=8969 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/8972/task/8978/stat : 8978 (java) S 8969 8972 8405 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 85442652 27968053248 31100 33554432000 4194304 4196468 140735135199712 140397460343056 140397644060373 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28090368 140735135204314 140735135204613 140735135204613 140735135207375 0
[pid=8972/tid=8979] ppid=8969 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/8972/task/8979/stat : 8979 (java) S 8969 8972 8405 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 85442652 27968053248 31100 33554432000 4194304 4196468 140735135199712 140397459291280 140397644060373 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28090368 140735135204314 140735135204613 140735135204613 140735135207375 0
[pid=8972/tid=8980] ppid=8969 vsize=27312552 memory=-1 CPUtime=0 cores=0-7
/proc/8972/task/8980/stat : 8980 (java) S 8969 8972 8405 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 85442652 27968053248 31100 33554432000 4194304 4196468 140735135199712 140397458238480 140397644060373 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28090368 140735135204314 140735135204613 140735135204613 140735135207375 0
[pid=8972/tid=8981] ppid=8969 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/8972/task/8981/stat : 8981 (java) S 8969 8972 8405 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 85442652 27968053248 31100 33554432000 4194304 4196468 140735135199712 140397457185680 140397644060373 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28090368 140735135204314 140735135204613 140735135204613 140735135207375 0
[pid=8972/tid=8982] ppid=8969 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/8972/task/8982/stat : 8982 (java) S 8969 8972 8405 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 85442652 27968053248 31100 33554432000 4194304 4196468 140735135199712 140397456132880 140397644060373 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28090368 140735135204314 140735135204613 140735135204613 140735135207375 0
[pid=8972/tid=8983] ppid=8969 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/8972/task/8983/stat : 8983 (java) S 8969 8972 8405 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 85442654 27968053248 31100 33554432000 4194304 4196468 140735135199712 140395829754224 140397644061314 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28090368 140735135204314 140735135204613 140735135204613 140735135207375 0
[pid=8972/tid=8984] ppid=8969 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/8972/task/8984/stat : 8984 (java) S 8969 8972 8405 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 85442654 27968053248 31100 33554432000 4194304 4196468 140735135199712 140395568686112 140397644060373 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28090368 140735135204314 140735135204613 140735135204613 140735135207375 0
[pid=8972/tid=8985] ppid=8969 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/8972/task/8985/stat : 8985 (java) S 8969 8972 8405 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 85442654 27968053248 31100 33554432000 4194304 4196468 140735135199712 140395300250480 140397644060373 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28090368 140735135204314 140735135204613 140735135204613 140735135207375 0
[pid=8972/tid=8986] ppid=8969 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/8972/task/8986/stat : 8986 (java) S 8969 8972 8405 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 85442657 27968053248 31100 33554432000 4194304 4196468 140735135199712 140394925741904 140397644068763 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28090368 140735135204314 140735135204613 140735135204613 140735135207375 0
[pid=8972/tid=8987] ppid=8969 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/8972/task/8987/stat : 8987 (java) S 8969 8972 8405 0 -1 1077944384 453 0 0 0 0 0 0 0 20 0 20 0 85442657 27968053248 31100 33554432000 4194304 4196468 140735135199712 140395828702064 140397644061314 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28090368 140735135204314 140735135204613 140735135204613 140735135207375 0
[pid=8972/tid=8988] ppid=8969 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/8972/task/8988/stat : 8988 (java) S 8969 8972 8405 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 85442657 27968053248 31100 33554432000 4194304 4196468 140735135199712 140395827649264 140397644061314 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28090368 140735135204314 140735135204613 140735135204613 140735135207375 0
[pid=8972/tid=8989] ppid=8969 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/8972/task/8989/stat : 8989 (java) S 8969 8972 8405 0 -1 1077944384 19 0 0 0 0 0 0 0 20 0 20 0 85442657 27968053248 31100 33554432000 4194304 4196468 140735135199712 140395826596464 140397644061314 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28090368 140735135204314 140735135204613 140735135204613 140735135207375 0
[pid=8972/tid=8990] ppid=8969 vsize=27312552 memory=0 CPUtime=0.02 cores=0-7
/proc/8972/task/8990/stat : 8990 (java) S 8969 8972 8405 0 -1 1077944384 282 0 0 0 2 0 0 0 20 0 20 0 85442657 27968053248 31100 33554432000 4194304 4196468 140735135199712 140395825543664 140397644061314 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28090368 140735135204314 140735135204613 140735135204613 140735135207375 0
[pid=8972/tid=8991] ppid=8969 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/8972/task/8991/stat : 8991 (java) S 8969 8972 8405 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 85442657 27968053248 31100 33554432000 4194304 4196468 140735135199712 140394427837024 140397644060373 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28090368 140735135204314 140735135204613 140735135204613 140735135207375 0
[pid=8972/tid=8992] ppid=8969 vsize=27312552 memory=-1 CPUtime=0 cores=0-7
/proc/8972/task/8992/stat : 8992 (java) S 8969 8972 8405 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 85442657 27968053248 31100 33554432000 4194304 4196468 140735135199712 140395824491056 140397644061314 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28090368 140735135204314 140735135204613 140735135204613 140735135207375 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 27312552 KiB
Current children cumulated memory: 124400 KiB

[startup+0.310196 s]*
/proc/loadavg: 7.76 8.15 8.22 2/198 8992
/proc/meminfo: memFree=28074308/32770624 swapFree=67108436/67108860
[pid=8972] ppid=8969 vsize=27312552 memory=127884 CPUtime=0.42 cores=0-7
/proc/8972/stat : 8972 (java) S 8969 8972 8405 0 -1 1077944320 10855 0 0 0 38 4 0 0 20 0 20 0 85442649 27968053248 31971 33554432000 4194304 4196468 140735135199712 140735135182256 140397644050167 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 28090368 140735135204314 140735135204613 140735135204613 140735135207375 0
/proc/8972/statm: 6828138 31971 2978 1 0 6790598 0
[pid=8972/tid=8974] ppid=8969 vsize=27312552 memory=8112282956445269571 CPUtime=0.29 cores=0-7
/proc/8972/task/8974/stat : 8974 (java) R 8969 8972 8405 0 -1 4202560 8581 0 0 0 26 3 0 0 20 0 20 0 85442650 27968053248 31971 33554432000 4194304 4196468 140735135199712 140397615854096 140397624325547 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28090368 140735135204314 140735135204613 140735135204613 140735135207375 0
[pid=8972/tid=8975] ppid=8969 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/8972/task/8975/stat : 8975 (java) S 8969 8972 8405 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 85442652 27968053248 31971 33554432000 4194304 4196468 140735135199712 140397648292496 140397644060373 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28090368 140735135204314 140735135204613 140735135204613 140735135207375 0
[pid=8972/tid=8976] ppid=8969 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/8972/task/8976/stat : 8976 (java) S 8969 8972 8405 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 85442652 27968053248 31971 33554432000 4194304 4196468 140735135199712 140397462448656 140397644060373 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28090368 140735135204314 140735135204613 140735135204613 140735135207375 0
[pid=8972/tid=8977] ppid=8969 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/8972/task/8977/stat : 8977 (java) S 8969 8972 8405 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 85442652 27968053248 31971 33554432000 4194304 4196468 140735135199712 140397461395856 140397644060373 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28090368 140735135204314 140735135204613 140735135204613 140735135207375 0
[pid=8972/tid=8978] ppid=8969 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/8972/task/8978/stat : 8978 (java) S 8969 8972 8405 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 85442652 27968053248 31971 33554432000 4194304 4196468 140735135199712 140397460343056 140397644060373 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28090368 140735135204314 140735135204613 140735135204613 140735135207375 0
[pid=8972/tid=8979] ppid=8969 vsize=27312552 memory=2244 CPUtime=0 cores=0-7
/proc/8972/task/8979/stat : 8979 (java) S 8969 8972 8405 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 85442652 27968053248 31971 33554432000 4194304 4196468 140735135199712 140397459291280 140397644060373 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28090368 140735135204314 140735135204613 140735135204613 140735135207375 0
[pid=8972/tid=8980] ppid=8969 vsize=27312552 memory=140131965170607 CPUtime=0 cores=0-7
/proc/8972/task/8980/stat : 8980 (java) S 8969 8972 8405 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 85442652 27968053248 31971 33554432000 4194304 4196468 140735135199712 140397458238480 140397644060373 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28090368 140735135204314 140735135204613 140735135204613 140735135207375 0
[pid=8972/tid=8981] ppid=8969 vsize=27312552 memory=140131965172912 CPUtime=0 cores=0-7
/proc/8972/task/8981/stat : 8981 (java) S 8969 8972 8405 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 85442652 27968053248 31971 33554432000 4194304 4196468 140735135199712 140397457185680 140397644060373 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28090368 140735135204314 140735135204613 140735135204613 140735135207375 0
[pid=8972/tid=8982] ppid=8969 vsize=27312552 memory=140131965175216 CPUtime=0 cores=0-7
/proc/8972/task/8982/stat : 8982 (java) S 8969 8972 8405 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 85442652 27968053248 31971 33554432000 4194304 4196468 140735135199712 140397456132880 140397644060373 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28090368 140735135204314 140735135204613 140735135204613 140735135207375 0
[pid=8972/tid=8983] ppid=8969 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/8972/task/8983/stat : 8983 (java) S 8969 8972 8405 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 85442654 27968053248 31971 33554432000 4194304 4196468 140735135199712 140395829754224 140397644061314 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28090368 140735135204314 140735135204613 140735135204613 140735135207375 0
[pid=8972/tid=8984] ppid=8969 vsize=27312552 memory=280263930357392 CPUtime=0 cores=0-7
/proc/8972/task/8984/stat : 8984 (java) S 8969 8972 8405 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 85442654 27968053248 31971 33554432000 4194304 4196468 140735135199712 140395568686112 140397644060373 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28090368 140735135204314 140735135204613 140735135204613 140735135207375 0
[pid=8972/tid=8985] ppid=8969 vsize=27312552 memory=280263930364304 CPUtime=0 cores=0-7
/proc/8972/task/8985/stat : 8985 (java) S 8969 8972 8405 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 85442654 27968053248 31971 33554432000 4194304 4196468 140735135199712 140395300250480 140397644060373 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28090368 140735135204314 140735135204613 140735135204613 140735135207375 0
[pid=8972/tid=8986] ppid=8969 vsize=27312552 memory=280263930305584 CPUtime=0 cores=0-7
/proc/8972/task/8986/stat : 8986 (java) S 8969 8972 8405 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 85442657 27968053248 31971 33554432000 4194304 4196468 140735135199712 140394925741904 140397644068763 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28090368 140735135204314 140735135204613 140735135204613 140735135207375 0
[pid=8972/tid=8987] ppid=8969 vsize=27312552 memory=280263930378128 CPUtime=0.01 cores=0-7
/proc/8972/task/8987/stat : 8987 (java) S 8969 8972 8405 0 -1 1077944384 494 0 0 0 1 0 0 0 20 0 20 0 85442657 27968053248 31971 33554432000 4194304 4196468 140735135199712 140395828702064 140397644061314 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28090368 140735135204314 140735135204613 140735135204613 140735135207375 0
[pid=8972/tid=8988] ppid=8969 vsize=27312552 memory=280263930385040 CPUtime=0.01 cores=0-7
/proc/8972/task/8988/stat : 8988 (java) S 8969 8972 8405 0 -1 1077944384 27 0 0 0 1 0 0 0 20 0 20 0 85442657 27968053248 31971 33554432000 4194304 4196468 140735135199712 140395827649264 140397644061314 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28090368 140735135204314 140735135204613 140735135204613 140735135207375 0
[pid=8972/tid=8989] ppid=8969 vsize=27312552 memory=280263930382736 CPUtime=0.01 cores=0-7
/proc/8972/task/8989/stat : 8989 (java) S 8969 8972 8405 0 -1 1077944384 104 0 0 0 1 0 0 0 20 0 20 0 85442657 27968053248 31971 33554432000 4194304 4196468 140735135199712 140395826596464 140397644061314 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28090368 140735135204314 140735135204613 140735135204613 140735135207375 0
[pid=8972/tid=8990] ppid=8969 vsize=27312552 memory=280263930399296 CPUtime=0.07 cores=0-7
/proc/8972/task/8990/stat : 8990 (java) S 8969 8972 8405 0 -1 1077944384 304 0 0 0 7 0 0 0 20 0 20 0 85442657 27968053248 31971 33554432000 4194304 4196468 140735135199712 140395825543664 140397644061314 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28090368 140735135204314 140735135204613 140735135204613 140735135207375 0
[pid=8972/tid=8991] ppid=8969 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/8972/task/8991/stat : 8991 (java) S 8969 8972 8405 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 85442657 27968053248 31971 33554432000 4194304 4196468 140735135199712 140394427837024 140397644060373 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28090368 140735135204314 140735135204613 140735135204613 140735135207375 0
[pid=8972/tid=8992] ppid=8969 vsize=27312552 memory=-1 CPUtime=0 cores=0-7
/proc/8972/task/8992/stat : 8992 (java) S 8969 8972 8405 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 85442657 27968053248 31971 33554432000 4194304 4196468 140735135199712 140395824491056 140397644061314 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28090368 140735135204314 140735135204613 140735135204613 140735135207375 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 27312552 KiB
Current children cumulated memory: 127884 KiB

[startup+0.70212 s]
/proc/loadavg: 7.76 8.15 8.22 2/198 8992
/proc/meminfo: memFree=28050372/32770624 swapFree=67108436/67108860
[pid=8972] ppid=8969 vsize=27318824 memory=167684 CPUtime=1.05 cores=0-7
/proc/8972/stat : 8972 (java) S 8969 8972 8405 0 -1 1077944320 17875 0 0 0 98 7 0 0 20 0 20 0 85442649 27974475776 41921 33554432000 4194304 4196468 140735135199712 140735135182256 140397644050167 0 0 0 25189583 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 28090368 140735135204314 140735135204613 140735135204613 140735135207375 0
/proc/8972/statm: 6829706 41921 3150 1 0 6791110 0
[pid=8972/tid=8974] ppid=8969 vsize=27318824 memory=7949243945498207060 CPUtime=0.67 cores=0-7
/proc/8972/task/8974/stat : 8974 (java) R 8969 8972 8405 0 -1 4202560 14958 0 0 0 61 6 0 0 20 0 20 0 85442650 27974475776 41921 33554432000 4194304 4196468 140735135199712 140397615887728 140397628130654 0 4 0 25189583 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28090368 140735135204314 140735135204613 140735135204613 140735135207375 0
[pid=8972/tid=8975] ppid=8969 vsize=27318824 memory=38616050976318 CPUtime=0 cores=0-7
/proc/8972/task/8975/stat : 8975 (java) S 8969 8972 8405 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 85442652 27974475776 41921 33554432000 4194304 4196468 140735135199712 140397648292496 140397644060373 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28090368 140735135204314 140735135204613 140735135204613 140735135207375 0
[pid=8972/tid=8976] ppid=8969 vsize=27318824 memory=140131965181765 CPUtime=0 cores=0-7
/proc/8972/task/8976/stat : 8976 (java) S 8969 8972 8405 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 85442652 27974475776 41921 33554432000 4194304 4196468 140735135199712 140397462448656 140397644060373 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28090368 140735135204314 140735135204613 140735135204613 140735135207375 0
[pid=8972/tid=8977] ppid=8969 vsize=27318824 memory=0 CPUtime=0 cores=0-7
/proc/8972/task/8977/stat : 8977 (java) S 8969 8972 8405 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 85442652 27974475776 41921 33554432000 4194304 4196468 140735135199712 140397461395856 140397644060373 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28090368 140735135204314 140735135204613 140735135204613 140735135207375 0
[pid=8972/tid=8978] ppid=8969 vsize=27318824 memory=0 CPUtime=0 cores=0-7
/proc/8972/task/8978/stat : 8978 (java) S 8969 8972 8405 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 85442652 27974475776 41921 33554432000 4194304 4196468 140735135199712 140397460343056 140397644060373 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28090368 140735135204314 140735135204613 140735135204613 140735135207375 0
[pid=8972/tid=8979] ppid=8969 vsize=27318824 memory=0 CPUtime=0 cores=0-7
/proc/8972/task/8979/stat : 8979 (java) S 8969 8972 8405 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 85442652 27974475776 41921 33554432000 4194304 4196468 140735135199712 140397459291280 140397644060373 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28090368 140735135204314 140735135204613 140735135204613 140735135207375 0
[pid=8972/tid=8980] ppid=8969 vsize=27318824 memory=2353 CPUtime=0 cores=0-7
/proc/8972/task/8980/stat : 8980 (java) S 8969 8972 8405 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 85442652 27974475776 41921 33554432000 4194304 4196468 140735135199712 140397458238480 140397644060373 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28090368 140735135204314 140735135204613 140735135204613 140735135207375 0
[pid=8972/tid=8981] ppid=8969 vsize=27318824 memory=0 CPUtime=0 cores=0-7
/proc/8972/task/8981/stat : 8981 (java) S 8969 8972 8405 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 85442652 27974475776 41921 33554432000 4194304 4196468 140735135199712 140397457185680 140397644060373 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28090368 140735135204314 140735135204613 140735135204613 140735135207375 0
[pid=8972/tid=8982] ppid=8969 vsize=27318824 memory=1784 CPUtime=0 cores=0-7
/proc/8972/task/8982/stat : 8982 (java) S 8969 8972 8405 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 85442652 27974475776 41921 33554432000 4194304 4196468 140735135199712 140397456132880 140397644060373 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28090368 140735135204314 140735135204613 140735135204613 140735135207375 0
[pid=8972/tid=8983] ppid=8969 vsize=27318824 memory=5752 CPUtime=0 cores=0-7
/proc/8972/task/8983/stat : 8983 (java) S 8969 8972 8405 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 85442654 27974475776 41921 33554432000 4194304 4196468 140735135199712 140395829754224 140397644061314 0 0 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28090368 140735135204314 140735135204613 140735135204613 140735135207375 0

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

/proc/8972/task/8980/stat : 8980 (java) S 8969 8972 8405 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 85442652 28656443392 721139 33554432000 4194304 4196468 140735135199712 140397458238480 140397644060373 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28090368 140735135204314 140735135204613 140735135204613 140735135207375 0
[pid=8972/tid=8981] ppid=8969 vsize=27984808 memory=3054156605267021189 CPUtime=0 cores=0-7
/proc/8972/task/8981/stat : 8981 (java) S 8969 8972 8405 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 85442652 28656443392 721139 33554432000 4194304 4196468 140735135199712 140397457185680 140397644060373 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28090368 140735135204314 140735135204613 140735135204613 140735135207375 0
[pid=8972/tid=8982] ppid=8969 vsize=27984808 memory=-8412661042843906680 CPUtime=0 cores=0-7
/proc/8972/task/8982/stat : 8982 (java) S 8969 8972 8405 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 85442652 28656443392 721139 33554432000 4194304 4196468 140735135199712 140397456132880 140397644060373 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28090368 140735135204314 140735135204613 140735135204613 140735135207375 0
[pid=8972/tid=8983] ppid=8969 vsize=27984808 memory=8508281339140727949 CPUtime=0 cores=0-7
/proc/8972/task/8983/stat : 8983 (java) S 8969 8972 8405 0 -1 1077944384 10 0 0 0 0 0 0 0 20 0 24 0 85442654 28656443392 721139 33554432000 4194304 4196468 140735135199712 140395829754224 140397644061314 0 0 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28090368 140735135204314 140735135204613 140735135204613 140735135207375 0
[pid=8972/tid=8984] ppid=8969 vsize=27984808 memory=-6582148112313532357 CPUtime=0 cores=0-7
/proc/8972/task/8984/stat : 8984 (java) S 8969 8972 8405 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 85442654 28656443392 721139 33554432000 4194304 4196468 140735135199712 140395568686112 140397644060373 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28090368 140735135204314 140735135204613 140735135204613 140735135207375 0
[pid=8972/tid=8985] ppid=8969 vsize=27984808 memory=4426648745358232950 CPUtime=0 cores=0-7
/proc/8972/task/8985/stat : 8985 (java) S 8969 8972 8405 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 85442654 28656443392 721139 33554432000 4194304 4196468 140735135199712 140395300250480 140397644060373 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28090368 140735135204314 140735135204613 140735135204613 140735135207375 0
[pid=8972/tid=8986] ppid=8969 vsize=27984808 memory=7377246124687064083 CPUtime=0 cores=0-7
/proc/8972/task/8986/stat : 8986 (java) S 8969 8972 8405 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 85442657 28656443392 721139 33554432000 4194304 4196468 140735135199712 140394925741904 140397644068763 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28090368 140735135204314 140735135204613 140735135204613 140735135207375 0
[pid=8972/tid=8987] ppid=8969 vsize=27984808 memory=576587674381544995 CPUtime=3.14 cores=0-7
/proc/8972/task/8987/stat : 8987 (java) S 8969 8972 8405 0 -1 1077944384 3190 0 0 0 313 1 0 0 20 0 24 0 85442657 28656443392 721139 33554432000 4194304 4196468 140735135199712 140395828702064 140397644061314 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28090368 140735135204314 140735135204613 140735135204613 140735135207375 0
[pid=8972/tid=8988] ppid=8969 vsize=27984808 memory=8039887049847964329 CPUtime=4.45 cores=0-7
/proc/8972/task/8988/stat : 8988 (java) S 8969 8972 8405 0 -1 1077944384 3927 0 0 0 444 1 0 0 20 0 24 0 85442657 28656443392 721139 33554432000 4194304 4196468 140735135199712 140395827649264 140397644061314 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28090368 140735135204314 140735135204613 140735135204613 140735135207375 0
[pid=8972/tid=8989] ppid=8969 vsize=27984808 memory=2884556 CPUtime=3.13 cores=0-7
/proc/8972/task/8989/stat : 8989 (java) S 8969 8972 8405 0 -1 1077944384 3454 0 0 0 311 2 0 0 20 0 24 0 85442657 28656443392 721139 33554432000 4194304 4196468 140735135199712 140395826596464 140397644061314 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28090368 140735135204314 140735135204613 140735135204613 140735135207375 0
[pid=8972/tid=8990] ppid=8969 vsize=27984808 memory=437144 CPUtime=1.34 cores=0-7
/proc/8972/task/8990/stat : 8990 (java) S 8969 8972 8405 0 -1 1077944384 5129 0 0 0 132 2 0 0 20 0 24 0 85442657 28656443392 721139 33554432000 4194304 4196468 140735135199712 140395825543664 140397644061314 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28090368 140735135204314 140735135204613 140735135204613 140735135207375 0
[pid=8972/tid=8991] ppid=8969 vsize=27984808 memory=8039887049847964329 CPUtime=0 cores=0-7
/proc/8972/task/8991/stat : 8991 (java) S 8969 8972 8405 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 85442657 28656443392 721139 33554432000 4194304 4196468 140735135199712 140394427837024 140397644060373 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28090368 140735135204314 140735135204613 140735135204613 140735135207375 0
[pid=8972/tid=8992] ppid=8969 vsize=27984808 memory=-7003737579269690708 CPUtime=0.04 cores=0-7
/proc/8972/task/8992/stat : 8992 (java) S 8969 8972 8405 0 -1 1077944384 9 0 0 0 0 4 0 0 20 0 24 0 85442657 28656443392 721139 33554432000 4194304 4196468 140735135199712 140395824491056 140397644061314 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28090368 140735135204314 140735135204613 140735135204613 140735135207375 0
[pid=8972/tid=8994] ppid=8969 vsize=27984808 memory=2884556 CPUtime=0 cores=0-7
/proc/8972/task/8994/stat : 8994 (java) S 8969 8972 8405 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 85443317 28656443392 721139 33554432000 4194304 4196468 140735135199712 140397045417024 140397644074777 0 4 0 25189583 18446744071579417331 0 0 -1 5 0 0 0 0 0 6293624 6294260 28090368 140735135204314 140735135204613 140735135204613 140735135207375 0
[pid=8972/tid=8996] ppid=8969 vsize=27984808 memory=435868 CPUtime=0.01 cores=0-7
/proc/8972/task/8996/stat : 8996 (java) S 8969 8972 8405 0 -1 4202560 11 0 0 0 1 0 0 0 20 0 24 0 85443317 28656443392 721139 33554432000 4194304 4196468 140735135199712 140393756737616 140397644072093 0 4 0 25189583 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 28090368 140735135204314 140735135204613 140735135204613 140735135207375 0
[pid=8972/tid=8997] ppid=8969 vsize=27984808 memory=8039887049847964329 CPUtime=0 cores=0-7
/proc/8972/task/8997/stat : 8997 (java) S 8969 8972 8405 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 24 0 85443317 28656443392 721139 33554432000 4194304 4196468 140735135199712 140394025172912 140397644072093 0 4 0 25189583 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 28090368 140735135204314 140735135204613 140735135204613 140735135207375 0
[pid=8972/tid=8998] ppid=8969 vsize=27984808 memory=-7003737579269690708 CPUtime=0 cores=0-7
/proc/8972/task/8998/stat : 8998 (java) S 8969 8972 8405 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 24 0 85443319 28656443392 721139 33554432000 4194304 4196468 140735135199712 140393488309792 140397644060373 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28090368 140735135204314 140735135204613 140735135204613 140735135207375 0
Current children cumulated CPU time: 813.59 s
Current children cumulated vsize: 28695368 KiB
Current children cumulated memory: 3326432 KiB

[startup+106.802 s]
/proc/loadavg: 7.99 8.06 8.18 9/211 9006
/proc/meminfo: memFree=24874108/32770624 swapFree=67108436/67108860
[pid=8972] ppid=8969 vsize=27984808 memory=2884556 CPUtime=18.84 cores=0-7
/proc/8972/stat : 8972 (java) S 8969 8972 8405 0 -1 1077944320 35982 0 0 0 1829 55 0 0 20 0 24 0 85442649 28656443392 721139 33554432000 4194304 4196468 140735135199712 140735135182256 140397644050167 0 0 0 25189583 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 28090368 140735135204314 140735135204613 140735135204613 140735135207375 0
/proc/8972/statm: 6996202 721139 3234 1 0 6957058 0
[pid=8993] ppid=8972 vsize=710864 memory=441876 CPUtime=797.95 cores=0-7
/proc/8993/stat : 8993 (glucose-syrup) S 8972 8972 8405 0 -1 1077944320 262839 0 0 0 79711 84 0 0 20 0 9 0 85443317 727924736 110469 33554432000 4194304 4373367 140735281626464 140735281625008 140610115246722 0 4 0 8388610 18446744073709551615 0 0 17 4 0 0 0 0 0 6470912 6472264 37003264 140735281628081 140735281628332 140735281628332 140735281631175 0
/proc/8993/statm: 177716 110469 382 44 0 173404 0
[pid=8993/tid=8999] ppid=8972 vsize=710864 memory=6153414979662405952 CPUtime=97.88 cores=0-7
/proc/8993/task/8999/stat : 8999 (glucose-syrup) R 8972 8972 8405 0 -1 4202560 28550 0 0 0 9778 10 0 0 20 0 9 0 85443325 727924736 110469 33554432000 4194304 4373367 140735281626464 140610093866352 4271925 0 4 0 8388610 0 0 0 -1 7 0 0 0 0 0 6470912 6472264 37003264 140735281628081 140735281628332 140735281628332 140735281631175 0
[pid=8993/tid=9000] ppid=8972 vsize=710864 memory=7158020058035611222 CPUtime=100.01 cores=0-7
/proc/8993/task/9000/stat : 9000 (glucose-syrup) R 8972 8972 8405 0 -1 4202560 31077 0 0 0 9991 10 0 0 20 0 9 0 85443325 727924736 110469 33554432000 4194304 4373367 140735281626464 140610085473648 4272316 0 4 0 8388610 0 0 0 -1 0 0 0 0 0 0 6470912 6472264 37003264 140735281628081 140735281628332 140735281628332 140735281631175 0
[pid=8993/tid=9001] ppid=8972 vsize=710864 memory=8039887049847964329 CPUtime=100.03 cores=0-7
/proc/8993/task/9001/stat : 9001 (glucose-syrup) R 8972 8972 8405 0 -1 4202560 32277 0 0 0 9993 10 0 0 20 0 9 0 85443325 727924736 110469 33554432000 4194304 4373367 140735281626464 140610077080944 4271842 0 4 0 8388610 0 0 0 -1 5 0 0 0 0 0 6470912 6472264 37003264 140735281628081 140735281628332 140735281628332 140735281631175 0
[pid=8993/tid=9002] ppid=8972 vsize=710864 memory=1236 CPUtime=99.99 cores=0-7
/proc/8993/task/9002/stat : 9002 (glucose-syrup) R 8972 8972 8405 0 -1 4202560 33327 0 0 0 9990 9 0 0 20 0 9 0 85443325 727924736 110469 33554432000 4194304 4373367 140735281626464 140610068688240 4271897 0 4 0 8388610 0 0 0 -1 6 0 0 0 0 0 6470912 6472264 37003264 140735281628081 140735281628332 140735281628332 140735281631175 0
[pid=8993/tid=9003] ppid=8972 vsize=710864 memory=280263933281888 CPUtime=99.98 cores=0-7
/proc/8993/task/9003/stat : 9003 (glucose-syrup) R 8972 8972 8405 0 -1 4202560 30258 0 0 0 9988 10 0 0 20 0 9 0 85443325 727924736 110469 33554432000 4194304 4373367 140735281626464 140610060295536 4257231 0 4 0 8388610 0 0 0 -1 2 0 0 0 0 0 6470912 6472264 37003264 140735281628081 140735281628332 140735281628332 140735281631175 0
[pid=8993/tid=9004] ppid=8972 vsize=710864 memory=288230596050944315 CPUtime=99.91 cores=0-7
/proc/8993/task/9004/stat : 9004 (glucose-syrup) R 8972 8972 8405 0 -1 4202560 32460 0 0 0 9982 9 0 0 20 0 9 0 85443325 727924736 110469 33554432000 4194304 4373367 140735281626464 140609783467376 4272280 0 4 0 8388610 0 0 0 -1 3 0 0 0 0 0 6470912 6472264 37003264 140735281628081 140735281628332 140735281628332 140735281631175 0
[pid=8993/tid=9005] ppid=8972 vsize=710864 memory=15823295995971307 CPUtime=100.01 cores=0-7
/proc/8993/task/9005/stat : 9005 (glucose-syrup) R 8972 8972 8405 0 -1 4202560 35245 0 0 0 9992 9 0 0 20 0 9 0 85443325 727924736 110469 33554432000 4194304 4373367 140735281626464 140609981508976 4272272 0 4 0 8388610 0 0 0 -1 4 0 0 0 0 0 6470912 6472264 37003264 140735281628081 140735281628332 140735281628332 140735281631175 0
[pid=8993/tid=9006] ppid=8972 vsize=710864 memory=288230574492221466 CPUtime=99.98 cores=0-7
/proc/8993/task/9006/stat : 9006 (glucose-syrup) R 8972 8972 8405 0 -1 4202560 33680 0 0 0 9987 11 0 0 20 0 9 0 85443325 727924736 110469 33554432000 4194304 4373367 140735281626464 140609973116272 4271828 0 4 0 8388610 0 0 0 -1 1 0 0 0 0 0 6470912 6472264 37003264 140735281628081 140735281628332 140735281628332 140735281631175 0
[pid=8972/tid=8974] ppid=8969 vsize=27984808 memory=318066943582273851 CPUtime=6.68 cores=0-7
/proc/8972/task/8974/stat : 8974 (java) S 8969 8972 8405 0 -1 1077944384 18862 0 0 0 621 47 0 0 20 0 24 0 85442650 28656443392 721139 33554432000 4194304 4196468 140735135199712 140397615889408 140397644060373 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28090368 140735135204314 140735135204613 140735135204613 140735135207375 0
[pid=8972/tid=8975] ppid=8969 vsize=27984808 memory=15823295995971307 CPUtime=0 cores=0-7
/proc/8972/task/8975/stat : 8975 (java) S 8969 8972 8405 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 85442652 28656443392 721139 33554432000 4194304 4196468 140735135199712 140397648292496 140397644060373 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28090368 140735135204314 140735135204613 140735135204613 140735135207375 0
[pid=8972/tid=8976] ppid=8969 vsize=27984808 memory=1852 CPUtime=0 cores=0-7
/proc/8972/task/8976/stat : 8976 (java) S 8969 8972 8405 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 85442652 28656443392 721139 33554432000 4194304 4196468 140735135199712 140397462448656 140397644060373 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28090368 140735135204314 140735135204613 140735135204613 140735135207375 0
[pid=8972/tid=8977] ppid=8969 vsize=27984808 memory=872 CPUtime=0 cores=0-7
/proc/8972/task/8977/stat : 8977 (java) S 8969 8972 8405 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 85442652 28656443392 721139 33554432000 4194304 4196468 140735135199712 140397461395856 140397644060373 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28090368 140735135204314 140735135204613 140735135204613 140735135207375 0
[pid=8972/tid=8978] ppid=8969 vsize=27984808 memory=8039887049847964329 CPUtime=0 cores=0-7
/proc/8972/task/8978/stat : 8978 (java) S 8969 8972 8405 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 85442652 28656443392 721139 33554432000 4194304 4196468 140735135199712 140397460343056 140397644060373 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28090368 140735135204314 140735135204613 140735135204613 140735135207375 0
[pid=8972/tid=8979] ppid=8969 vsize=27984808 memory=11648 CPUtime=0 cores=0-7
/proc/8972/task/8979/stat : 8979 (java) S 8969 8972 8405 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 85442652 28656443392 721139 33554432000 4194304 4196468 140735135199712 140397459291280 140397644060373 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28090368 140735135204314 140735135204613 140735135204613 140735135207375 0
[pid=8972/tid=8980] ppid=8969 vsize=27984808 memory=796 CPUtime=0 cores=0-7
/proc/8972/task/8980/stat : 8980 (java) S 8969 8972 8405 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 85442652 28656443392 721139 33554432000 4194304 4196468 140735135199712 140397458238480 140397644060373 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28090368 140735135204314 140735135204613 140735135204613 140735135207375 0
[pid=8972/tid=8981] ppid=8969 vsize=27984808 memory=1388 CPUtime=0 cores=0-7
/proc/8972/task/8981/stat : 8981 (java) S 8969 8972 8405 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 85442652 28656443392 721139 33554432000 4194304 4196468 140735135199712 140397457185680 140397644060373 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28090368 140735135204314 140735135204613 140735135204613 140735135207375 0
[pid=8972/tid=8982] ppid=8969 vsize=27984808 memory=1136 CPUtime=0 cores=0-7
/proc/8972/task/8982/stat : 8982 (java) S 8969 8972 8405 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 85442652 28656443392 721139 33554432000 4194304 4196468 140735135199712 140397456132880 140397644060373 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28090368 140735135204314 140735135204613 140735135204613 140735135207375 0
[pid=8972/tid=8983] ppid=8969 vsize=27984808 memory=15872 CPUtime=0 cores=0-7
/proc/8972/task/8983/stat : 8983 (java) S 8969 8972 8405 0 -1 1077944384 10 0 0 0 0 0 0 0 20 0 24 0 85442654 28656443392 721139 33554432000 4194304 4196468 140735135199712 140395829754224 140397644061314 0 0 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28090368 140735135204314 140735135204613 140735135204613 140735135207375 0
[pid=8972/tid=8984] ppid=8969 vsize=27984808 memory=14496 CPUtime=0 cores=0-7
/proc/8972/task/8984/stat : 8984 (java) S 8969 8972 8405 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 85442654 28656443392 721139 33554432000 4194304 4196468 140735135199712 140395568686112 140397644060373 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28090368 140735135204314 140735135204613 140735135204613 140735135207375 0
[pid=8972/tid=8985] ppid=8969 vsize=27984808 memory=16148 CPUtime=0 cores=0-7
/proc/8972/task/8985/stat : 8985 (java) S 8969 8972 8405 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 85442654 28656443392 721139 33554432000 4194304 4196468 140735135199712 140395300250480 140397644060373 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28090368 140735135204314 140735135204613 140735135204613 140735135207375 0
[pid=8972/tid=8986] ppid=8969 vsize=27984808 memory=2884556 CPUtime=0 cores=0-7
/proc/8972/task/8986/stat : 8986 (java) S 8969 8972 8405 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 85442657 28656443392 721139 33554432000 4194304 4196468 140735135199712 140394925741904 140397644068763 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28090368 140735135204314 140735135204613 140735135204613 140735135207375 0
[pid=8972/tid=8987] ppid=8969 vsize=27984808 memory=1412 CPUtime=3.14 cores=0-7
/proc/8972/task/8987/stat : 8987 (java) S 8969 8972 8405 0 -1 1077944384 3190 0 0 0 313 1 0 0 20 0 24 0 85442657 28656443392 721139 33554432000 4194304 4196468 140735135199712 140395828702064 140397644061314 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28090368 140735135204314 140735135204613 140735135204613 140735135207375 0
[pid=8972/tid=8988] ppid=8969 vsize=27984808 memory=3572 CPUtime=4.45 cores=0-7
/proc/8972/task/8988/stat : 8988 (java) S 8969 8972 8405 0 -1 1077944384 3927 0 0 0 444 1 0 0 20 0 24 0 85442657 28656443392 721139 33554432000 4194304 4196468 140735135199712 140395827649264 140397644061314 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28090368 140735135204314 140735135204613 140735135204613 140735135207375 0
[pid=8972/tid=8989] ppid=8969 vsize=27984808 memory=2884556 CPUtime=3.13 cores=0-7
/proc/8972/task/8989/stat : 8989 (java) S 8969 8972 8405 0 -1 1077944384 3454 0 0 0 311 2 0 0 20 0 24 0 85442657 28656443392 721139 33554432000 4194304 4196468 140735135199712 140395826596464 140397644061314 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28090368 140735135204314 140735135204613 140735135204613 140735135207375 0
[pid=8972/tid=8990] ppid=8969 vsize=27984808 memory=441080 CPUtime=1.34 cores=0-7
/proc/8972/task/8990/stat : 8990 (java) S 8969 8972 8405 0 -1 1077944384 5129 0 0 0 132 2 0 0 20 0 24 0 85442657 28656443392 721139 33554432000 4194304 4196468 140735135199712 140395825543664 140397644061314 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28090368 140735135204314 140735135204613 140735135204613 140735135207375 0
[pid=8972/tid=8991] ppid=8969 vsize=27984808 memory=8039887049847964329 CPUtime=0 cores=0-7
/proc/8972/task/8991/stat : 8991 (java) S 8969 8972 8405 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 85442657 28656443392 721139 33554432000 4194304 4196468 140735135199712 140394427837024 140397644060373 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28090368 140735135204314 140735135204613 140735135204613 140735135207375 0
[pid=8972/tid=8992] ppid=8969 vsize=27984808 memory=-7003737579269690708 CPUtime=0.04 cores=0-7
/proc/8972/task/8992/stat : 8992 (java) S 8969 8972 8405 0 -1 1077944384 9 0 0 0 0 4 0 0 20 0 24 0 85442657 28656443392 721139 33554432000 4194304 4196468 140735135199712 140395824491056 140397644061314 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28090368 140735135204314 140735135204613 140735135204613 140735135207375 0
[pid=8972/tid=8994] ppid=8969 vsize=27984808 memory=7373352924936104292 CPUtime=0 cores=0-7
/proc/8972/task/8994/stat : 8994 (java) S 8969 8972 8405 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 85443317 28656443392 721139 33554432000 4194304 4196468 140735135199712 140397045417024 140397644074777 0 4 0 25189583 18446744071579417331 0 0 -1 5 0 0 0 0 0 6293624 6294260 28090368 140735135204314 140735135204613 140735135204613 140735135207375 0
[pid=8972/tid=8996] ppid=8969 vsize=27984808 memory=280263932641664 CPUtime=0.01 cores=0-7
/proc/8972/task/8996/stat : 8996 (java) S 8969 8972 8405 0 -1 4202560 11 0 0 0 1 0 0 0 20 0 24 0 85443317 28656443392 721139 33554432000 4194304 4196468 140735135199712 140393756737616 140397644072093 0 4 0 25189583 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 28090368 140735135204314 140735135204613 140735135204613 140735135207375 0
[pid=8972/tid=8997] ppid=8969 vsize=27984808 memory=0 CPUtime=0 cores=0-7
/proc/8972/task/8997/stat : 8997 (java) S 8969 8972 8405 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 24 0 85443317 28656443392 721139 33554432000 4194304 4196468 140735135199712 140394025172912 140397644072093 0 4 0 25189583 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 28090368 140735135204314 140735135204613 140735135204613 140735135207375 0
[pid=8972/tid=8998] ppid=8969 vsize=27984808 memory=288230376974057755 CPUtime=0 cores=0-7
/proc/8972/task/8998/stat : 8998 (java) S 8969 8972 8405 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 24 0 85443319 28656443392 721139 33554432000 4194304 4196468 140735135199712 140393488309792 140397644060373 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28090368 140735135204314 140735135204613 140735135204613 140735135207375 0
Current children cumulated CPU time: 816.79 s
Current children cumulated vsize: 28695672 KiB
Current children cumulated memory: 3326432 KiB

[startup+107.001 s]*
/proc/loadavg: 7.99 8.06 8.18 6/200 9006
/proc/meminfo: memFree=25313124/32770624 swapFree=67108436/67108860
[pid=8972] ppid=8969 vsize=27721628 memory=2886868 CPUtime=818.22 cores=0-7
/proc/8972/stat : 8972 (java) S 8969 8972 8405 0 -1 1077944320 36127 262931 0 0 1842 55 79838 87 20 0 20 0 85442649 28386947072 721717 33554432000 4194304 4196468 140735135199712 140735135182256 140397644050167 0 0 0 25189583 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 28090368 140735135204314 140735135204613 140735135204613 140735135207375 0
/proc/8972/statm: 6930407 721717 3236 1 0 6891263 0
[pid=8972/tid=8974] ppid=8969 vsize=27721628 memory=8112282956445269571 CPUtime=805.94 cores=0-7
/proc/8972/task/8974/stat : 8974 (java) S 8969 8972 8405 0 -1 1077944384 18915 262931 0 0 622 47 79838 87 20 0 20 0 85442650 28386947072 721717 33554432000 4194304 4196468 140735135199712 140397615893648 140397644060373 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28090368 140735135204314 140735135204613 140735135204613 140735135207375 0
[pid=8972/tid=8975] ppid=8969 vsize=27721628 memory=-7003737579269690708 CPUtime=799.25 cores=0-7
/proc/8972/task/8975/stat : 8975 (java) S 8969 8972 8405 0 -1 1077944384 1 262931 0 0 0 0 79838 87 20 0 20 0 85442652 28386947072 721717 33554432000 4194304 4196468 140735135199712 140397648292496 140397644060373 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28090368 140735135204314 140735135204613 140735135204613 140735135207375 0
[pid=8972/tid=8976] ppid=8969 vsize=27721628 memory=7373347405953720422 CPUtime=799.25 cores=0-7
/proc/8972/task/8976/stat : 8976 (java) S 8969 8972 8405 0 -1 1077944384 2 262931 0 0 0 0 79838 87 20 0 20 0 85442652 28386947072 721717 33554432000 4194304 4196468 140735135199712 140397462448656 140397644060373 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28090368 140735135204314 140735135204613 140735135204613 140735135207375 0
[pid=8972/tid=8977] ppid=8969 vsize=27721628 memory=7665786704009523042 CPUtime=799.25 cores=0-7
/proc/8972/task/8977/stat : 8977 (java) S 8969 8972 8405 0 -1 1077944384 2 262931 0 0 0 0 79838 87 20 0 20 0 85442652 28386947072 721717 33554432000 4194304 4196468 140735135199712 140397461395856 140397644060373 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28090368 140735135204314 140735135204613 140735135204613 140735135207375 0
[pid=8972/tid=8978] ppid=8969 vsize=27721628 memory=3049007584667474483 CPUtime=799.25 cores=0-7
/proc/8972/task/8978/stat : 8978 (java) S 8969 8972 8405 0 -1 1077944384 3 262931 0 0 0 0 79838 87 20 0 20 0 85442652 28386947072 721717 33554432000 4194304 4196468 140735135199712 140397460343056 140397644060373 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28090368 140735135204314 140735135204613 140735135204613 140735135207375 0
[pid=8972/tid=8979] ppid=8969 vsize=27721628 memory=5520076581183645235 CPUtime=799.25 cores=0-7
/proc/8972/task/8979/stat : 8979 (java) S 8969 8972 8405 0 -1 1077944384 2 262931 0 0 0 0 79838 87 20 0 20 0 85442652 28386947072 721717 33554432000 4194304 4196468 140735135199712 140397459291280 140397644060373 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28090368 140735135204314 140735135204613 140735135204613 140735135207375 0
[pid=8972/tid=8980] ppid=8969 vsize=27721628 memory=1022406641526845747 CPUtime=799.25 cores=0-7
/proc/8972/task/8980/stat : 8980 (java) S 8969 8972 8405 0 -1 1077944384 2 262931 0 0 0 0 79838 87 20 0 20 0 85442652 28386947072 721717 33554432000 4194304 4196468 140735135199712 140397458238480 140397644060373 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28090368 140735135204314 140735135204613 140735135204613 140735135207375 0
[pid=8972/tid=8981] ppid=8969 vsize=27721628 memory=5294704167379296609 CPUtime=799.25 cores=0-7
/proc/8972/task/8981/stat : 8981 (java) S 8969 8972 8405 0 -1 1077944384 1 262931 0 0 0 0 79838 87 20 0 20 0 85442652 28386947072 721717 33554432000 4194304 4196468 140735135199712 140397457185680 140397644060373 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28090368 140735135204314 140735135204613 140735135204613 140735135207375 0
[pid=8972/tid=8982] ppid=8969 vsize=27721628 memory=4140 CPUtime=799.25 cores=0-7
/proc/8972/task/8982/stat : 8982 (java) S 8969 8972 8405 0 -1 1077944384 2 262931 0 0 0 0 79838 87 20 0 20 0 85442652 28386947072 721717 33554432000 4194304 4196468 140735135199712 140397456132880 140397644060373 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28090368 140735135204314 140735135204613 140735135204613 140735135207375 0
[pid=8972/tid=8983] ppid=8969 vsize=27721628 memory=24916 CPUtime=799.25 cores=0-7
/proc/8972/task/8983/stat : 8983 (java) S 8969 8972 8405 0 -1 1077944384 26 262931 0 0 0 0 79838 87 20 0 20 0 85442654 28386947072 721717 33554432000 4194304 4196468 140735135199712 140395829754432 140397644061314 0 0 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28090368 140735135204314 140735135204613 140735135204613 140735135207375 0
[pid=8972/tid=8984] ppid=8969 vsize=27721628 memory=1296 CPUtime=799.25 cores=0-7
/proc/8972/task/8984/stat : 8984 (java) S 8969 8972 8405 0 -1 1077944384 13 262931 0 0 0 0 79838 87 20 0 20 0 85442654 28386947072 721717 33554432000 4194304 4196468 140735135199712 140395568686112 140397644060373 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28090368 140735135204314 140735135204613 140735135204613 140735135207375 0
[pid=8972/tid=8985] ppid=8969 vsize=27721628 memory=2412 CPUtime=799.25 cores=0-7
/proc/8972/task/8985/stat : 8985 (java) S 8969 8972 8405 0 -1 1077944384 1 262931 0 0 0 0 79838 87 20 0 20 0 85442654 28386947072 721717 33554432000 4194304 4196468 140735135199712 140395300250480 140397644060373 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28090368 140735135204314 140735135204613 140735135204613 140735135207375 0
[pid=8972/tid=8987] ppid=8969 vsize=27721628 memory=2319389130445824065 CPUtime=802.43 cores=0-7
/proc/8972/task/8987/stat : 8987 (java) S 8969 8972 8405 0 -1 1077944384 3191 262931 0 0 317 1 79838 87 20 0 20 0 85442657 28386947072 721717 33554432000 4194304 4196468 140735135199712 140395828682544 140397644060373 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28090368 140735135204314 140735135204613 140735135204613 140735135207375 0
[pid=8972/tid=8988] ppid=8969 vsize=27721628 memory=0 CPUtime=803.74 cores=0-7
/proc/8972/task/8988/stat : 8988 (java) S 8969 8972 8405 0 -1 1077944384 3940 262931 0 0 448 1 79838 87 20 0 20 0 85442657 28386947072 721717 33554432000 4194304 4196468 140735135199712 140395827629664 140397644060373 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28090368 140735135204314 140735135204613 140735135204613 140735135207375 0
[pid=8972/tid=8989] ppid=8969 vsize=27721628 memory=6946351983635097195 CPUtime=802.39 cores=0-7
/proc/8972/task/8989/stat : 8989 (java) S 8969 8972 8405 0 -1 1077944384 3455 262931 0 0 312 2 79838 87 20 0 20 0 85442657 28386947072 721717 33554432000 4194304 4196468 140735135199712 140395826596464 140397644061314 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28090368 140735135204314 140735135204613 140735135204613 140735135207375 0
[pid=8972/tid=8990] ppid=8969 vsize=27721628 memory=7879154567485153362 CPUtime=800.6 cores=0-7
/proc/8972/task/8990/stat : 8990 (java) S 8969 8972 8405 0 -1 1077944384 5133 262931 0 0 133 2 79838 87 20 0 20 0 85442657 28386947072 721717 33554432000 4194304 4196468 140735135199712 140395825537984 140397644060373 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28090368 140735135204314 140735135204613 140735135204613 140735135207375 0
[pid=8972/tid=8991] ppid=8969 vsize=27721628 memory=8171028819661645930 CPUtime=799.25 cores=0-7
/proc/8972/task/8991/stat : 8991 (java) S 8969 8972 8405 0 -1 1077944384 3 262931 0 0 0 0 79838 87 20 0 20 0 85442657 28386947072 721717 33554432000 4194304 4196468 140735135199712 140394427837024 140397644060373 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28090368 140735135204314 140735135204613 140735135204613 140735135207375 0
[pid=8972/tid=8994] ppid=8969 vsize=27721628 memory=0 CPUtime=799.25 cores=0-7
/proc/8972/task/8994/stat : 8994 (java) S 8969 8972 8405 0 -1 1077944384 29 262931 0 0 0 0 79838 87 20 0 20 0 85443317 28386947072 721717 33554432000 4194304 4196468 140735135199712 140397045416208 140397644061314 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28090368 140735135204314 140735135204613 140735135204613 140735135207375 0
[pid=8972/tid=8998] ppid=8969 vsize=27721628 memory=280263932177312 CPUtime=799.25 cores=0-7
/proc/8972/task/8998/stat : 8998 (java) S 8969 8972 8405 0 -1 1077944384 15 262931 0 0 0 0 79838 87 20 0 20 0 85443319 28386947072 721717 33554432000 4194304 4196468 140735135199712 140393488311600 140397644061314 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28090368 140735135204314 140735135204613 140735135204613 140735135207375 0
Current children cumulated CPU time: 818.22 s
Current children cumulated vsize: 27721628 KiB
Current children cumulated memory: 2886868 KiB

Child status: 0
Real time (s): 107.033
CPU time (s): 818.264
CPU user time (s): 816.811
CPU system time (s): 1.4525
CPU usage (%): 764.497
Max. virtual memory (cumulated for all children) (KiB): 28695836
Max. memory (cumulated for all children) (KiB): 3326628

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 816.811
system time used= 1.4525
maximum resident set size= 2887624
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 299062
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2008
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 19701
involuntary context switches= 8463


# summary of solver processes directly reported to runsolver:
#   pid: 8972
#   total CPU time (s): 818.264
#   total CPU user time (s): 816.811
#   total CPU system time (s): 1.4525

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.958277 second user time and 1.44715 second system time

The end

Launcher Data 

Begin job on node137 at 2018-07-27 10:06:35
IDJOB=4297285
IDBENCH=141589
IDSOLVER=2759
FILE ID=node137/4297285-1532678795
RUNJOBID= node137-1532673416-8432
PBS_JOBID= 21022247
Free space on /tmp= 48160 MiB

SOLVER NAME= scop both+glucose-syrup (2018-07-07)
BENCH NAME= XCSP18/Frb/frb-50-23-1-mgd_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-4297285-1532678795/watcher-4297285-1532678795 -o /tmp/evaluation-result-4297285-1532678795/solver-4297285-1532678795 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node137-1532673416-8432 --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-4297285-1532678795.xml

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

MD5SUM BENCH= 89c27d49b20a714b89297264b4c82bd7
RANDOM SEED=1902454798

node137.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017

/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        28190280 kB
MemAvailable:   31928428 kB
Buffers:          141244 kB
Cached:          3831452 kB
SwapCached:           32 kB
Active:          1752024 kB
Inactive:        2278376 kB
Active(anon):       4992 kB
Inactive(anon):    80300 kB
Active(file):    1747032 kB
Inactive(file):  2198076 kB
Unevictable:        7424 kB
Mlocked:            7424 kB
SwapTotal:      67108860 kB
SwapFree:       67108436 kB
Dirty:              8828 kB
Writeback:             0 kB
AnonPages:         82288 kB
Mapped:            39512 kB
Shmem:             25052 kB
Slab:             245448 kB
SReclaimable:     217748 kB
SUnreclaim:        27700 kB
KernelStack:        3536 kB
PageTables:         4444 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     325216 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     28672 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      114048 kB
DirectMap2M:    33431552 kB

Free space on /tmp at the end= 48148 MiB
End job on node137 at 2018-07-27 10:08:22