Trace number 4297048

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
scop order+glucose-syrup (2018-07-07)SAT 674.523 88.427

General information on the benchmark

NameFrb/
frb-45-21-1_c18.xml
MD5SUMb87938282b595c2beb3624311f73a470
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 benchmark221.514
Satisfiable
(Un)Satisfiability was proved
Number of variables45
Number of constraints476
Number of domains1
Minimum domain size21
Maximum domain size21
Distribution of domain sizes[{"size":21,"count":45}]
Minimum variable degree13
Maximum variable degree29
Distribution of variable degrees[{"degree":13,"count":1},{"degree":14,"count":2},{"degree":15,"count":1},{"degree":16,"count":2},{"degree":17,"count":4},{"degree":18,"count":4},{"degree":19,"count":3},{"degree":20,"count":2},{"degree":21,"count":2},{"degree":22,"count":5},{"degree":23,"count":6},{"degree":24,"count":3},{"degree":25,"count":3},{"degree":26,"count":3},{"degree":27,"count":1},{"degree":28,"count":2},{"degree":29,"count":1}]
Minimum constraint arity2
Maximum constraint arity2
Distribution of constraint arities[{"arity":2,"count":476}]
Number of extensional constraints476
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":476}]
Optimization problemNO
Type of objective

Solver Data 

0.66/0.54	
0.66/0.55	scop order+glucose-syrup (2018-07-07)
0.66/0.55	
0.66/0.57	c BEGIN-Prog: Fri Jul 27 09:56:23 CEST 2018
0.66/0.57	c PID: 14584
0.66/0.57	c IP: 172.20.3.138
0.66/0.57	c HOST: node138.alineos.net
0.66/0.58	c (0,0) Parsing Begin
2.92/1.21	c (0,0) Parsing End
2.92/1.22	c (0,0) CSP: 45 int (0 aux), 0 bool (0 aux), 476 ctr, max domain size 21
2.92/1.22	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 20 MiB used (max 0 MiB)
2.92/1.22	c (0,0) Constraint Name Generate Begin
2.92/1.23	c (0,0) Ctr:HOME/instance-4297048-1532678183.xml,ExtensionConflict:IntVar
2.92/1.23	c (0,0) Constraint Name Generate End
2.92/1.23	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 20 MiB used (max 0 MiB)
2.92/1.23	c (0,0) CSP to CSPinCNF Begin
5.67/2.04	c (1,1) translated 48 (10%) constraints
6.84/2.30	c (1,1) translated 96 (20%) constraints
7.65/2.56	c (2,1) translated 143 (30%) constraints
8.85/2.81	c (2,2) translated 191 (40%) constraints
9.69/3.03	c (2,2) translated 238 (50%) constraints
10.47/3.23	c (2,2) translated 286 (60%) constraints
11.27/3.42	c (2,2) translated 334 (70%) constraints
11.61/3.58	c (3,3) translated 381 (80%) constraints
12.16/3.73	c (3,3) translated 429 (90%) constraints
12.36/3.88	c (3,3) translated 476 (100%) constraints
13.45/4.15	c (3,3) STATISTICS1:HOME/instance-4297048-1532678183.xml,ExtensionConflict:IntVar,45,40077,-1,21,4,1,,21:155986,4:35853;3:4126;2:98,1:155986,
13.45/4.15	c (3,3) ===========================================
13.45/4.15	c (3,3) Order
13.45/4.15	c (3,3) ===========================================
13.73/4.27	c (3,3) translated 4008 (10%) constraints
14.07/4.35	c (3,3) translated 8016 (20%) constraints
14.44/4.42	c (3,3) translated 12024 (30%) constraints
14.44/4.48	c (3,3) translated 16031 (40%) constraints
14.64/4.54	c (3,3) translated 20039 (50%) constraints
14.81/4.61	c (4,4) translated 24047 (60%) constraints
14.81/4.67	c (4,4) translated 28054 (70%) constraints
14.91/4.73	c (4,4) translated 32062 (80%) constraints
14.91/4.79	c (4,4) translated 36070 (90%) constraints
15.00/4.85	c (4,4) translated 40077 (100%) constraints
15.00/4.85	c (4,4) CSP to CSPinCNF End
15.00/4.85	c (4,4) CSP: 45 int (0 aux), 0 bool (0 aux), 40077 ctr, max domain size 21
15.00/4.85	c (4,4) Heap : 1802 MiB used (max 21589 MiB), NonHeap : 30 MiB used (max 0 MiB)
15.00/4.86	c (4,4) CSPinCNF Propagation Begin
15.77/5.19	c (4,4) 0 values, 4397 unsatisfiable literals, and 0 valid clauses are removed
15.77/5.19	c (4,4) CSPinCNF Propagation End
15.77/5.19	c (4,4) CSP: 45 int (0 aux), 0 bool (0 aux), 40077 ctr, max domain size 21
15.77/5.19	c (4,4) Heap : 1914 MiB used (max 21589 MiB), NonHeap : 31 MiB used (max 0 MiB)
15.77/5.19	c (4,4) Simplify CSPinCNF Begin
16.13/5.31	c (4,4) Simplify CSPinCNF End
16.13/5.31	c (4,4) CSP: 45 int (0 aux), 0 bool (0 aux), 40077 ctr, max domain size 21
16.13/5.31	c (4,4) Heap : 2027 MiB used (max 21589 MiB), NonHeap : 31 MiB used (max 0 MiB)
16.13/5.31	c (4,4) Calculate Precise Domain Begin
16.13/5.31	c (4,4) 0 values are removed by re-calculation
16.13/5.31	c (4,4) Calculate Precise Domain End
16.13/5.31	c (4,4) CSP: 45 int (0 aux), 0 bool (0 aux), 40077 ctr, max domain size 21
16.13/5.31	c (4,4) Heap : 2027 MiB used (max 21589 MiB), NonHeap : 31 MiB used (max 0 MiB)
16.13/5.31	c (4,4) CSPinCNF to SatSolver Begin
16.37/5.44	c (4,4) 4008 (10 %) CSP clauses are encoded (900 SAT variables, 4862 SAT clauses)
16.37/5.49	c (4,4) 8016 (20 %) CSP clauses are encoded (900 SAT variables, 8870 SAT clauses)
16.76/5.52	c (4,4) 12024 (30 %) CSP clauses are encoded (900 SAT variables, 12878 SAT clauses)
16.76/5.55	c (5,4) 16031 (40 %) CSP clauses are encoded (900 SAT variables, 16885 SAT clauses)
16.76/5.59	c (5,5) 20039 (50 %) CSP clauses are encoded (900 SAT variables, 20893 SAT clauses)
16.91/5.62	c (5,5) 24047 (60 %) CSP clauses are encoded (900 SAT variables, 24901 SAT clauses)
16.91/5.65	c (5,5) 28054 (70 %) CSP clauses are encoded (900 SAT variables, 28908 SAT clauses)
16.91/5.68	c (5,5) 32062 (80 %) CSP clauses are encoded (900 SAT variables, 32916 SAT clauses)
17.03/5.71	c (5,5) 36070 (90 %) CSP clauses are encoded (900 SAT variables, 36924 SAT clauses)
17.03/5.74	c (5,5) 40077 (100 %) CSP clauses are encoded (900 SAT variables, 40931 SAT clauses)
17.03/5.74	c (5,5) CSPinCNF to SatSolver End
17.03/5.74	c (5,5) Heap : 2252 MiB used (max 21589 MiB), NonHeap : 32 MiB used (max 0 MiB)
17.46/5.94	c (5,5) STATISTICS2:HOME/instance-4297048-1532678183.xml,ExtensionConflict:IntVar,45,40077,-1,21,4,1,,21:151589,4:31795;3:7845;2:437,1:151589,
17.46/5.94	c (5,5) SatSolver.solve Begin
17.46/5.94	c (5,5) 900 bool, 40932 clause
17.46/5.94	c (5,5) HOME/glucose-syrup -model -nthreads=8 -maxmemory=10000 HOME/instance-4297048-1532678183.xml-scop-14584.cnf HOME/instance-4297048-1532678183.xml-scop-14584.cnf.out
93.95/15.60	c (15,0) c
93.95/15.60	c (15,0) c This is glucose-syrup 4.1 (glucose in many threads) --  based on MiniSAT (Many thanks to MiniSAT team)
93.95/15.60	c (15,0) c
93.95/15.60	c (15,0) c WARNING: for repeatability, setting FPU to use double precision
93.95/15.60	c (15,0) c 8 solvers engines and 1 companion as a blackboard created.
93.95/15.60	c (15,0) c ========================================[ Problem Statistics ]===========================================
93.95/15.60	c (15,0) c |                                                                                                       |
93.95/15.60	c (15,0) c |  Number of variables:           900                                                                   |
93.95/15.60	c (15,0) c |  Number of clauses:           40932                                                                   |
93.95/15.60	c (15,0) c |  Parse time:                   0.01 s                                                                 |
93.95/15.60	c (15,0) c |                                                                                                       |
93.95/15.60	c (15,0) c |  Simplification time:          0.05 s                                                                 |
93.95/15.60	c (15,0) c |                                                                                                       |
93.95/15.60	c (15,0) c |  Generating clones                                                                                    |
93.95/15.60	c (15,0) c |  all clones generated. Memory =  45.18Mb.                                                             |
93.95/15.60	c (15,0) c ========================================================================================================|
93.95/15.60	c (15,0) c
93.95/15.60	c (15,0) c |-------------------------------------------------------------------------------------------------------|
93.95/15.60	c (15,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
93.95/15.60	c (15,0) c |-------------------------------------------------------------------------------------------------------|
93.95/15.60	c (15,0) c |  0 |     18 |      86561 |      68340 |    25343 |    29801 |    11922 |    79801 |     1610 |  0.001 |
93.95/15.60	c (15,0) c |  1 |     33 |      94159 |      74199 |    33902 |    20633 |    11843 |    71657 |     2033 |  0.002 |
93.95/15.60	c (15,0) c |  2 |     77 |      91556 |      70036 |    35213 |    16478 |    11405 |    79996 |     2141 |  0.001 |
93.95/15.60	c (15,0) c |  3 |     47 |      94750 |      73197 |    35400 |    19641 |    11924 |    77439 |     2067 |  0.004 |
93.95/15.60	c (15,0) c |  4 |     56 |      90256 |      70453 |    35078 |    16890 |    10954 |    66700 |     1876 |  0.002 |
93.95/15.60	c (15,0) c |  5 |     31 |      89828 |      70147 |    34185 |    16587 |    11945 |    80531 |     1647 |  0.001 |
93.95/15.60	c (15,0) c |  6 |     35 |      96636 |      75007 |    34884 |    21447 |    12269 |    80618 |     2148 |  0.001 |
93.95/15.60	c (15,0) c |  7 |     48 |      92901 |      71463 |    34789 |    17903 |    11523 |    78628 |     1808 |  0.001 |
93.95/15.60	c (15,0) c 
93.95/15.60	c (15,0) c synthesis      572844 conflicts    71383169 propagations    15859 conflicts/sec  1976186 propagations/sec
93.95/15.60	c (15,0) c Total Memory so far : 623.98Mb
93.95/15.60	c (15,0) c
93.95/15.60	c (15,0) c Try to adapt solver strategies
93.95/15.60	c (15,0) c 
93.95/15.60	c (15,0) c Nothing extreme in this problem, continue with glucose default strategies.
93.95/15.60	c (15,0) c
93.95/15.60	c (15,0) c
93.95/15.60	c (15,0) c Try to adapt solver strategies
93.95/15.60	c (15,0) c 
93.95/15.60	c (15,0) c Nothing extreme in this problem, continue with glucose default strategies.
93.95/15.60	c (15,0) c
93.95/15.60	c (15,0) c
93.95/15.60	c (15,0) c Try to adapt solver strategies
93.95/15.60	c (15,0) c 
93.95/15.60	c (15,0) c Nothing extreme in this problem, continue with glucose default strategies.
93.95/15.60	c (15,0) c
93.95/15.60	c (15,0) c
93.95/15.60	c (15,0) c Try to adapt solver strategies
93.95/15.60	c (15,0) c 
93.95/15.60	c (15,0) c Nothing extreme in this problem, continue with glucose default strategies.
93.95/15.60	c (15,0) c
93.95/15.60	c (15,0) c
93.95/15.60	c (15,0) c |-------------------------------------------------------------------------------------------------------|
93.95/15.60	c (15,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
93.95/15.60	c (15,0) c |-------------------------------------------------------------------------------------------------------|
93.95/15.60	c (15,0) c |  0 |     38 |     154321 |     122531 |    32544 |    31148 |    18634 |   130954 |     3922 |  0.004 |
93.95/15.60	c (15,0) c |  1 |     42 |     149219 |     119214 |    34844 |    27832 |    16938 |   133201 |     3559 |  0.002 |
93.95/15.60	c (15,0) c |  2 |    115 |     164573 |     129198 |    36542 |    37818 |    18945 |   131281 |     4159 |  0.002 |
93.95/15.60	c (15,0) c |  3 |     59 |     173480 |     136672 |    37085 |    45298 |    20228 |   127244 |     4413 |  0.002 |
93.95/15.60	c (15,0) c |  4 |    145 |     170390 |     133548 |    36627 |    42166 |    18515 |   131397 |     4089 |  0.005 |
196.86/28.59	c (28,0) c |  5 |     52 |     147780 |     115876 |    35716 |    24500 |    18007 |   129708 |     3340 |  0.004 |
196.86/28.59	c (28,0) c |  6 |     62 |     170461 |     134379 |    36848 |    42997 |    20653 |   131207 |     4682 |  0.002 |
196.86/28.59	c (28,0) c |  7 |     57 |     168293 |     132593 |    36219 |    41211 |    20042 |   125171 |     3547 |  0.005 |
196.86/28.59	c (28,0) c 
196.86/28.59	c (28,0) c synthesis     1024012 conflicts   129349052 propagations    13487 conflicts/sec  1703683 propagations/sec
196.86/28.59	c (28,0) c Total Memory so far : 631.59Mb
196.86/28.59	c (28,0) c
196.86/28.59	c (28,0) c |-------------------------------------------------------------------------------------------------------|
196.86/28.59	c (28,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
196.86/28.59	c (28,0) c |-------------------------------------------------------------------------------------------------------|
196.86/28.59	c (28,0) c |  0 |     82 |     220114 |     174726 |    36113 |    35142 |    24193 |   162573 |     6275 |  0.002 |
196.86/28.59	c (28,0) c |  1 |     60 |     204374 |     164257 |    35844 |    50077 |    21737 |   175201 |     5377 |  0.001 |
196.86/28.59	c (28,0) c |  2 |    142 |     232811 |     183767 |    37610 |    44179 |    25944 |   172328 |     6688 |  0.001 |
196.86/28.59	c (28,0) c |  3 |    110 |     238678 |     189674 |    37483 |    50091 |    25130 |   172297 |     6161 |  0.002 |
196.86/28.59	c (28,0) c |  4 |    183 |     238207 |     188018 |    37536 |    48432 |    24798 |   173129 |     6057 |  0.000 |
196.86/28.59	c (28,0) c |  5 |     64 |     209026 |     165696 |    36324 |    26111 |    24918 |   173079 |     4831 |  0.002 |
196.86/28.59	c (28,0) c |  6 |     81 |     234651 |     186378 |    37453 |    46801 |    26098 |   169657 |     6606 |  0.002 |
196.86/28.59	c (28,0) c |  7 |     62 |     231551 |     184953 |    36494 |    45364 |    25577 |   151565 |     5114 |  0.005 |
196.86/28.59	c (28,0) c 
196.86/28.59	c (28,0) c synthesis     1437469 conflicts   181842497 propagations    12422 conflicts/sec  1571381 propagations/sec
196.86/28.59	c (28,0) c Total Memory so far : 637.96Mb
196.86/28.59	c (28,0) c
196.86/28.59	c (28,0) c |-------------------------------------------------------------------------------------------------------|
196.86/28.59	c (28,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
196.86/28.59	c (28,0) c |-------------------------------------------------------------------------------------------------------|
196.86/28.59	c (28,0) c |  0 |    176 |     270013 |     213613 |    37339 |    46028 |    27737 |   202668 |     8275 |  0.002 |
196.86/28.59	c (28,0) c |  1 |     86 |     253081 |     203432 |    37136 |    35841 |    26412 |   204499 |     7343 |  0.002 |
196.86/28.59	c (28,0) c |  2 |    180 |     282311 |     223686 |    38137 |    56109 |    30467 |   199484 |     8241 |  0.001 |
196.86/28.59	c (28,0) c |  3 |    140 |     288976 |     229601 |    38176 |    31420 |    29805 |   193791 |     8550 |  0.000 |
196.86/28.59	c (28,0) c |  4 |    199 |     285451 |     226118 |    37958 |    58531 |    29859 |   202456 |     7525 |  0.001 |
196.86/28.59	c (28,0) c |  5 |     85 |     259502 |     206679 |    37350 |    39102 |    28728 |   203409 |     6668 |  0.001 |
196.86/28.59	c (28,0) c |  6 |     86 |     282105 |     224883 |    38196 |    57305 |    31074 |   194186 |     9308 |  0.002 |
196.86/28.59	c (28,0) c |  7 |     68 |     273142 |     219689 |    36603 |    52096 |    28749 |   203086 |     6178 |  0.004 |
196.86/28.59	c (28,0) c 
196.86/28.59	c (28,0) c synthesis     1747702 conflicts   220885406 propagations    11843 conflicts/sec  1496797 propagations/sec
196.86/28.59	c (28,0) c Total Memory so far : 642.68Mb
196.86/28.59	c (28,0) c
196.86/28.59	c (28,0) c |-------------------------------------------------------------------------------------------------------|
196.86/28.59	c (28,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
196.86/28.59	c (28,0) c |-------------------------------------------------------------------------------------------------------|
196.86/28.59	c (28,0) c |  0 |    237 |     320287 |     253206 |    38029 |    55027 |    32093 |   233971 |    10485 |  0.004 |
196.86/28.59	c (28,0) c |  1 |     99 |     300696 |     241577 |    37731 |    43393 |    31163 |   233722 |     9042 |  0.002 |
196.86/28.59	c (28,0) c |  2 |    192 |     327039 |     260704 |    38334 |    62520 |    34205 |   229601 |     9646 |  0.002 |
196.86/28.59	c (28,0) c |  3 |    151 |     338518 |     269085 |    38577 |    37705 |    35012 |   226147 |    10653 |  0.000 |
196.86/28.59	c (28,0) c |  4 |    223 |     329644 |     261615 |    38212 |    63426 |    33881 |   231725 |     8979 |  0.001 |
292.59/40.59	c (40,0) c |  5 |     99 |     309521 |     246987 |    37711 |    48808 |    32746 |   231492 |     8372 |  0.001 |
292.59/40.59	c (40,0) c |  6 |     91 |     328880 |     262635 |    38520 |    64450 |    34902 |   216997 |    11253 |  0.000 |
292.59/40.59	c (40,0) c |  7 |     68 |     312023 |     252632 |    36685 |    54440 |    32116 |   203086 |     7043 |  0.004 |
292.59/40.59	c (40,0) c 
292.59/40.59	c (40,0) c synthesis     2048443 conflicts   258758693 propagations    11415 conflicts/sec  1441899 propagations/sec
292.59/40.59	c (40,0) c Total Memory so far : 646.93Mb
292.59/40.59	c (40,0) c
292.59/40.59	c (40,0) c |-------------------------------------------------------------------------------------------------------|
292.59/40.59	c (40,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
292.59/40.59	c (40,0) c |-------------------------------------------------------------------------------------------------------|
292.59/40.59	c (40,0) c |  0 |    273 |     367165 |     290484 |    38389 |    59104 |    36297 |   259863 |    12215 |  0.001 |
292.59/40.59	c (40,0) c |  1 |    103 |     347729 |     279847 |    37966 |    48465 |    35798 |   259480 |    10605 |  0.002 |
292.59/40.59	c (40,0) c |  2 |    194 |     366814 |     293887 |    38446 |    62500 |    38153 |   246658 |    11022 |  0.002 |
292.59/40.59	c (40,0) c |  3 |    153 |     380357 |     303767 |    38640 |    36586 |    38461 |   242598 |    11952 |  0.000 |
292.59/40.59	c (40,0) c |  4 |    239 |     374173 |     297785 |    38321 |    66396 |    38230 |   251724 |    10436 |  0.001 |
292.59/40.59	c (40,0) c |  5 |    119 |     354156 |     283536 |    38080 |    52157 |    36978 |   252633 |    10467 |  0.002 |
292.59/40.59	c (40,0) c |  6 |     95 |     371617 |     297192 |    38635 |    65810 |    37507 |   256818 |    12596 |  0.002 |
292.59/40.59	c (40,0) c |  7 |     70 |     351102 |     285736 |    36765 |    54345 |    35001 |   253548 |     7811 |  0.004 |
292.59/40.59	c (40,0) c 
292.59/40.59	c (40,0) c synthesis     2332234 conflicts   294747807 propagations    11035 conflicts/sec  1394639 propagations/sec
292.59/40.59	c (40,0) c Total Memory so far : 650.72Mb
292.59/40.59	c (40,0) c
292.59/40.59	c (40,0) c |-------------------------------------------------------------------------------------------------------|
292.59/40.59	c (40,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
292.59/40.59	c (40,0) c |-------------------------------------------------------------------------------------------------------|
292.59/40.59	c (40,0) c |  0 |    301 |     410612 |     325469 |    38552 |    58286 |    40327 |   284052 |    13688 |  0.001 |
292.59/40.59	c (40,0) c |  1 |    112 |     383540 |     309585 |    38046 |    42402 |    38554 |   285326 |    11563 |  0.004 |
292.59/40.59	c (40,0) c |  2 |    219 |     406937 |     326604 |    38521 |    59420 |    41465 |   278008 |    12140 |  0.002 |
292.59/40.59	c (40,0) c |  3 |    157 |     423123 |     338841 |    38896 |    71660 |    41858 |   269198 |    13736 |  0.003 |
292.59/40.59	c (40,0) c |  4 |    245 |     415518 |     331992 |    38404 |    64802 |    42188 |   275794 |    11777 |  0.001 |
292.59/40.59	c (40,0) c |  5 |    124 |     390121 |     313030 |    38365 |    45853 |    40805 |   280206 |    12161 |  0.002 |
292.59/40.59	c (40,0) c |  6 |    101 |     409112 |     328315 |    38778 |    61133 |    41345 |   268634 |    14044 |  0.002 |
292.59/40.59	c (40,0) c |  7 |     73 |     392125 |     319096 |    37061 |    51914 |    38056 |   283536 |     9684 |  0.002 |
292.59/40.59	c (40,0) c 
292.59/40.59	c (40,0) c synthesis     2592932 conflicts   327988640 propagations    10661 conflicts/sec  1348563 propagations/sec
292.59/40.59	c (40,0) c Total Memory so far : 653.97Mb
292.59/40.59	c (40,0) c
292.59/40.59	c (40,0) c |-------------------------------------------------------------------------------------------------------|
292.59/40.59	c (40,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
292.59/40.59	c (40,0) c |-------------------------------------------------------------------------------------------------------|
292.59/40.59	c (40,0) c |  0 |    303 |     443995 |     353192 |    38596 |    47609 |    43786 |   288016 |    14722 |  0.004 |
292.59/40.59	c (40,0) c |  1 |    112 |     424371 |     343237 |    38317 |    76054 |    42935 |   285326 |    13183 |  0.004 |
292.59/40.59	c (40,0) c |  2 |    223 |     434132 |     349239 |    38553 |    43656 |    43794 |   302272 |    12835 |  0.001 |
292.59/40.59	c (40,0) c |  3 |    169 |     461468 |     369951 |    39023 |    64369 |    44950 |   303529 |    15130 |  0.003 |
292.59/40.59	c (40,0) c |  4 |    251 |     453479 |     363187 |    38591 |    57600 |    45675 |   303131 |    13295 |  0.001 |
292.59/40.59	c (40,0) c |  5 |    132 |     424495 |     341606 |    38490 |    74428 |    43906 |   301534 |    13331 |  0.000 |
404.26/54.59	c (54,0) c |  6 |    102 |     446025 |     359271 |    38857 |    53696 |    44856 |   287588 |    15191 |  0.002 |
404.26/54.59	c (54,0) c |  7 |     84 |     428963 |     348687 |    37230 |    43112 |    40553 |   302394 |    10981 |  0.001 |
404.26/54.59	c (54,0) c 
404.26/54.59	c (54,0) c synthesis     2828373 conflicts   357479645 propagations    10281 conflicts/sec  1299434 propagations/sec
404.26/54.59	c (54,0) c Total Memory so far : 657.11Mb
404.26/54.59	c (54,0) c
404.26/54.59	c (54,0) c |-------------------------------------------------------------------------------------------------------|
404.26/54.59	c (54,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
404.26/54.59	c (54,0) c |-------------------------------------------------------------------------------------------------------|
404.26/54.59	c (54,0) c |  0 |    303 |     476409 |     380439 |    38643 |    74855 |    46708 |   288016 |    15656 |  0.004 |
404.26/54.59	c (54,0) c |  1 |    119 |     463032 |     374929 |    38666 |    69345 |    46049 |   322621 |    14942 |  0.002 |
404.26/54.59	c (54,0) c |  2 |    229 |     468088 |     377394 |    38612 |    71811 |    47208 |   323983 |    13812 |  0.003 |
404.26/54.59	c (54,0) c |  3 |    176 |     495338 |     397767 |    39088 |    51188 |    47388 |   324893 |    16287 |  0.003 |
404.26/54.59	c (54,0) c |  4 |    252 |     478541 |     383936 |    38674 |    78348 |    47914 |   313454 |    14249 |  0.001 |
404.26/54.59	c (54,0) c |  5 |    143 |     458414 |     369523 |    38575 |    63940 |    46919 |   325482 |    14202 |  0.002 |
404.26/54.59	c (54,0) c |  6 |    105 |     475492 |     384497 |    38902 |    78922 |    47155 |   313759 |    15969 |  0.001 |
404.26/54.59	c (54,0) c |  7 |    100 |     467879 |     380215 |    37384 |    74640 |    43088 |   323802 |    12432 |  0.004 |
404.26/54.59	c (54,0) c 
404.26/54.59	c (54,0) c synthesis     3048701 conflicts   385292050 propagations     9931 conflicts/sec  1255062 propagations/sec
404.26/54.59	c (54,0) c Total Memory so far : 660.12Mb
404.26/54.59	c (54,0) c
404.26/54.59	c (54,0) c |-------------------------------------------------------------------------------------------------------|
404.26/54.59	c (54,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
404.26/54.59	c (54,0) c |-------------------------------------------------------------------------------------------------------|
404.26/54.59	c (54,0) c |  0 |    303 |     519474 |     416344 |    38668 |    69761 |    49822 |   288016 |    16606 |  0.004 |
404.26/54.59	c (54,0) c |  1 |    122 |     507902 |     412302 |    38831 |    65721 |    48537 |   343802 |    16759 |  0.002 |
404.26/54.59	c (54,0) c |  2 |    249 |     511910 |     414038 |    38655 |    67458 |    49804 |   343127 |    14876 |  0.002 |
404.26/54.59	c (54,0) c |  3 |    200 |     539813 |     434059 |    39124 |    43876 |    49309 |   344312 |    17319 |  0.003 |
404.26/54.59	c (54,0) c |  4 |    272 |     527094 |     423228 |    38823 |    76643 |    50398 |   343223 |    16031 |  0.001 |
404.26/54.59	c (54,0) c |  5 |    156 |     500544 |     403574 |    38746 |    56988 |    49710 |   343911 |    15661 |  0.000 |
404.26/54.59	c (54,0) c |  6 |    106 |     518274 |     420322 |    38991 |    73742 |    49974 |   332344 |    17627 |  0.002 |
404.26/54.59	c (54,0) c |  7 |    141 |     515256 |     418379 |    37496 |    71801 |    46067 |   347554 |    14134 |  0.004 |
404.26/54.59	c (54,0) c 
404.26/54.59	c (54,0) c synthesis     3342248 conflicts   422326997 propagations     9636 conflicts/sec  1217572 propagations/sec
404.26/54.59	c (54,0) c Total Memory so far : 663.81Mb
404.26/54.59	c (54,0) c
404.26/54.59	c (54,0) c |-------------------------------------------------------------------------------------------------------|
404.26/54.59	c (54,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
404.26/54.59	c (54,0) c |-------------------------------------------------------------------------------------------------------|
404.26/54.59	c (54,0) c |  0 |    305 |     556160 |     446903 |    38726 |    56717 |    50101 |   345042 |    17903 |  0.003 |
404.26/54.59	c (54,0) c |  1 |    145 |     553303 |     449251 |    38993 |    59066 |    49084 |   348699 |    18602 |  0.002 |
404.26/54.59	c (54,0) c |  2 |    278 |     561165 |     453913 |    38867 |    63729 |    50539 |   346268 |    17359 |  0.002 |
404.26/54.59	c (54,0) c |  3 |    222 |     590835 |     475081 |    39288 |    84898 |    50045 |   347585 |    18998 |  0.002 |
404.26/54.59	c (54,0) c |  4 |    295 |     577504 |     463829 |    39127 |    73650 |    50994 |   346271 |    18030 |  0.000 |
404.26/54.59	c (54,0) c |  5 |    157 |     539168 |     435398 |    38815 |    45220 |    50357 |   343911 |    16776 |  0.002 |
404.26/54.59	c (54,0) c |  6 |    115 |     562726 |     456533 |    39106 |    66350 |    50326 |   346666 |    19448 |  0.001 |
507.97/67.59	c (67,0) c |  7 |    157 |     559225 |     454295 |    37621 |    64114 |    46535 |   348980 |    15684 |  0.004 |
507.97/67.59	c (67,0) c 
507.97/67.59	c (67,0) c synthesis     3635203 conflicts   459174464 propagations     9401 conflicts/sec  1187449 propagations/sec
507.97/67.59	c (67,0) c Total Memory so far : 667.59Mb
507.97/67.59	c (67,0) c
507.97/67.59	c (67,0) c |-------------------------------------------------------------------------------------------------------|
507.97/67.59	c (67,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
507.97/67.59	c (67,0) c |-------------------------------------------------------------------------------------------------------|
507.97/67.59	c (67,0) c |  0 |    305 |     591027 |     476075 |    38779 |    85889 |    52719 |   345042 |    19148 |  0.003 |
507.97/67.59	c (67,0) c |  1 |    154 |     598153 |     486083 |    39137 |    49696 |    52503 |   354811 |    20368 |  0.001 |
507.97/67.59	c (67,0) c |  2 |    315 |     609419 |     492506 |    39008 |    56124 |    54857 |   365160 |    19489 |  0.001 |
507.97/67.59	c (67,0) c |  3 |    238 |     636527 |     511983 |    39348 |    75596 |    54266 |   369816 |    20417 |  0.001 |
507.97/67.59	c (67,0) c |  4 |    314 |     625836 |     502560 |    39234 |    66183 |    55069 |   364853 |    19861 |  0.002 |
507.97/67.59	c (67,0) c |  5 |    160 |     576629 |     466666 |    38864 |    76488 |    53077 |   358469 |    17828 |  0.002 |
507.97/67.59	c (67,0) c |  6 |    124 |     606164 |     491958 |    39232 |    55574 |    52402 |   367497 |    21358 |  0.001 |
507.97/67.59	c (67,0) c |  7 |    172 |     598756 |     487364 |    37672 |    50987 |    49238 |   374542 |    16712 |  0.004 |
507.97/67.59	c (67,0) c 
507.97/67.59	c (67,0) c synthesis     3915195 conflicts   494528914 propagations     9179 conflicts/sec  1159405 propagations/sec
507.97/67.59	c (67,0) c Total Memory so far : 670.72Mb
507.97/67.59	c (67,0) c
507.97/67.59	c (67,0) c |-------------------------------------------------------------------------------------------------------|
507.97/67.59	c (67,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
507.97/67.59	c (67,0) c |-------------------------------------------------------------------------------------------------------|
507.97/67.59	c (67,0) c |  0 |    308 |     618832 |     499396 |    38800 |    63013 |    54750 |   387188 |    19923 |  0.001 |
507.97/67.59	c (67,0) c |  1 |    162 |     635122 |     516218 |    39207 |    79831 |    55156 |   385471 |    21923 |  0.001 |
507.97/67.59	c (67,0) c |  2 |    326 |     642342 |     519421 |    39097 |    83039 |    57795 |   383993 |    21093 |  0.002 |
507.97/67.59	c (67,0) c |  3 |    245 |     667906 |     537618 |    39377 |    52435 |    57004 |   378244 |    21412 |  0.000 |
507.97/67.59	c (67,0) c |  4 |    323 |     656021 |     527478 |    39271 |    91101 |    57868 |   384364 |    20968 |  0.002 |
507.97/67.59	c (67,0) c |  5 |    161 |     600109 |     486671 |    38880 |    50288 |    54620 |   371349 |    18417 |  0.000 |
507.97/67.59	c (67,0) c |  6 |    140 |     640819 |     520344 |    39287 |    83960 |    54262 |   388203 |    22724 |  0.002 |
507.97/67.59	c (67,0) c |  7 |    181 |     628959 |     513198 |    37700 |    76821 |    51093 |   389247 |    17306 |  0.002 |
507.97/67.59	c (67,0) c 
507.97/67.59	c (67,0) c synthesis     4120345 conflicts   520639692 propagations     8988 conflicts/sec  1135696 propagations/sec
507.97/67.59	c (67,0) c Total Memory so far : 673.32Mb
507.97/67.59	c (67,0) c
507.97/67.59	c (67,0) c |-------------------------------------------------------------------------------------------------------|
507.97/67.59	c (67,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
507.97/67.59	c (67,0) c |-------------------------------------------------------------------------------------------------------|
507.97/67.59	c (67,0) c |  0 |    375 |     651658 |     525136 |    38953 |    88753 |    56018 |   405240 |    21645 |  0.001 |
507.97/67.59	c (67,0) c |  1 |    183 |     668460 |     543602 |    39247 |    58414 |    57205 |   403462 |    23315 |  0.001 |
507.97/67.59	c (67,0) c |  2 |    348 |     677334 |     547400 |    39190 |    62211 |    60794 |   400391 |    22745 |  0.001 |
507.97/67.59	c (67,0) c |  3 |    256 |     706014 |     568929 |    39414 |    83746 |    60685 |   399719 |    22706 |  0.002 |
507.97/67.59	c (67,0) c |  4 |    344 |     691308 |     555935 |    39349 |    70750 |    60764 |   394506 |    22530 |  0.003 |
507.97/67.59	c (67,0) c |  5 |    163 |     634117 |     514945 |    38921 |    78563 |    57105 |   401591 |    19365 |  0.000 |
507.97/67.59	c (67,0) c |  6 |    161 |     673673 |     546809 |    39334 |    61624 |    56969 |   404591 |    24015 |  0.000 |
507.97/67.59	c (67,0) c |  7 |    188 |     652348 |     533369 |    37717 |    96992 |    52508 |   407257 |    17705 |  0.002 |
507.97/67.59	c (67,0) c 
603.69/79.59	c (79,0) c synthesis     4336126 conflicts   547919800 propagations     8844 conflicts/sec  1117482 propagations/sec
603.69/79.59	c (79,0) c Total Memory so far : 675.89Mb
603.69/79.59	c (79,0) c
603.69/79.59	c (79,0) c |-------------------------------------------------------------------------------------------------------|
603.69/79.59	c (79,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
603.69/79.59	c (79,0) c |-------------------------------------------------------------------------------------------------------|
603.69/79.59	c (79,0) c |  0 |    410 |     689140 |     555204 |    39068 |    70017 |    57525 |   422915 |    23284 |  0.004 |
603.69/79.59	c (79,0) c |  1 |    201 |     700790 |     570518 |    39273 |    85330 |    59113 |   420824 |    24213 |  0.001 |
603.69/79.59	c (79,0) c |  2 |    354 |     706846 |     570896 |    39267 |    85708 |    63767 |   412815 |    24016 |  0.001 |
603.69/79.59	c (79,0) c |  3 |    269 |     737099 |     594288 |    39435 |    57704 |    63615 |   410381 |    23793 |  0.003 |
603.69/79.59	c (79,0) c |  4 |    345 |     721331 |     580591 |    39393 |    95406 |    64198 |   402515 |    23904 |  0.003 |
603.69/79.59	c (79,0) c |  5 |    168 |     666665 |     542253 |    38963 |    57063 |    58965 |   420355 |    20273 |  0.000 |
603.69/79.59	c (79,0) c |  6 |    179 |     706020 |     573191 |    39402 |    88005 |    59690 |   420697 |    25456 |  0.002 |
603.69/79.59	c (79,0) c |  7 |    190 |     681761 |     558324 |    37740 |    73147 |    54389 |   415196 |    18463 |  0.004 |
603.69/79.59	c (79,0) c 
603.69/79.59	c (79,0) c synthesis     4545266 conflicts   574128176 propagations     8704 conflicts/sec  1099450 propagations/sec
603.69/79.59	c (79,0) c Total Memory so far : 678.33Mb
603.69/79.59	c (79,0) c
603.69/79.59	c (79,0) c |-------------------------------------------------------------------------------------------------------|
603.69/79.59	c (79,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
603.69/79.59	c (79,0) c |-------------------------------------------------------------------------------------------------------|
603.69/79.59	c (79,0) c |  0 |    516 |     723381 |     581333 |    39161 |    96146 |    58688 |   438516 |    24804 |  0.001 |
603.69/79.59	c (79,0) c |  1 |    211 |     730194 |     595165 |    39281 |    58576 |    60815 |   436296 |    24898 |  0.001 |
603.69/79.59	c (79,0) c |  2 |    364 |     731389 |     590512 |    39299 |    53924 |    66595 |   430859 |    25001 |  0.001 |
603.69/79.59	c (79,0) c |  3 |    273 |     768832 |     620559 |    39457 |    83975 |    65615 |   430814 |    24687 |  0.003 |
603.69/79.59	c (79,0) c |  4 |    346 |     752201 |     605901 |    39422 |    69320 |    66405 |   430000 |    24782 |  0.001 |
603.69/79.59	c (79,0) c |  5 |    188 |     695783 |     566518 |    38978 |    81328 |    60402 |   436238 |    20928 |  0.002 |
603.69/79.59	c (79,0) c |  6 |    200 |     736792 |     598233 |    39420 |    61651 |    62135 |   434483 |    26625 |  0.002 |
603.69/79.59	c (79,0) c |  7 |    194 |     713414 |     584378 |    37783 |    99201 |    56860 |   438825 |    19784 |  0.001 |
603.69/79.59	c (79,0) c 
603.69/79.59	c (79,0) c synthesis     4742599 conflicts   598879396 propagations     8559 conflicts/sec  1080832 propagations/sec
603.69/79.59	c (79,0) c Total Memory so far : 680.75Mb
603.69/79.59	c (79,0) c
603.69/79.59	c (79,0) c |-------------------------------------------------------------------------------------------------------|
603.69/79.59	c (79,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
603.69/79.59	c (79,0) c |-------------------------------------------------------------------------------------------------------|
603.69/79.59	c (79,0) c |  0 |    556 |     760921 |     611175 |    39236 |    74585 |    61641 |   451381 |    26605 |  0.001 |
603.69/79.59	c (79,0) c |  1 |    233 |     761043 |     620930 |    39293 |    84341 |    62879 |   450584 |    25625 |  0.001 |
603.69/79.59	c (79,0) c |  2 |    378 |     763346 |     616504 |    39341 |    79916 |    68841 |   444515 |    26261 |  0.001 |
603.69/79.59	c (79,0) c |  3 |    311 |     800296 |     645507 |    39498 |    54929 |    67588 |   442302 |    26161 |  0.001 |
603.69/79.59	c (79,0) c |  4 |    351 |     782920 |     631037 |    39451 |    94456 |    68644 |   442703 |    26067 |  0.003 |
603.69/79.59	c (79,0) c |  5 |    203 |     719993 |     586569 |    38998 |   101379 |    61746 |   450992 |    21564 |  0.000 |
603.69/79.59	c (79,0) c |  6 |    213 |     767397 |     623357 |    39441 |    86775 |    64632 |   450063 |    27479 |  0.001 |
603.69/79.59	c (79,0) c |  7 |    210 |     748111 |     612780 |    37819 |    76196 |    58810 |   455392 |    21014 |  0.001 |
603.69/79.59	c (79,0) c 
603.69/79.59	c (79,0) c synthesis     4947859 conflicts   624718258 propagations     8444 conflicts/sec  1066093 propagations/sec
673.89/88.36	c (87,0) c Total Memory so far : 682.50Mb
673.89/88.36	c (87,0) c
673.89/88.36	c (87,0) c |-------------------------------------------------------------------------------------------------------|
673.89/88.36	c (87,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
673.89/88.36	c (87,0) c |-------------------------------------------------------------------------------------------------------|
673.89/88.36	c (87,0) c |  0 |    565 |     791405 |     636554 |    39284 |    99964 |    64279 |   463322 |    28140 |  0.001 |
673.89/88.36	c (87,0) c |  1 |    243 |     785520 |     641822 |    39303 |   105233 |    64653 |   465022 |    26315 |  0.001 |
673.89/88.36	c (87,0) c |  2 |    399 |     794564 |     641735 |    39390 |   105147 |    70960 |   459810 |    27436 |  0.002 |
673.89/88.36	c (87,0) c |  3 |    329 |     833964 |     672771 |    39531 |    82193 |    69780 |   461429 |    27764 |  0.000 |
673.89/88.36	c (87,0) c |  4 |    369 |     815174 |     657174 |    39481 |    66595 |    70561 |   459944 |    27284 |  0.002 |
673.89/88.36	c (87,0) c |  5 |    204 |     749883 |     611757 |    39010 |    75169 |    64050 |   461132 |    22231 |  0.002 |
673.89/88.36	c (87,0) c |  6 |    235 |     790926 |     642638 |    39453 |   106056 |    66355 |   465080 |    28114 |  0.002 |
673.89/88.36	c (87,0) c |  7 |    224 |     778864 |     638092 |    38276 |   101508 |    60914 |   469413 |    22654 |  0.005 |
673.89/88.36	c (87,0) c 
673.89/88.36	c (87,0) c synthesis     5142544 conflicts   649073324 propagations     8323 conflicts/sec  1050489 propagations/sec
673.89/88.36	c (87,0) c Total Memory so far : 684.92Mb
673.89/88.36	c (87,0) c last restart ## conflicts  :  7025 19 
673.89/88.36	c (87,0) c Thread 3 is 100% pure glucose! First thread to finish! (SAT answer).
673.89/88.36	c (87,0) c Total Memory so far : 687.18Mb
673.89/88.36	c (87,0) c
673.89/88.36	c (87,0) c real time : 82.4048 s
673.89/88.36	c (87,0) c cpu time  : 655.906 s
673.89/88.36	c (87,0) c
673.89/88.36	c (87,0) c
673.89/88.36	c (87,0) c
673.89/88.36	c (87,0) c |---------------------------------------- FINAL STATS --------------------------------------------------|
673.89/88.36	c (87,0) c
673.89/88.36	c (87,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
673.89/88.36	c (87,0) c | Threads       |      Total      |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
673.89/88.36	c (87,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
673.89/88.36	c (87,0) c | Conflicts     |         5378477 |     669568 |     670023 |     673820 |     699451 |     686138 |     637322 |     671093 |     671062 |
673.89/88.36	c (87,0) c | Decisions     |         6624393 |     831374 |     818179 |     834086 |     866569 |     849859 |     781035 |     824778 |     818513 |
673.89/88.36	c (87,0) c | Propagations  |       678119667 |   85335897 |   84030930 |   84624067 |   88401758 |   86510963 |   80571370 |   84348340 |   84296342 |
673.89/88.36	c (87,0) c | Avg_Trail     |                 |        488 |        485 |        488 |        487 |        490 |        482 |        483 |        489 |
673.89/88.36	c (87,0) c | Avg_DL        |                 |         14 |         14 |         15 |         14 |         14 |         14 |         14 |         14 |
673.89/88.36	c (87,0) c | Avg_Res       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
673.89/88.36	c (87,0) c | Avg_Res_Seen  |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
673.89/88.36	c (87,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
673.89/88.36	c (87,0) c | Exported      |          551455 |      67604 |      66984 |      73424 |      71961 |      72681 |      66606 |      68576 |      63619 |
673.89/88.36	c (87,0) c | Imported      |         3829573 |     483387 |     481641 |     475261 |     474631 |     468635 |     484474 |     482465 |     479079 |
673.89/88.36	c (87,0) c | Good          |             350 |         45 |         42 |         41 |         43 |         47 |         48 |         40 |         44 |
673.89/88.36	c (87,0) c | Purge         |         3829223 |     483342 |     481599 |     475220 |     474588 |     468588 |     484426 |     482425 |     479035 |
673.89/88.36	c (87,0) c | Promoted      |          219975 |      29660 |      27034 |      28953 |      29255 |      28322 |      23006 |      28857 |      24888 |
673.89/88.36	c (87,0) c | Remove_Imp    |         2823367 |     363016 |     359628 |     353074 |     334120 |     346402 |     348043 |     357826 |     361258 |
673.89/88.36	c (87,0) c | Blocked_Reuse |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
673.89/88.36	c (87,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
673.89/88.36	c (87,0) c | Unaries       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
673.89/88.36	c (87,0) c | Binaries      |                 |          7 |          8 |          9 |          7 |          3 |          2 |         10 |          7 |
673.89/88.36	c (87,0) c | Glues         |                 |        670 |        671 |        696 |        734 |        649 |        617 |        686 |        565 |
673.89/88.36	c (87,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
673.89/88.36	c (87,0) c | Orig_Seen     |            95 % |      39325 |      39312 |      39428 |      39554 |      39496 |      39030 |      39472 |      38503 |
673.89/88.36	c (87,0) c | Diff Orig seen|                 | -      229 | -      242 | -      126 |      X     | -       58 | -      524 | -       82 | -     1051 |
673.89/88.36	c (87,0) c | Hamming       |            24 % |        208 |        220 |        220 |      X     |        249 |        210 |        231 |        207 |
673.89/88.36	c (87,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
673.89/88.36	c (87,0) 
673.89/88.36	c (87,0) s SATISFIABLE
673.89/88.38	c (87,5) SatSolver.solve End
673.89/88.38	c (87,5) Heap : 2928 MiB used (max 21589 MiB), NonHeap : 28 MiB used (max 0 MiB)
673.89/88.38	c (87,5) Show results Begin
673.89/88.39	c (87,5) x[0] = 5
673.89/88.39	c (87,5) x[1] = 5
673.89/88.39	c (87,5) x[2] = 1
673.89/88.39	c (87,5) x[3] = 12
673.89/88.39	c (87,5) x[4] = 18
673.89/88.39	c (87,5) x[5] = 4
673.89/88.39	c (87,5) x[6] = 9
673.89/88.39	c (87,5) x[7] = 19
673.89/88.39	c (87,5) x[8] = 2
673.89/88.39	c (87,5) x[9] = 8
673.89/88.39	c (87,5) x[10] = 11
673.89/88.39	c (87,5) x[11] = 2
673.89/88.39	c (87,5) x[12] = 8
673.89/88.39	c (87,5) x[13] = 13
673.89/88.39	c (87,5) x[14] = 6
673.89/88.39	c (87,5) x[15] = 1
673.89/88.39	c (87,5) x[16] = 1
673.89/88.39	c (87,5) x[17] = 15
673.89/88.39	c (87,5) x[18] = 13
673.89/88.39	c (87,5) x[19] = 12
673.89/88.39	c (87,5) x[20] = 18
673.89/88.39	c (87,5) x[21] = 18
673.89/88.39	c (87,5) x[22] = 7
673.89/88.39	c (87,5) x[23] = 7
673.89/88.39	c (87,5) x[24] = 4
673.89/88.39	c (87,5) x[25] = 11
673.89/88.39	c (87,5) x[26] = 7
673.89/88.39	c (87,5) x[27] = 8
673.89/88.39	c (87,5) x[28] = 7
673.89/88.39	c (87,5) x[29] = 9
673.89/88.39	c (87,5) x[30] = 3
673.89/88.39	c (87,5) x[31] = 13
673.89/88.39	c (87,5) x[32] = 15
673.89/88.39	c (87,5) x[33] = 7
673.89/88.39	c (87,5) x[34] = 17
673.89/88.39	c (87,5) x[35] = 5
673.89/88.39	c (87,5) x[36] = 20
673.89/88.39	c (87,5) x[37] = 5
673.89/88.39	c (87,5) x[38] = 13
673.89/88.39	c (87,5) x[39] = 19
673.89/88.39	c (87,5) x[40] = 7
673.89/88.39	c (87,5) x[41] = 7
673.89/88.39	c (87,5) x[42] = 11
673.89/88.39	c (87,5) x[43] = 8
673.89/88.39	c (87,5) x[44] = 2
673.89/88.39	s SATISFIABLE
673.89/88.39	v <instantiation>
673.89/88.39	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]</list>
673.89/88.39	v     <values>5 5 1 12 18 4 9 19 2 8 11 2 8 13 6 1 1 15 13 12 18 18 7 7 4 11 7 8 7 9 3 13 15 7 17 5 20 5 13 19 7 7 11 8 2</values>
673.89/88.39	v </instantiation>
673.89/88.39	c (87,5) Show results End
673.89/88.39	c (87,5) Heap : 2928 MiB used (max 21589 MiB), NonHeap : 28 MiB used (max 0 MiB)
673.89/88.39	c (87,5) 0,0,4,4,4,4,5,87,87,STOP-AFTER(ALL)
673.89/88.39	c END-Prog: Fri Jul 27 09:57:51 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 (6663 MiB free)
  memory of node 1: 16384 MiB (10450 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4297048-1532678183/watcher-4297048-1532678183 -o /tmp/evaluation-result-4297048-1532678183/solver-4297048-1532678183 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node138-1532673122-14174 --watchdog 2580 java -Xms22g -Xmx22g -Xss128m -jar HOME/scop.jar -order -solver HOME/glucose-syrup -solverOption -model:-nthreads=8:-maxmemory=10000 -tmp HOME HOME/instance-4297048-1532678183.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=14584, runsolver pid=14581

[startup+0.100152 s]*
/proc/loadavg: 8.81 8.47 8.36 3/198 14604
/proc/meminfo: memFree=17431880/32770624 swapFree=67108796/67108860
[pid=14584] ppid=14581 vsize=27312552 memory=109752 CPUtime=0.11 cores=0-7
/proc/14584/stat : 14584 (java) S 14581 14584 14147 0 -1 1077944320 6491 0 0 0 8 3 0 0 20 0 20 0 85381456 27968053248 27438 33554432000 4194304 4196468 140724544450848 140724544433392 140064551059191 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 36528128 140724544459737 140724544460037 140724544460037 140724544462799 0
/proc/14584/statm: 6828138 27438 2743 1 0 6790598 0
[pid=14584/tid=14586] ppid=14581 vsize=27312552 memory=8041346942785985951 CPUtime=0.08 cores=0-7
/proc/14584/task/14586/stat : 14586 (java) R 14581 14584 14147 0 -1 4202560 4597 0 0 0 6 2 0 0 20 0 20 0 85381456 27968053248 27438 33554432000 4194304 4196468 140724544450848 140064522864664 140064535139678 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 36528128 140724544459737 140724544460037 140724544460037 140724544462799 0
[pid=14584/tid=14587] ppid=14581 vsize=27312552 memory=732369921139854309 CPUtime=0 cores=0-7
/proc/14584/task/14587/stat : 14587 (java) S 14581 14584 14147 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 85381459 27968053248 27438 33554432000 4194304 4196468 140724544450848 140064555302032 140064551069397 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36528128 140724544459737 140724544460037 140724544460037 140724544462799 0
[pid=14584/tid=14588] ppid=14581 vsize=27312552 memory=139782802400896 CPUtime=0 cores=0-7
/proc/14584/task/14588/stat : 14588 (java) S 14581 14584 14147 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 85381459 27968053248 27438 33554432000 4194304 4196468 140724544450848 140063973682192 140064551069397 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36528128 140724544459737 140724544460037 140724544460037 140724544462799 0
[pid=14584/tid=14589] ppid=14581 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/14584/task/14589/stat : 14589 (java) S 14581 14584 14147 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 85381459 27968053248 27438 33554432000 4194304 4196468 140724544450848 140063972629392 140064551069397 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36528128 140724544459737 140724544460037 140724544460037 140724544462799 0
[pid=14584/tid=14590] ppid=14581 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/14584/task/14590/stat : 14590 (java) S 14581 14584 14147 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 85381459 27968053248 27438 33554432000 4194304 4196468 140724544450848 140063971576592 140064551069397 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36528128 140724544459737 140724544460037 140724544460037 140724544462799 0
[pid=14584/tid=14591] ppid=14581 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/14584/task/14591/stat : 14591 (java) S 14581 14584 14147 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 85381459 27968053248 27438 33554432000 4194304 4196468 140724544450848 140063970523792 140064551069397 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36528128 140724544459737 140724544460037 140724544460037 140724544462799 0
[pid=14584/tid=14592] ppid=14581 vsize=27312552 memory=-1 CPUtime=0 cores=0-7
/proc/14584/task/14592/stat : 14592 (java) S 14581 14584 14147 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 85381459 27968053248 27438 33554432000 4194304 4196468 140724544450848 140063969470992 140064551069397 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36528128 140724544459737 140724544460037 140724544460037 140724544462799 0
[pid=14584/tid=14593] ppid=14581 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/14584/task/14593/stat : 14593 (java) S 14581 14584 14147 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 85381459 27968053248 27502 33554432000 4194304 4196468 140724544450848 140063968418192 140064551069397 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36528128 140724544459737 140724544460037 140724544460037 140724544462799 0
[pid=14584/tid=14594] ppid=14581 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/14584/task/14594/stat : 14594 (java) S 14581 14584 14147 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 85381459 27968053248 27502 33554432000 4194304 4196468 140724544450848 140063967365392 140064551069397 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36528128 140724544459737 140724544460037 140724544460037 140724544462799 0
[pid=14584/tid=14595] ppid=14581 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/14584/task/14595/stat : 14595 (java) S 14581 14584 14147 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 85381460 27968053248 27502 33554432000 4194304 4196468 140724544450848 140062671027056 140064551070338 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36528128 140724544459737 140724544460037 140724544460037 140724544462799 0
[pid=14584/tid=14596] ppid=14581 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/14584/task/14596/stat : 14596 (java) S 14581 14584 14147 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 85381461 27968053248 27502 33554432000 4194304 4196468 140724544450848 140062507394592 140064551069397 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36528128 140724544459737 140724544460037 140724544460037 140724544462799 0
[pid=14584/tid=14597] ppid=14581 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/14584/task/14597/stat : 14597 (java) S 14581 14584 14147 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 85381461 27968053248 27502 33554432000 4194304 4196468 140724544450848 140062238958960 140064551069397 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36528128 140724544459737 140724544460037 140724544460037 140724544462799 0
[pid=14584/tid=14598] ppid=14581 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/14584/task/14598/stat : 14598 (java) S 14581 14584 14147 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 85381464 27968053248 27502 33554432000 4194304 4196468 140724544450848 140061864450384 140064551077787 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36528128 140724544459737 140724544460037 140724544460037 140724544462799 0
[pid=14584/tid=14599] ppid=14581 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/14584/task/14599/stat : 14599 (java) S 14581 14584 14147 0 -1 1077944384 305 0 0 0 0 0 0 0 20 0 20 0 85381464 27968053248 27502 33554432000 4194304 4196468 140724544450848 140062669973872 140064551070338 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36528128 140724544459737 140724544460037 140724544460037 140724544462799 0
[pid=14584/tid=14600] ppid=14581 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/14584/task/14600/stat : 14600 (java) S 14581 14584 14147 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 85381464 27968053248 27502 33554432000 4194304 4196468 140724544450848 140062668921072 140064551070338 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36528128 140724544459737 140724544460037 140724544460037 140724544462799 0
[pid=14584/tid=14601] ppid=14581 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/14584/task/14601/stat : 14601 (java) S 14581 14584 14147 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 85381464 27968053248 27502 33554432000 4194304 4196468 140724544450848 140062667868272 140064551070338 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36528128 140724544459737 140724544460037 140724544460037 140724544462799 0
[pid=14584/tid=14602] ppid=14581 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/14584/task/14602/stat : 14602 (java) S 14581 14584 14147 0 -1 1077944384 252 0 0 0 0 0 0 0 20 0 20 0 85381464 27968053248 27502 33554432000 4194304 4196468 140724544450848 140062666815472 140064551070338 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36528128 140724544459737 140724544460037 140724544460037 140724544462799 0
[pid=14584/tid=14603] ppid=14581 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/14584/task/14603/stat : 14603 (java) S 14581 14584 14147 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 85381464 27968053248 27502 33554432000 4194304 4196468 140724544450848 140061366545504 140064551069397 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36528128 140724544459737 140724544460037 140724544460037 140724544462799 0
[pid=14584/tid=14604] ppid=14581 vsize=27312552 memory=-1 CPUtime=0 cores=0-7
/proc/14584/task/14604/stat : 14604 (java) S 14581 14584 14147 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 85381464 27968053248 27502 33554432000 4194304 4196468 140724544450848 140062665763888 140064551070338 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36528128 140724544459737 140724544460037 140724544460037 140724544462799 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 27312552 KiB
Current children cumulated memory: 109752 KiB

[startup+0.210519 s]*
/proc/loadavg: 8.81 8.47 8.36 2/198 14604
/proc/meminfo: memFree=17411456/32770624 swapFree=67108796/67108860
[pid=14584] ppid=14581 vsize=27312552 memory=124424 CPUtime=0.25 cores=0-7
/proc/14584/stat : 14584 (java) S 14581 14584 14147 0 -1 1077944320 10406 0 0 0 21 4 0 0 20 0 20 0 85381456 27968053248 31106 33554432000 4194304 4196468 140724544450848 140724544433392 140064551059191 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 36528128 140724544459737 140724544460037 140724544460037 140724544462799 0
/proc/14584/statm: 6828138 31106 2872 1 0 6790598 0
[pid=14584/tid=14586] ppid=14581 vsize=27312552 memory=32758254098972862 CPUtime=0.2 cores=0-7
/proc/14584/task/14586/stat : 14586 (java) R 14581 14584 14147 0 -1 4202560 8256 0 0 0 17 3 0 0 20 0 20 0 85381456 27968053248 31106 33554432000 4194304 4196468 140724544450848 140064522842752 140064551081117 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 36528128 140724544459737 140724544460037 140724544460037 140724544462799 0
[pid=14584/tid=14587] ppid=14581 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/14584/task/14587/stat : 14587 (java) S 14581 14584 14147 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 85381459 27968053248 31106 33554432000 4194304 4196468 140724544450848 140064555302032 140064551069397 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36528128 140724544459737 140724544460037 140724544460037 140724544462799 0
[pid=14584/tid=14588] ppid=14581 vsize=27312552 memory=288370158954112640 CPUtime=0 cores=0-7
/proc/14584/task/14588/stat : 14588 (java) S 14581 14584 14147 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 85381459 27968053248 31106 33554432000 4194304 4196468 140724544450848 140063973682192 140064551069397 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36528128 140724544459737 140724544460037 140724544460037 140724544462799 0
[pid=14584/tid=14589] ppid=14581 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/14584/task/14589/stat : 14589 (java) S 14581 14584 14147 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 85381459 27968053248 31106 33554432000 4194304 4196468 140724544450848 140063972629392 140064551069397 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36528128 140724544459737 140724544460037 140724544460037 140724544462799 0
[pid=14584/tid=14590] ppid=14581 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/14584/task/14590/stat : 14590 (java) S 14581 14584 14147 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 85381459 27968053248 31106 33554432000 4194304 4196468 140724544450848 140063971576592 140064551069397 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36528128 140724544459737 140724544460037 140724544460037 140724544462799 0
[pid=14584/tid=14591] ppid=14581 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/14584/task/14591/stat : 14591 (java) S 14581 14584 14147 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 85381459 27968053248 31106 33554432000 4194304 4196468 140724544450848 140063970523792 140064551069397 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36528128 140724544459737 140724544460037 140724544460037 140724544462799 0
[pid=14584/tid=14592] ppid=14581 vsize=27312552 memory=-1 CPUtime=0 cores=0-7
/proc/14584/task/14592/stat : 14592 (java) S 14581 14584 14147 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 85381459 27968053248 31106 33554432000 4194304 4196468 140724544450848 140063969470992 140064551069397 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36528128 140724544459737 140724544460037 140724544460037 140724544462799 0
[pid=14584/tid=14593] ppid=14581 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/14584/task/14593/stat : 14593 (java) S 14581 14584 14147 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 85381459 27968053248 31106 33554432000 4194304 4196468 140724544450848 140063968418192 140064551069397 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36528128 140724544459737 140724544460037 140724544460037 140724544462799 0
[pid=14584/tid=14594] ppid=14581 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/14584/task/14594/stat : 14594 (java) S 14581 14584 14147 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 85381459 27968053248 31106 33554432000 4194304 4196468 140724544450848 140063967365392 140064551069397 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36528128 140724544459737 140724544460037 140724544460037 140724544462799 0
[pid=14584/tid=14595] ppid=14581 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/14584/task/14595/stat : 14595 (java) S 14581 14584 14147 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 85381460 27968053248 31106 33554432000 4194304 4196468 140724544450848 140062671027056 140064551070338 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36528128 140724544459737 140724544460037 140724544460037 140724544462799 0
[pid=14584/tid=14596] ppid=14581 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/14584/task/14596/stat : 14596 (java) S 14581 14584 14147 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 85381461 27968053248 31106 33554432000 4194304 4196468 140724544450848 140062507394592 140064551069397 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36528128 140724544459737 140724544460037 140724544460037 140724544462799 0
[pid=14584/tid=14597] ppid=14581 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/14584/task/14597/stat : 14597 (java) S 14581 14584 14147 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 85381461 27968053248 31106 33554432000 4194304 4196468 140724544450848 140062238958960 140064551069397 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36528128 140724544459737 140724544460037 140724544460037 140724544462799 0
[pid=14584/tid=14598] ppid=14581 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/14584/task/14598/stat : 14598 (java) S 14581 14584 14147 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 85381464 27968053248 31106 33554432000 4194304 4196468 140724544450848 140061864450384 140064551077787 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36528128 140724544459737 140724544460037 140724544460037 140724544462799 0
[pid=14584/tid=14599] ppid=14581 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/14584/task/14599/stat : 14599 (java) S 14581 14584 14147 0 -1 1077944384 436 0 0 0 0 0 0 0 20 0 20 0 85381464 27968053248 31106 33554432000 4194304 4196468 140724544450848 140062669973872 140064551070338 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36528128 140724544459737 140724544460037 140724544460037 140724544462799 0
[pid=14584/tid=14600] ppid=14581 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/14584/task/14600/stat : 14600 (java) S 14581 14584 14147 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 20 0 85381464 27968053248 31106 33554432000 4194304 4196468 140724544450848 140062668921072 140064551070338 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36528128 140724544459737 140724544460037 140724544460037 140724544462799 0
[pid=14584/tid=14601] ppid=14581 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/14584/task/14601/stat : 14601 (java) S 14581 14584 14147 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 85381464 27968053248 31106 33554432000 4194304 4196468 140724544450848 140062667868272 140064551070338 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36528128 140724544459737 140724544460037 140724544460037 140724544462799 0
[pid=14584/tid=14602] ppid=14581 vsize=27312552 memory=0 CPUtime=0.02 cores=0-7
/proc/14584/task/14602/stat : 14602 (java) R 14581 14584 14147 0 -1 4202560 328 0 0 0 2 0 0 0 20 0 20 0 85381464 27968053248 31106 33554432000 4194304 4196468 140724544450848 140062666815472 140064551080538 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 36528128 140724544459737 140724544460037 140724544460037 140724544462799 0
[pid=14584/tid=14603] ppid=14581 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/14584/task/14603/stat : 14603 (java) S 14581 14584 14147 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 85381464 27968053248 31106 33554432000 4194304 4196468 140724544450848 140061366545504 140064551069397 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36528128 140724544459737 140724544460037 140724544460037 140724544462799 0
[pid=14584/tid=14604] ppid=14581 vsize=27312552 memory=-1 CPUtime=0 cores=0-7
/proc/14584/task/14604/stat : 14604 (java) S 14581 14584 14147 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 85381464 27968053248 31106 33554432000 4194304 4196468 140724544450848 140062665763888 140064551070338 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36528128 140724544459737 140724544460037 140724544460037 140724544462799 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 27312552 KiB
Current children cumulated memory: 124424 KiB

[startup+0.31026 s]*
/proc/loadavg: 8.81 8.47 8.36 2/198 14604
/proc/meminfo: memFree=17408128/32770624 swapFree=67108796/67108860
[pid=14584] ppid=14581 vsize=27312552 memory=128720 CPUtime=0.42 cores=0-7
/proc/14584/stat : 14584 (java) S 14581 14584 14147 0 -1 1077944320 11069 0 0 0 38 4 0 0 20 0 20 0 85381456 27968053248 32180 33554432000 4194304 4196468 140724544450848 140724544433392 140064551059191 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 36528128 140724544459737 140724544460037 140724544460037 140724544462799 0
/proc/14584/statm: 6828138 32180 2958 1 0 6790598 0
[pid=14584/tid=14586] ppid=14581 vsize=27312552 memory=6791534058613427641 CPUtime=0.29 cores=0-7
/proc/14584/task/14586/stat : 14586 (java) R 14581 14584 14147 0 -1 4202560 8652 0 0 0 26 3 0 0 20 0 20 0 85381456 27968053248 32180 33554432000 4194304 4196468 140724544450848 140064522863344 140064534246000 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 36528128 140724544459737 140724544460037 140724544460037 140724544462799 0
[pid=14584/tid=14587] ppid=14581 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/14584/task/14587/stat : 14587 (java) S 14581 14584 14147 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 85381459 27968053248 32180 33554432000 4194304 4196468 140724544450848 140064555302032 140064551069397 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36528128 140724544459737 140724544460037 140724544460037 140724544462799 0
[pid=14584/tid=14588] ppid=14581 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/14584/task/14588/stat : 14588 (java) S 14581 14584 14147 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 85381459 27968053248 32180 33554432000 4194304 4196468 140724544450848 140063973682192 140064551069397 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36528128 140724544459737 140724544460037 140724544460037 140724544462799 0
[pid=14584/tid=14589] ppid=14581 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/14584/task/14589/stat : 14589 (java) S 14581 14584 14147 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 85381459 27968053248 32180 33554432000 4194304 4196468 140724544450848 140063972629392 140064551069397 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36528128 140724544459737 140724544460037 140724544460037 140724544462799 0
[pid=14584/tid=14590] ppid=14581 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/14584/task/14590/stat : 14590 (java) S 14581 14584 14147 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 85381459 27968053248 32180 33554432000 4194304 4196468 140724544450848 140063971576592 140064551069397 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36528128 140724544459737 140724544460037 140724544460037 140724544462799 0
[pid=14584/tid=14591] ppid=14581 vsize=27312552 memory=2244 CPUtime=0 cores=0-7
/proc/14584/task/14591/stat : 14591 (java) S 14581 14584 14147 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 85381459 27968053248 32180 33554432000 4194304 4196468 140724544450848 140063970523792 140064551069397 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36528128 140724544459737 140724544460037 140724544460037 140724544462799 0
[pid=14584/tid=14592] ppid=14581 vsize=27312552 memory=139782663533487 CPUtime=0 cores=0-7
/proc/14584/task/14592/stat : 14592 (java) S 14581 14584 14147 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 85381459 27968053248 32180 33554432000 4194304 4196468 140724544450848 140063969470992 140064551069397 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36528128 140724544459737 140724544460037 140724544460037 140724544462799 0
[pid=14584/tid=14593] ppid=14581 vsize=27312552 memory=139782663535792 CPUtime=0 cores=0-7
/proc/14584/task/14593/stat : 14593 (java) S 14581 14584 14147 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 85381459 27968053248 32180 33554432000 4194304 4196468 140724544450848 140063968418192 140064551069397 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36528128 140724544459737 140724544460037 140724544460037 140724544462799 0
[pid=14584/tid=14594] ppid=14581 vsize=27312552 memory=139782663538096 CPUtime=0 cores=0-7
/proc/14584/task/14594/stat : 14594 (java) S 14581 14584 14147 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 85381459 27968053248 32180 33554432000 4194304 4196468 140724544450848 140063967365392 140064551069397 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36528128 140724544459737 140724544460037 140724544460037 140724544462799 0
[pid=14584/tid=14595] ppid=14581 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/14584/task/14595/stat : 14595 (java) S 14581 14584 14147 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 85381460 27968053248 32180 33554432000 4194304 4196468 140724544450848 140062671027056 140064551070338 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36528128 140724544459737 140724544460037 140724544460037 140724544462799 0
[pid=14584/tid=14596] ppid=14581 vsize=27312552 memory=279565327083152 CPUtime=0 cores=0-7
/proc/14584/task/14596/stat : 14596 (java) S 14581 14584 14147 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 85381461 27968053248 32180 33554432000 4194304 4196468 140724544450848 140062507394592 140064551069397 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36528128 140724544459737 140724544460037 140724544460037 140724544462799 0
[pid=14584/tid=14597] ppid=14581 vsize=27312552 memory=279565327090064 CPUtime=0 cores=0-7
/proc/14584/task/14597/stat : 14597 (java) S 14581 14584 14147 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 85381461 27968053248 32180 33554432000 4194304 4196468 140724544450848 140062238958960 140064551069397 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36528128 140724544459737 140724544460037 140724544460037 140724544462799 0
[pid=14584/tid=14598] ppid=14581 vsize=27312552 memory=279565327031344 CPUtime=0 cores=0-7
/proc/14584/task/14598/stat : 14598 (java) S 14581 14584 14147 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 85381464 27968053248 32180 33554432000 4194304 4196468 140724544450848 140061864450384 140064551077787 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36528128 140724544459737 140724544460037 140724544460037 140724544462799 0
[pid=14584/tid=14599] ppid=14581 vsize=27312552 memory=279565327103888 CPUtime=0 cores=0-7
/proc/14584/task/14599/stat : 14599 (java) S 14581 14584 14147 0 -1 1077944384 446 0 0 0 0 0 0 0 20 0 20 0 85381464 27968053248 32180 33554432000 4194304 4196468 140724544450848 140062669973872 140064551070338 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36528128 140724544459737 140724544460037 140724544460037 140724544462799 0
[pid=14584/tid=14600] ppid=14581 vsize=27312552 memory=279565327110800 CPUtime=0.02 cores=0-7
/proc/14584/task/14600/stat : 14600 (java) S 14581 14584 14147 0 -1 1077944384 129 0 0 0 2 0 0 0 20 0 20 0 85381464 27968053248 32180 33554432000 4194304 4196468 140724544450848 140062668921072 140064551070338 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36528128 140724544459737 140724544460037 140724544460037 140724544462799 0
[pid=14584/tid=14601] ppid=14581 vsize=27312552 memory=279565327108496 CPUtime=0.01 cores=0-7
/proc/14584/task/14601/stat : 14601 (java) S 14581 14584 14147 0 -1 1077944384 73 0 0 0 1 0 0 0 20 0 20 0 85381464 27968053248 32180 33554432000 4194304 4196468 140724544450848 140062667868272 140064551070338 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36528128 140724544459737 140724544460037 140724544460037 140724544462799 0
[pid=14584/tid=14602] ppid=14581 vsize=27312552 memory=279565327125056 CPUtime=0.07 cores=0-7
/proc/14584/task/14602/stat : 14602 (java) S 14581 14584 14147 0 -1 1077944384 427 0 0 0 7 0 0 0 20 0 20 0 85381464 27968053248 32180 33554432000 4194304 4196468 140724544450848 140062666815472 140064551070338 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36528128 140724544459737 140724544460037 140724544460037 140724544462799 0
[pid=14584/tid=14603] ppid=14581 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/14584/task/14603/stat : 14603 (java) S 14581 14584 14147 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 85381464 27968053248 32180 33554432000 4194304 4196468 140724544450848 140061366545504 140064551069397 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36528128 140724544459737 140724544460037 140724544460037 140724544462799 0
[pid=14584/tid=14604] ppid=14581 vsize=27312552 memory=-1 CPUtime=0 cores=0-7
/proc/14584/task/14604/stat : 14604 (java) S 14581 14584 14147 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 85381464 27968053248 32180 33554432000 4194304 4196468 140724544450848 140062665763888 140064551070338 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36528128 140724544459737 140724544460037 140724544460037 140724544462799 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 27312552 KiB
Current children cumulated memory: 128720 KiB

[startup+0.708397 s]
/proc/loadavg: 8.81 8.47 8.36 4/198 14604
/proc/meminfo: memFree=17383944/32770624 swapFree=67108796/67108860
[pid=14584] ppid=14581 vsize=27318824 memory=165980 CPUtime=1.01 cores=0-7
/proc/14584/stat : 14584 (java) S 14581 14584 14147 0 -1 1077944320 17985 0 0 0 95 6 0 0 20 0 20 0 85381456 27974475776 41495 33554432000 4194304 4196468 140724544450848 140724544433392 140064551059191 0 0 0 25189583 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 36528128 140724544459737 140724544460037 140724544460037 140724544462799 0
/proc/14584/statm: 6829706 41495 3135 1 0 6791110 0
[pid=14584/tid=14586] ppid=14581 vsize=27318824 memory=7230638415907220311 CPUtime=0.68 cores=0-7
/proc/14584/task/14586/stat : 14586 (java) R 14581 14584 14147 0 -1 4202560 15021 0 0 0 64 4 0 0 20 0 20 0 85381456 27974475776 41495 33554432000 4194304 4196468 140724544450848 140064522896672 140064054646779 0 4 0 25189583 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 36528128 140724544459737 140724544460037 140724544460037 140724544462799 0
[pid=14584/tid=14587] ppid=14581 vsize=27318824 memory=62719407452694 CPUtime=0 cores=0-7
/proc/14584/task/14587/stat : 14587 (java) S 14581 14584 14147 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 85381459 27974475776 41495 33554432000 4194304 4196468 140724544450848 140064555302032 140064551069397 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36528128 140724544459737 140724544460037 140724544460037 140724544462799 0
[pid=14584/tid=14588] ppid=14581 vsize=27318824 memory=139782663550257 CPUtime=0 cores=0-7
/proc/14584/task/14588/stat : 14588 (java) S 14581 14584 14147 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 85381459 27974475776 41495 33554432000 4194304 4196468 140724544450848 140063973682192 140064551069397 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36528128 140724544459737 140724544460037 140724544460037 140724544462799 0
[pid=14584/tid=14589] ppid=14581 vsize=27318824 memory=0 CPUtime=0 cores=0-7
/proc/14584/task/14589/stat : 14589 (java) S 14581 14584 14147 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 85381459 27974475776 41495 33554432000 4194304 4196468 140724544450848 140063972629392 140064551069397 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36528128 140724544459737 140724544460037 140724544460037 140724544462799 0
[pid=14584/tid=14590] ppid=14581 vsize=27318824 memory=0 CPUtime=0 cores=0-7
/proc/14584/task/14590/stat : 14590 (java) S 14581 14584 14147 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 85381459 27974475776 41495 33554432000 4194304 4196468 140724544450848 140063971576592 140064551069397 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36528128 140724544459737 140724544460037 140724544460037 140724544462799 0
[pid=14584/tid=14591] ppid=14581 vsize=27318824 memory=0 CPUtime=0 cores=0-7
/proc/14584/task/14591/stat : 14591 (java) S 14581 14584 14147 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 85381459 27974475776 41495 33554432000 4194304 4196468 140724544450848 140063970523792 140064551069397 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36528128 140724544459737 140724544460037 140724544460037 140724544462799 0
[pid=14584/tid=14592] ppid=14581 vsize=27318824 memory=0 CPUtime=0 cores=0-7
/proc/14584/task/14592/stat : 14592 (java) S 14581 14584 14147 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 85381459 27974475776 41495 33554432000 4194304 4196468 140724544450848 140063969470992 140064551069397 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36528128 140724544459737 140724544460037 140724544460037 140724544462799 0
[pid=14584/tid=14593] ppid=14581 vsize=27318824 memory=0 CPUtime=0 cores=0-7
/proc/14584/task/14593/stat : 14593 (java) S 14581 14584 14147 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 85381459 27974475776 41495 33554432000 4194304 4196468 140724544450848 140063968418192 140064551069397 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36528128 140724544459737 140724544460037 140724544460037 140724544462799 0
[pid=14584/tid=14594] ppid=14581 vsize=27318824 memory=1628 CPUtime=0 cores=0-7
/proc/14584/task/14594/stat : 14594 (java) S 14581 14584 14147 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 85381459 27974475776 41495 33554432000 4194304 4196468 140724544450848 140063967365392 140064551069397 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36528128 140724544459737 140724544460037 140724544460037 140724544462799 0
[pid=14584/tid=14595] ppid=14581 vsize=27318824 memory=8876 CPUtime=0 cores=0-7
/proc/14584/task/14595/stat : 14595 (java) S 14581 14584 14147 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 85381460 27974475776 41495 33554432000 4194304 4196468 140724544450848 140062671027056 140064551070338 0 0 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36528128 140724544459737 140724544460037 140724544460037 140724544462799 0

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

/proc/14584/task/14593/stat : 14593 (java) S 14581 14584 14147 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 85381459 28654346240 602098 33554432000 4194304 4196468 140724544450848 140063968418192 140064551069397 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36528128 140724544459737 140724544460037 140724544460037 140724544462799 0
[pid=14584/tid=14594] ppid=14581 vsize=27982760 memory=17804 CPUtime=0 cores=0-7
/proc/14584/task/14594/stat : 14594 (java) S 14581 14584 14147 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 85381459 28654346240 602098 33554432000 4194304 4196468 140724544450848 140063967365392 140064551069397 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36528128 140724544459737 140724544460037 140724544460037 140724544462799 0
[pid=14584/tid=14595] ppid=14581 vsize=27982760 memory=4016 CPUtime=0 cores=0-7
/proc/14584/task/14595/stat : 14595 (java) S 14581 14584 14147 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 24 0 85381460 28654346240 602098 33554432000 4194304 4196468 140724544450848 140062671027056 140064551070338 0 0 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36528128 140724544459737 140724544460037 140724544460037 140724544462799 0
[pid=14584/tid=14596] ppid=14581 vsize=27982760 memory=644 CPUtime=0 cores=0-7
/proc/14584/task/14596/stat : 14596 (java) S 14581 14584 14147 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 85381461 28654346240 602098 33554432000 4194304 4196468 140724544450848 140062507394592 140064551069397 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36528128 140724544459737 140724544460037 140724544460037 140724544462799 0
[pid=14584/tid=14597] ppid=14581 vsize=27982760 memory=1676 CPUtime=0 cores=0-7
/proc/14584/task/14597/stat : 14597 (java) S 14581 14584 14147 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 85381461 28654346240 602098 33554432000 4194304 4196468 140724544450848 140062238958960 140064551069397 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36528128 140724544459737 140724544460037 140724544460037 140724544462799 0
[pid=14584/tid=14598] ppid=14581 vsize=27982760 memory=960 CPUtime=0 cores=0-7
/proc/14584/task/14598/stat : 14598 (java) S 14581 14584 14147 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 85381464 28654346240 602098 33554432000 4194304 4196468 140724544450848 140061864450384 140064551077787 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36528128 140724544459737 140724544460037 140724544460037 140724544462799 0
[pid=14584/tid=14599] ppid=14581 vsize=27982760 memory=1232 CPUtime=3.19 cores=0-7
/proc/14584/task/14599/stat : 14599 (java) S 14581 14584 14147 0 -1 1077944384 4770 0 0 0 317 2 0 0 20 0 24 0 85381464 28654346240 602098 33554432000 4194304 4196468 140724544450848 140062669973872 140064551070338 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36528128 140724544459737 140724544460037 140724544460037 140724544462799 0
[pid=14584/tid=14600] ppid=14581 vsize=27982760 memory=4072 CPUtime=3.45 cores=0-7
/proc/14584/task/14600/stat : 14600 (java) S 14581 14584 14147 0 -1 1077944384 4222 0 0 0 343 2 0 0 20 0 24 0 85381464 28654346240 602098 33554432000 4194304 4196468 140724544450848 140062668921072 140064551070338 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36528128 140724544459737 140724544460037 140724544460037 140724544462799 0
[pid=14584/tid=14601] ppid=14581 vsize=27982760 memory=2244 CPUtime=3.84 cores=0-7
/proc/14584/task/14601/stat : 14601 (java) S 14581 14584 14147 0 -1 1077944384 2767 0 0 0 383 1 0 0 20 0 24 0 85381464 28654346240 602098 33554432000 4194304 4196468 140724544450848 140062667868272 140064551070338 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36528128 140724544459737 140724544460037 140724544460037 140724544462799 0
[pid=14584/tid=14602] ppid=14581 vsize=27982760 memory=4124 CPUtime=1.17 cores=0-7
/proc/14584/task/14602/stat : 14602 (java) S 14581 14584 14147 0 -1 1077944384 3759 0 0 0 116 1 0 0 20 0 24 0 85381464 28654346240 602098 33554432000 4194304 4196468 140724544450848 140062666815472 140064551070338 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36528128 140724544459737 140724544460037 140724544460037 140724544462799 0
[pid=14584/tid=14603] ppid=14581 vsize=27982760 memory=924 CPUtime=0 cores=0-7
/proc/14584/task/14603/stat : 14603 (java) S 14581 14584 14147 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 85381464 28654346240 602098 33554432000 4194304 4196468 140724544450848 140061366545504 140064551069397 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36528128 140724544459737 140724544460037 140724544460037 140724544462799 0
[pid=14584/tid=14604] ppid=14581 vsize=27982760 memory=1572 CPUtime=0.04 cores=0-7
/proc/14584/task/14604/stat : 14604 (java) S 14581 14584 14147 0 -1 1077944384 7 0 0 0 0 4 0 0 20 0 24 0 85381464 28654346240 602098 33554432000 4194304 4196468 140724544450848 140062665763888 140064551070338 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36528128 140724544459737 140724544460037 140724544460037 140724544462799 0
[pid=14584/tid=14606] ppid=14581 vsize=27982760 memory=2092 CPUtime=0 cores=0-7
/proc/14584/task/14606/stat : 14606 (java) S 14581 14584 14147 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 85382052 28654346240 602098 33554432000 4194304 4196468 140724544450848 140063916996160 140064551083801 0 4 0 25189583 18446744071579417331 0 0 -1 2 0 0 0 0 0 6293624 6294260 36528128 140724544459737 140724544460037 140724544460037 140724544462799 0
[pid=14584/tid=14608] ppid=14581 vsize=27982760 memory=7524 CPUtime=0.01 cores=0-7
/proc/14584/task/14608/stat : 14608 (java) S 14581 14584 14147 0 -1 4202560 12 0 0 0 1 0 0 0 20 0 24 0 85382052 28654346240 602098 33554432000 4194304 4196468 140724544450848 140060695445040 140064551081117 0 4 0 25189583 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 36528128 140724544459737 140724544460037 140724544460037 140724544462799 0
[pid=14584/tid=14609] ppid=14581 vsize=27982760 memory=840 CPUtime=0 cores=0-7
/proc/14584/task/14609/stat : 14609 (java) S 14581 14584 14147 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 24 0 85382052 28654346240 602098 33554432000 4194304 4196468 140724544450848 140060963880368 140064551081117 0 4 0 25189583 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 36528128 140724544459737 140724544460037 140724544460037 140724544462799 0
[pid=14584/tid=14610] ppid=14581 vsize=27982760 memory=24820 CPUtime=0 cores=0-7
/proc/14584/task/14610/stat : 14610 (java) S 14581 14584 14147 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 85382054 28654346240 602098 33554432000 4194304 4196468 140724544450848 140060427017248 140064551069397 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36528128 140724544459737 140724544460037 140724544460037 140724544462799 0
Current children cumulated CPU time: 665.12 s
Current children cumulated vsize: 28685688 KiB
Current children cumulated memory: 2837444 KiB

[startup+88.0016 s]*
/proc/loadavg: 8.18 8.32 8.31 9/211 14618
/proc/meminfo: memFree=14696928/32770624 swapFree=67108796/67108860
[pid=14584] ppid=14581 vsize=27982760 memory=2408392 CPUtime=17.72 cores=0-7
/proc/14584/stat : 14584 (java) S 14581 14584 14147 0 -1 1077944320 35510 0 0 0 1723 49 0 0 20 0 24 0 85381456 28654346240 602098 33554432000 4194304 4196468 140724544450848 140724544433392 140064551059191 0 0 0 25189583 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 36528128 140724544459737 140724544460037 140724544460037 140724544462799 0
/proc/14584/statm: 6995690 602098 3231 1 0 6956546 0
[pid=14605] ppid=14584 vsize=703520 memory=429480 CPUtime=653.84 cores=0-7
/proc/14605/stat : 14605 (glucose-syrup) S 14584 14584 14147 0 -1 1077944320 242721 0 0 0 65308 76 0 0 20 0 9 0 85382052 720404480 107370 33554432000 4194304 4373367 140736902487760 140736902486304 140622934604418 0 4 0 8388610 18446744073709551615 0 0 17 1 0 0 0 0 0 6470912 6472264 38334464 140736902493103 140736902493356 140736902493356 140736902496199 0
/proc/14605/statm: 175880 107370 383 44 0 171568 0
[pid=14605/tid=14611] ppid=14584 vsize=703520 memory=7378139090495164524 CPUtime=81.94 cores=0-7
/proc/14605/task/14611/stat : 14611 (glucose-syrup) R 14584 14584 14147 0 -1 4202560 30241 0 0 0 8184 10 0 0 20 0 9 0 85382059 720404480 107370 33554432000 4194304 4373367 140736902487760 140622913223952 4291719 0 4 0 8388610 0 0 0 -1 0 0 0 0 0 0 6470912 6472264 38334464 140736902493103 140736902493356 140736902493356 140736902496199 0
[pid=14605/tid=14612] ppid=14584 vsize=703520 memory=7164212503279855981 CPUtime=81.88 cores=0-7
/proc/14605/task/14612/stat : 14612 (glucose-syrup) R 14584 14584 14147 0 -1 4202560 26778 0 0 0 8181 7 0 0 20 0 9 0 85382059 720404480 107370 33554432000 4194304 4373367 140736902487760 140622904831344 4272344 0 4 0 8388610 0 0 0 -1 2 0 0 0 0 0 6470912 6472264 38334464 140736902493103 140736902493356 140736902493356 140736902496199 0
[pid=14605/tid=14613] ppid=14584 vsize=703520 memory=7521667121913883750 CPUtime=81.62 cores=0-7
/proc/14605/task/14613/stat : 14613 (glucose-syrup) R 14584 14584 14147 0 -1 4202560 29126 0 0 0 8153 9 0 0 20 0 9 0 85382059 720404480 107370 33554432000 4194304 4373367 140736902487760 140622896438640 4258908 0 4 0 8388610 0 0 0 -1 3 0 0 0 0 0 6470912 6472264 38334464 140736902493103 140736902493356 140736902493356 140736902496199 0
[pid=14605/tid=14614] ppid=14584 vsize=703520 memory=0 CPUtime=81.94 cores=0-7
/proc/14605/task/14614/stat : 14614 (glucose-syrup) R 14584 14584 14147 0 -1 4202560 28168 0 0 0 8186 8 0 0 20 0 9 0 85382059 720404480 107370 33554432000 4194304 4373367 140736902487760 140622888045936 4271958 0 4 0 8388610 0 0 0 -1 5 0 0 0 0 0 6470912 6472264 38334464 140736902493103 140736902493356 140736902493356 140736902496199 0
[pid=14605/tid=14615] ppid=14584 vsize=703520 memory=0 CPUtime=81.94 cores=0-7
/proc/14605/task/14615/stat : 14615 (glucose-syrup) R 14584 14584 14147 0 -1 4202560 33039 0 0 0 8184 10 0 0 20 0 9 0 85382059 720404480 107370 33554432000 4194304 4373367 140736902487760 140622879653008 4271897 0 4 0 8388610 0 0 0 -1 1 0 0 0 0 0 6470912 6472264 38334464 140736902493103 140736902493356 140736902493356 140736902496199 0
[pid=14605/tid=14616] ppid=14584 vsize=703520 memory=3760962355149276129 CPUtime=81.94 cores=0-7
/proc/14605/task/14616/stat : 14616 (glucose-syrup) R 14584 14584 14147 0 -1 4202560 28140 0 0 0 8185 9 0 0 20 0 9 0 85382059 720404480 107370 33554432000 4194304 4373367 140736902487760 140622665084176 4271925 0 4 0 8388610 0 0 0 -1 4 0 0 0 0 0 6470912 6472264 38334464 140736902493103 140736902493356 140736902493356 140736902496199 0
[pid=14605/tid=14617] ppid=14584 vsize=703520 memory=7521667121913883750 CPUtime=81.94 cores=0-7
/proc/14605/task/14617/stat : 14617 (glucose-syrup) R 14584 14584 14147 0 -1 4202560 32163 0 0 0 8184 10 0 0 20 0 9 0 85382059 720404480 107370 33554432000 4194304 4373367 140736902487760 140622799301904 4272000 0 4 0 8388610 0 0 0 -1 6 0 0 0 0 0 6470912 6472264 38334464 140736902493103 140736902493356 140736902493356 140736902496199 0
[pid=14605/tid=14618] ppid=14584 vsize=703520 memory=7521667121913883750 CPUtime=80.5 cores=0-7
/proc/14605/task/14618/stat : 14618 (glucose-syrup) R 14584 14584 14147 0 -1 4202560 29493 0 0 0 8042 8 0 0 20 0 9 0 85382059 720404480 107370 33554432000 4194304 4373367 140736902487760 140622790909296 4272344 0 4 0 8388610 0 0 0 -1 7 0 0 0 0 0 6470912 6472264 38334464 140736902493103 140736902493356 140736902493356 140736902496199 0
[pid=14584/tid=14586] ppid=14581 vsize=27982760 memory=-5155631280136154501 CPUtime=5.95 cores=0-7
/proc/14584/task/14586/stat : 14586 (java) S 14581 14584 14147 0 -1 1077944384 18580 0 0 0 556 39 0 0 20 0 24 0 85381456 28654346240 602098 33554432000 4194304 4196468 140724544450848 140064522898432 140064551069397 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36528128 140724544459737 140724544460037 140724544460037 140724544462799 0
[pid=14584/tid=14587] ppid=14581 vsize=27982760 memory=-7003737579269690708 CPUtime=0 cores=0-7
/proc/14584/task/14587/stat : 14587 (java) S 14581 14584 14147 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 85381459 28654346240 602098 33554432000 4194304 4196468 140724544450848 140064555302032 140064551069397 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36528128 140724544459737 140724544460037 140724544460037 140724544462799 0
[pid=14584/tid=14588] ppid=14581 vsize=27982760 memory=424604 CPUtime=0 cores=0-7
/proc/14584/task/14588/stat : 14588 (java) S 14581 14584 14147 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 85381459 28654346240 602098 33554432000 4194304 4196468 140724544450848 140063973682192 140064551069397 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36528128 140724544459737 140724544460037 140724544460037 140724544462799 0
[pid=14584/tid=14589] ppid=14581 vsize=27982760 memory=-5155631280136154501 CPUtime=0 cores=0-7
/proc/14584/task/14589/stat : 14589 (java) S 14581 14584 14147 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 85381459 28654346240 602098 33554432000 4194304 4196468 140724544450848 140063972629392 140064551069397 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36528128 140724544459737 140724544460037 140724544460037 140724544462799 0
[pid=14584/tid=14590] ppid=14581 vsize=27982760 memory=-7003737579269690708 CPUtime=0 cores=0-7
/proc/14584/task/14590/stat : 14590 (java) S 14581 14584 14147 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 85381459 28654346240 602098 33554432000 4194304 4196468 140724544450848 140063971576592 140064551069397 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36528128 140724544459737 140724544460037 140724544460037 140724544462799 0
[pid=14584/tid=14591] ppid=14581 vsize=27982760 memory=1608 CPUtime=0 cores=0-7
/proc/14584/task/14591/stat : 14591 (java) S 14581 14584 14147 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 85381459 28654346240 602098 33554432000 4194304 4196468 140724544450848 140063970523792 140064551069397 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36528128 140724544459737 140724544460037 140724544460037 140724544462799 0
[pid=14584/tid=14592] ppid=14581 vsize=27982760 memory=2408392 CPUtime=0 cores=0-7
/proc/14584/task/14592/stat : 14592 (java) S 14581 14584 14147 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 85381459 28654346240 602098 33554432000 4194304 4196468 140724544450848 140063969470992 140064551069397 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36528128 140724544459737 140724544460037 140724544460037 140724544462799 0
[pid=14584/tid=14593] ppid=14581 vsize=27982760 memory=428440 CPUtime=0 cores=0-7
/proc/14584/task/14593/stat : 14593 (java) S 14581 14584 14147 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 85381459 28654346240 602098 33554432000 4194304 4196468 140724544450848 140063968418192 140064551069397 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36528128 140724544459737 140724544460037 140724544460037 140724544462799 0
[pid=14584/tid=14594] ppid=14581 vsize=27982760 memory=14692993764428366 CPUtime=0 cores=0-7
/proc/14584/task/14594/stat : 14594 (java) S 14581 14584 14147 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 85381459 28654346240 602098 33554432000 4194304 4196468 140724544450848 140063967365392 140064551069397 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36528128 140724544459737 140724544460037 140724544460037 140724544462799 0
[pid=14584/tid=14595] ppid=14581 vsize=27982760 memory=1088 CPUtime=0 cores=0-7
/proc/14584/task/14595/stat : 14595 (java) S 14581 14584 14147 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 24 0 85381460 28654346240 602098 33554432000 4194304 4196468 140724544450848 140062671027056 140064551070338 0 0 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36528128 140724544459737 140724544460037 140724544460037 140724544462799 0
[pid=14584/tid=14596] ppid=14581 vsize=27982760 memory=1800 CPUtime=0 cores=0-7
/proc/14584/task/14596/stat : 14596 (java) S 14581 14584 14147 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 85381461 28654346240 602098 33554432000 4194304 4196468 140724544450848 140062507394592 140064551069397 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36528128 140724544459737 140724544460037 140724544460037 140724544462799 0
[pid=14584/tid=14597] ppid=14581 vsize=27982760 memory=139787097368191 CPUtime=0 cores=0-7
/proc/14584/task/14597/stat : 14597 (java) S 14581 14584 14147 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 85381461 28654346240 602098 33554432000 4194304 4196468 140724544450848 140062238958960 140064551069397 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36528128 140724544459737 140724544460037 140724544460037 140724544462799 0
[pid=14584/tid=14598] ppid=14581 vsize=27982760 memory=7165053737014351970 CPUtime=0 cores=0-7
/proc/14584/task/14598/stat : 14598 (java) S 14581 14584 14147 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 85381464 28654346240 602098 33554432000 4194304 4196468 140724544450848 140061864450384 140064551077787 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36528128 140724544459737 140724544460037 140724544460037 140724544462799 0
[pid=14584/tid=14599] ppid=14581 vsize=27982760 memory=6005658299404807784 CPUtime=3.19 cores=0-7
/proc/14584/task/14599/stat : 14599 (java) S 14581 14584 14147 0 -1 1077944384 4770 0 0 0 317 2 0 0 20 0 24 0 85381464 28654346240 602098 33554432000 4194304 4196468 140724544450848 140062669973872 140064551070338 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36528128 140724544459737 140724544460037 140724544460037 140724544462799 0
[pid=14584/tid=14600] ppid=14581 vsize=27982760 memory=6005658299404807784 CPUtime=3.45 cores=0-7
/proc/14584/task/14600/stat : 14600 (java) S 14581 14584 14147 0 -1 1077944384 4222 0 0 0 343 2 0 0 20 0 24 0 85381464 28654346240 602098 33554432000 4194304 4196468 140724544450848 140062668921072 140064551070338 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36528128 140724544459737 140724544460037 140724544460037 140724544462799 0
[pid=14584/tid=14601] ppid=14581 vsize=27982760 memory=6005658299404807784 CPUtime=3.84 cores=0-7
/proc/14584/task/14601/stat : 14601 (java) S 14581 14584 14147 0 -1 1077944384 2767 0 0 0 383 1 0 0 20 0 24 0 85381464 28654346240 602098 33554432000 4194304 4196468 140724544450848 140062667868272 140064551070338 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36528128 140724544459737 140724544460037 140724544460037 140724544462799 0
[pid=14584/tid=14602] ppid=14581 vsize=27982760 memory=6005658299404807784 CPUtime=1.17 cores=0-7
/proc/14584/task/14602/stat : 14602 (java) S 14581 14584 14147 0 -1 1077944384 3759 0 0 0 116 1 0 0 20 0 24 0 85381464 28654346240 602098 33554432000 4194304 4196468 140724544450848 140062666815472 140064551070338 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36528128 140724544459737 140724544460037 140724544460037 140724544462799 0
[pid=14584/tid=14603] ppid=14581 vsize=27982760 memory=7165053737014351970 CPUtime=0 cores=0-7
/proc/14584/task/14603/stat : 14603 (java) S 14581 14584 14147 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 85381464 28654346240 602098 33554432000 4194304 4196468 140724544450848 140061366545504 140064551069397 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36528128 140724544459737 140724544460037 140724544460037 140724544462799 0
[pid=14584/tid=14604] ppid=14581 vsize=27982760 memory=7165053737014351970 CPUtime=0.04 cores=0-7
/proc/14584/task/14604/stat : 14604 (java) S 14581 14584 14147 0 -1 1077944384 7 0 0 0 0 4 0 0 20 0 24 0 85381464 28654346240 602098 33554432000 4194304 4196468 140724544450848 140062665763888 140064551070338 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36528128 140724544459737 140724544460037 140724544460037 140724544462799 0
[pid=14584/tid=14606] ppid=14581 vsize=27982760 memory=7883097527802226515 CPUtime=0 cores=0-7
/proc/14584/task/14606/stat : 14606 (java) S 14581 14584 14147 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 85382052 28654346240 602098 33554432000 4194304 4196468 140724544450848 140063916996160 140064551083801 0 4 0 25189583 18446744071579417331 0 0 -1 2 0 0 0 0 0 6293624 6294260 36528128 140724544459737 140724544460037 140724544460037 140724544462799 0
[pid=14584/tid=14608] ppid=14581 vsize=27982760 memory=7883097527802226515 CPUtime=0.01 cores=0-7
/proc/14584/task/14608/stat : 14608 (java) S 14581 14584 14147 0 -1 4202560 12 0 0 0 1 0 0 0 20 0 24 0 85382052 28654346240 602098 33554432000 4194304 4196468 140724544450848 140060695445040 140064551081117 0 4 0 25189583 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 36528128 140724544459737 140724544460037 140724544460037 140724544462799 0
[pid=14584/tid=14609] ppid=14581 vsize=27982760 memory=7883097527802226515 CPUtime=0 cores=0-7
/proc/14584/task/14609/stat : 14609 (java) S 14581 14584 14147 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 24 0 85382052 28654346240 602098 33554432000 4194304 4196468 140724544450848 140060963880368 140064551081117 0 4 0 25189583 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 36528128 140724544459737 140724544460037 140724544460037 140724544462799 0
[pid=14584/tid=14610] ppid=14581 vsize=27982760 memory=7165053737014351970 CPUtime=0 cores=0-7
/proc/14584/task/14610/stat : 14610 (java) S 14581 14584 14147 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 85382054 28654346240 602098 33554432000 4194304 4196468 140724544450848 140060427017248 140064551069397 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36528128 140724544459737 140724544460037 140724544460037 140724544462799 0
Current children cumulated CPU time: 671.56 s
Current children cumulated vsize: 28686280 KiB
Current children cumulated memory: 2837872 KiB

[startup+88.4012 s]
/proc/loadavg: 8.18 8.32 8.31 9/211 14618
/proc/meminfo: memFree=14696928/32770624 swapFree=67108796/67108860
[pid=14584] ppid=14581 vsize=27720608 memory=2410700 CPUtime=674.48 cores=0-7
/proc/14584/stat : 14584 (java) S 14581 14584 14147 0 -1 1077944320 35606 242973 0 0 1731 49 65590 78 20 0 21 0 85381456 28385902592 602675 33554432000 4194304 4196468 140724544450848 140724544433392 140064551059191 0 0 0 25189583 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 36528128 140724544459737 140724544460037 140724544460037 140724544462799 0
/proc/14584/statm: 6930152 602675 3232 1 0 6891008 0
[pid=14584/tid=14586] ppid=14581 vsize=27720608 memory=4072 CPUtime=662.65 cores=0-7
/proc/14584/task/14586/stat : 14586 (java) S 14581 14584 14147 0 -1 1077944384 18607 242973 0 0 558 39 65590 78 20 0 21 0 85381456 28385902592 602675 33554432000 4194304 4196468 140724544450848 140064522902672 140064551069397 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36528128 140724544459737 140724544460037 140724544460037 140724544462799 0
[pid=14584/tid=14587] ppid=14581 vsize=27720608 memory=2244 CPUtime=656.68 cores=0-7
/proc/14584/task/14587/stat : 14587 (java) S 14581 14584 14147 0 -1 1077944384 2 242973 0 0 0 0 65590 78 20 0 21 0 85381459 28385902592 602675 33554432000 4194304 4196468 140724544450848 140064555302032 140064551069397 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36528128 140724544459737 140724544460037 140724544460037 140724544462799 0
[pid=14584/tid=14588] ppid=14581 vsize=27720608 memory=4124 CPUtime=656.68 cores=0-7
/proc/14584/task/14588/stat : 14588 (java) S 14581 14584 14147 0 -1 1077944384 1 242973 0 0 0 0 65590 78 20 0 21 0 85381459 28385902592 602675 33554432000 4194304 4196468 140724544450848 140063973682192 140064551069397 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36528128 140724544459737 140724544460037 140724544460037 140724544462799 0
[pid=14584/tid=14589] ppid=14581 vsize=27720608 memory=924 CPUtime=656.68 cores=0-7
/proc/14584/task/14589/stat : 14589 (java) S 14581 14584 14147 0 -1 1077944384 3 242973 0 0 0 0 65590 78 20 0 21 0 85381459 28385902592 602675 33554432000 4194304 4196468 140724544450848 140063972629392 140064551069397 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36528128 140724544459737 140724544460037 140724544460037 140724544462799 0
[pid=14584/tid=14590] ppid=14581 vsize=27720608 memory=1572 CPUtime=656.68 cores=0-7
/proc/14584/task/14590/stat : 14590 (java) S 14581 14584 14147 0 -1 1077944384 1 242973 0 0 0 0 65590 78 20 0 21 0 85381459 28385902592 602675 33554432000 4194304 4196468 140724544450848 140063971576592 140064551069397 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36528128 140724544459737 140724544460037 140724544460037 140724544462799 0
[pid=14584/tid=14591] ppid=14581 vsize=27720608 memory=2092 CPUtime=656.68 cores=0-7
/proc/14584/task/14591/stat : 14591 (java) S 14581 14584 14147 0 -1 1077944384 1 242973 0 0 0 0 65590 78 20 0 21 0 85381459 28385902592 602675 33554432000 4194304 4196468 140724544450848 140063970523792 140064551069397 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36528128 140724544459737 140724544460037 140724544460037 140724544462799 0
[pid=14584/tid=14592] ppid=14581 vsize=27720608 memory=7524 CPUtime=656.68 cores=0-7
/proc/14584/task/14592/stat : 14592 (java) S 14581 14584 14147 0 -1 1077944384 1 242973 0 0 0 0 65590 78 20 0 21 0 85381459 28385902592 602675 33554432000 4194304 4196468 140724544450848 140063969470992 140064551069397 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36528128 140724544459737 140724544460037 140724544460037 140724544462799 0
[pid=14584/tid=14593] ppid=14581 vsize=27720608 memory=840 CPUtime=656.68 cores=0-7
/proc/14584/task/14593/stat : 14593 (java) S 14581 14584 14147 0 -1 1077944384 1 242973 0 0 0 0 65590 78 20 0 21 0 85381459 28385902592 602675 33554432000 4194304 4196468 140724544450848 140063968418192 140064551069397 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36528128 140724544459737 140724544460037 140724544460037 140724544462799 0
[pid=14584/tid=14594] ppid=14581 vsize=27720608 memory=1800 CPUtime=656.68 cores=0-7
/proc/14584/task/14594/stat : 14594 (java) S 14581 14584 14147 0 -1 1077944384 2 242973 0 0 0 0 65590 78 20 0 21 0 85381459 28385902592 602675 33554432000 4194304 4196468 140724544450848 140063967365392 140064551069397 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36528128 140724544459737 140724544460037 140724544460037 140724544462799 0
[pid=14584/tid=14595] ppid=14581 vsize=27720608 memory=920 CPUtime=656.68 cores=0-7
/proc/14584/task/14595/stat : 14595 (java) S 14581 14584 14147 0 -1 1077944384 8 242973 0 0 0 0 65590 78 20 0 21 0 85381460 28385902592 602675 33554432000 4194304 4196468 140724544450848 140062671027264 140064551070338 0 0 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36528128 140724544459737 140724544460037 140724544460037 140724544462799 0
[pid=14584/tid=14596] ppid=14581 vsize=27720608 memory=4136 CPUtime=656.68 cores=0-7
/proc/14584/task/14596/stat : 14596 (java) S 14581 14584 14147 0 -1 1077944384 13 242973 0 0 0 0 65590 78 20 0 21 0 85381461 28385902592 602675 33554432000 4194304 4196468 140724544450848 140062507394592 140064551069397 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36528128 140724544459737 140724544460037 140724544460037 140724544462799 0
[pid=14584/tid=14597] ppid=14581 vsize=27720608 memory=4104 CPUtime=656.68 cores=0-7
/proc/14584/task/14597/stat : 14597 (java) S 14581 14584 14147 0 -1 1077944384 1 242973 0 0 0 0 65590 78 20 0 21 0 85381461 28385902592 602675 33554432000 4194304 4196468 140724544450848 140062238958960 140064551069397 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36528128 140724544459737 140724544460037 140724544460037 140724544462799 0
[pid=14584/tid=14598] ppid=14581 vsize=27720608 memory=1412 CPUtime=656.68 cores=0-7
/proc/14584/task/14598/stat : 14598 (java) S 14581 14584 14147 0 -1 1077944384 22 242973 0 0 0 0 65590 78 20 0 21 0 85381464 28385902592 602675 33554432000 4194304 4196468 140724544450848 140061864449152 140064551069397 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36528128 140724544459737 140724544460037 140724544460037 140724544462799 0
[pid=14584/tid=14599] ppid=14581 vsize=27720608 memory=3536 CPUtime=659.88 cores=0-7
/proc/14584/task/14599/stat : 14599 (java) S 14581 14584 14147 0 -1 1077944384 4770 242973 0 0 318 2 65590 78 20 0 21 0 85381464 28385902592 602675 33554432000 4194304 4196468 140724544450848 140062669958384 140064551069397 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36528128 140724544459737 140724544460037 140724544460037 140724544462799 0
[pid=14584/tid=14600] ppid=14581 vsize=27720608 memory=2408392 CPUtime=660.14 cores=0-7
/proc/14584/task/14600/stat : 14600 (java) S 14581 14584 14147 0 -1 1077944384 4222 242973 0 0 344 2 65590 78 20 0 21 0 85381464 28385902592 602675 33554432000 4194304 4196468 140724544450848 140062668912176 140064551069397 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36528128 140724544459737 140724544460037 140724544460037 140724544462799 0
[pid=14584/tid=14601] ppid=14581 vsize=27720608 memory=428940 CPUtime=660.54 cores=0-7
/proc/14584/task/14601/stat : 14601 (java) S 14581 14584 14147 0 -1 1077944384 2773 242973 0 0 385 1 65590 78 20 0 21 0 85381464 28385902592 602675 33554432000 4194304 4196468 140724544450848 140062667848752 140064551069397 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36528128 140724544459737 140724544460037 140724544460037 140724544462799 0
[pid=14584/tid=14602] ppid=14581 vsize=27720608 memory=-5155631280136154501 CPUtime=657.88 cores=0-7
/proc/14584/task/14602/stat : 14602 (java) S 14581 14584 14147 0 -1 1077944384 3773 242973 0 0 118 2 65590 78 20 0 21 0 85381464 28385902592 602675 33554432000 4194304 4196468 140724544450848 140062666815472 140064551070338 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36528128 140724544459737 140724544460037 140724544460037 140724544462799 0
[pid=14584/tid=14603] ppid=14581 vsize=27720608 memory=-7003737579269690708 CPUtime=656.68 cores=0-7
/proc/14584/task/14603/stat : 14603 (java) S 14581 14584 14147 0 -1 1077944384 3 242973 0 0 0 0 65590 78 20 0 21 0 85381464 28385902592 602675 33554432000 4194304 4196468 140724544450848 140061366545504 140064551069397 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36528128 140724544459737 140724544460037 140724544460037 140724544462799 0
[pid=14584/tid=14606] ppid=14581 vsize=27720608 memory=7450757417948440418 CPUtime=656.68 cores=0-7
/proc/14584/task/14606/stat : 14606 (java) S 14581 14584 14147 0 -1 1077944384 25 242973 0 0 0 0 65590 78 20 0 21 0 85382052 28385902592 602675 33554432000 4194304 4196468 140724544450848 140063916995344 140064551070338 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36528128 140724544459737 140724544460037 140724544460037 140724544462799 0
[pid=14584/tid=14610] ppid=14581 vsize=27720608 memory=6083350869009918053 CPUtime=656.68 cores=0-7
/proc/14584/task/14610/stat : 14610 (java) S 14581 14584 14147 0 -1 1077944384 11 242973 0 0 0 0 65590 78 20 0 21 0 85382054 28385902592 602675 33554432000 4194304 4196468 140724544450848 140060427019056 140064551070338 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36528128 140724544459737 140724544460037 140724544460037 140724544462799 0
Current children cumulated CPU time: 674.48 s
Current children cumulated vsize: 27720608 KiB
Current children cumulated memory: 2410700 KiB

Child status: 0
Real time (s): 88.427
CPU time (s): 674.523
CPU user time (s): 673.22
CPU system time (s): 1.30372
CPU usage (%): 762.802
Max. virtual memory (cumulated for all children) (KiB): 28686432
Max. memory (cumulated for all children) (KiB): 2837968

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 673.22
system time used= 1.30372
maximum resident set size= 2410724
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 278583
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1664
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 16339
involuntary context switches= 6822


# summary of solver processes directly reported to runsolver:
#   pid: 14584
#   total CPU time (s): 674.523
#   total CPU user time (s): 673.22
#   total CPU system time (s): 1.30372

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.829867 second user time and 1.11771 second system time

The end

Launcher Data 

Begin job on node138 at 2018-07-27 09:56:23
IDJOB=4297048
IDBENCH=141587
IDSOLVER=2758
FILE ID=node138/4297048-1532678183
RUNJOBID= node138-1532673122-14174
PBS_JOBID= 21022246
Free space on /tmp= 53800 MiB

SOLVER NAME= scop order+glucose-syrup (2018-07-07)
BENCH NAME= XCSP18/Frb/frb-45-21-1_c18.xml
COMMAND LINE= java -Xms22g -Xmx22g -Xss128m -jar DIR/scop.jar -order -solver DIR/glucose-syrup -solverOption -model:-nthreads=NBCORE:-maxmemory=10000 -tmp TMPDIR BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4297048-1532678183/watcher-4297048-1532678183 -o /tmp/evaluation-result-4297048-1532678183/solver-4297048-1532678183 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node138-1532673122-14174 --watchdog 2580  java -Xms22g -Xmx22g -Xss128m -jar HOME/scop.jar -order -solver HOME/glucose-syrup -solverOption -model:-nthreads=8:-maxmemory=10000 -tmp HOME HOME/instance-4297048-1532678183.xml

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

MD5SUM BENCH= b87938282b595c2beb3624311f73a470
RANDOM SEED=1651491769

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        17524756 kB
MemAvailable:   31922472 kB
Buffers:          212476 kB
Cached:         14327544 kB
SwapCached:           44 kB
Active:          2440852 kB
Inactive:       12159040 kB
Active(anon):       9888 kB
Inactive(anon):    77300 kB
Active(file):    2430964 kB
Inactive(file): 12081740 kB
Unevictable:        7280 kB
Mlocked:            7280 kB
SwapTotal:      67108860 kB
SwapFree:       67108796 kB
Dirty:              8748 kB
Writeback:             0 kB
AnonPages:         69932 kB
Mapped:            36224 kB
Shmem:             25164 kB
Slab:             341544 kB
SReclaimable:     313472 kB
SUnreclaim:        28072 kB
KernelStack:        3472 kB
PageTables:         5580 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     324280 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     16384 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      112000 kB
DirectMap2M:    33433600 kB

Free space on /tmp at the end= 53792 MiB
End job on node138 at 2018-07-27 09:57:51