Trace number 4307468

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
scop both+glucose-syrup (2018-07-31)SAT 221.514 31.9327

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.00/0.00	c (scop.sh) java -Xms22g -Xmx22g -Xss128m -cp scop.jar fun.scop.XCSP18Encode -both -solver glucose-syrup -solverOption -model:-nthreads=8:-maxmemory=20000 -tmp HOME -serialFile HOME/scop-27307-serial-file.bin HOME/instance-4307468-1534203277.xml
0.65/0.53	
0.65/0.53	scop both+glucose-syrup (2018-07-31)
0.65/0.53	(Encoding Process)
0.65/0.53	
0.65/0.56	c BEGIN-Prog: Tue Aug 14 01:34:37 CEST 2018
0.65/0.56	c PID: 27310
0.65/0.56	c IP: 172.20.3.151
0.65/0.56	c HOST: node151.alineos.net
0.65/0.57	c (0,0) Parsing Begin
2.54/1.17	c (0,0) Parsing End
2.54/1.17	c (0,0) CSP: 45 int (0 aux), 0 bool (0 aux), 476 ctr, max domain size 21
2.54/1.17	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 19 MiB used (max 0 MiB)
2.54/1.17	c (0,0) Constraint Name Generate Begin
2.54/1.18	c (0,0) Ctr:HOME/instance-4307468-1534203277.xml,ExtensionConflict:IntVar
2.54/1.18	c (0,0) Constraint Name Generate End
2.54/1.18	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 20 MiB used (max 0 MiB)
2.54/1.18	c (0,0) CSP to CSPinCNF Begin
5.55/1.91	c (1,1) translated 48 (10%) constraints
6.39/2.17	c (1,1) translated 96 (20%) constraints
7.57/2.40	c (1,1) translated 143 (30%) constraints
8.38/2.64	c (2,2) translated 191 (40%) constraints
9.18/2.84	c (2,2) translated 238 (50%) constraints
10.03/3.04	c (2,2) translated 286 (60%) constraints
10.81/3.22	c (2,2) translated 334 (70%) constraints
11.20/3.38	c (2,2) translated 381 (80%) constraints
11.69/3.52	c (2,2) translated 429 (90%) constraints
11.90/3.66	c (3,3) translated 476 (100%) constraints
12.60/3.88	c (3,3) STATISTICS1:HOME/instance-4307468-1534203277.xml,ExtensionConflict:IntVar,45,40077,-1,21,4,1,,21:155986,4:35853;3:4126;2:98,1:155986,
12.60/3.88	c (3,3) ==========================================
12.60/3.88	c (3,3) Both Encoding selects:
12.60/3.88	c (3,3) Order
12.60/3.88	c (3,3) ==========================================
12.94/4.00	c (3,3) translated 4008 (10%) constraints
13.37/4.07	c (3,3) translated 8016 (20%) constraints
13.75/4.13	c (3,3) translated 12024 (30%) constraints
13.75/4.19	c (3,3) translated 16031 (40%) constraints
13.93/4.24	c (3,3) translated 20039 (50%) constraints
14.13/4.30	c (3,3) translated 24047 (60%) constraints
14.13/4.36	c (3,3) translated 28054 (70%) constraints
14.33/4.41	c (3,3) translated 32062 (80%) constraints
14.33/4.47	c (3,3) translated 36070 (90%) constraints
14.54/4.53	c (3,3) translated 40077 (100%) constraints
14.54/4.53	c (3,3) CSP to CSPinCNF End
14.54/4.53	c (3,3) CSP: 45 int (0 aux), 0 bool (0 aux), 40077 ctr, max domain size 21
14.54/4.53	c (3,3) Heap : 1802 MiB used (max 21589 MiB), NonHeap : 30 MiB used (max 0 MiB)
14.54/4.53	c (3,3) CSPinCNF Propagation Begin
15.52/4.83	c (4,4) 0 values, 4397 unsatisfiable literals, and 0 valid clauses are removed
15.52/4.83	c (4,4) CSPinCNF Propagation End
15.52/4.83	c (4,4) CSP: 45 int (0 aux), 0 bool (0 aux), 40077 ctr, max domain size 21
15.52/4.83	c (4,4) Heap : 1914 MiB used (max 21589 MiB), NonHeap : 31 MiB used (max 0 MiB)
15.52/4.83	c (4,4) Simplify CSPinCNF Begin
15.72/4.94	c (4,4) Simplify CSPinCNF End
15.72/4.94	c (4,4) CSP: 45 int (0 aux), 0 bool (0 aux), 40077 ctr, max domain size 21
15.72/4.94	c (4,4) Heap : 2027 MiB used (max 21589 MiB), NonHeap : 31 MiB used (max 0 MiB)
15.72/4.94	c (4,4) Calculate Precise Domain Begin
15.72/4.94	c (4,4) 0 values are removed by re-calculation
15.72/4.94	c (4,4) Calculate Precise Domain End
15.72/4.94	c (4,4) CSP: 45 int (0 aux), 0 bool (0 aux), 40077 ctr, max domain size 21
15.72/4.94	c (4,4) Heap : 2027 MiB used (max 21589 MiB), NonHeap : 31 MiB used (max 0 MiB)
15.72/4.94	c (4,4) CSPinCNF to SatSolver Begin
15.93/5.06	c (4,4) 4008 (10 %) CSP clauses are encoded (900 SAT variables, 4862 SAT clauses)
15.93/5.10	c (4,4) 8016 (20 %) CSP clauses are encoded (900 SAT variables, 8870 SAT clauses)
16.32/5.13	c (4,4) 12024 (30 %) CSP clauses are encoded (900 SAT variables, 12878 SAT clauses)
16.32/5.16	c (4,4) 16031 (40 %) CSP clauses are encoded (900 SAT variables, 16885 SAT clauses)
16.32/5.19	c (4,4) 20039 (50 %) CSP clauses are encoded (900 SAT variables, 20893 SAT clauses)
16.50/5.21	c (4,4) 24047 (60 %) CSP clauses are encoded (900 SAT variables, 24901 SAT clauses)
16.50/5.24	c (4,4) 28054 (70 %) CSP clauses are encoded (900 SAT variables, 28908 SAT clauses)
16.50/5.26	c (4,4) 32062 (80 %) CSP clauses are encoded (900 SAT variables, 32916 SAT clauses)
16.50/5.29	c (4,4) 36070 (90 %) CSP clauses are encoded (900 SAT variables, 36924 SAT clauses)
16.63/5.31	c (4,4) 40077 (100 %) CSP clauses are encoded (900 SAT variables, 40931 SAT clauses)
16.63/5.31	c (4,4) Launch Command will be: glucose-syrup -model -nthreads=8 -maxmemory=20000
16.63/5.31	c (4,4) CSPinCNF to SatSolver End
16.63/5.31	c (4,4) Heap : 2252 MiB used (max 21589 MiB), NonHeap : 29 MiB used (max 0 MiB)
16.94/5.49	c (4,4) STATISTICS2:HOME/instance-4307468-1534203277.xml,ExtensionConflict:IntVar,45,40077,-1,21,4,1,,21:151589,4:31795;3:7845;2:437,1:151589,
16.94/5.49	c (4,4) 900 bool, 40932 clause
16.94/5.49	c (4,4) Export Begin
17.06/5.57	c (5,5) Export to HOME/scop-27307-serial-file.bin
17.06/5.57	c (5,5) Export End
17.06/5.58	c (5,5) Export File Size: 0.01 MB
17.06/5.58	c (5,5) 0,0,3,4,4,4,4,STOP-AFTER(DIMACS)
17.06/5.58	c END-Prog: Tue Aug 14 01:34:42 CEST 2018
17.06/5.60	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp scop.jar fun.scop.XCSP18Solve HOME/scop-27307-serial-file.bin
17.76/6.09	c (0,0) Read Serial File Begin
17.76/6.09	c (0,0) HOME/scop-27307-serial-file.bin
18.02/6.26	c (0,0) Read Serial File End
18.02/6.26	
18.02/6.26	scop order+glucose-syrup (2018-07-31)
18.02/6.26	(Solving Process)
18.02/6.26	
18.02/6.29	c BEGIN-Prog: Tue Aug 14 01:34:43 CEST 2018
18.02/6.29	c PID: 27330
18.02/6.29	c IP: 172.20.3.151
18.02/6.29	c HOST: node151.alineos.net
18.02/6.30	c (0,0) SatSolver.solve Begin
18.02/6.30	c (0,0) 0 bool, 0 clause
18.02/6.30	c (0,0) glucose-syrup -model -nthreads=8 -maxmemory=20000 HOME/instance-4307468-1534203277.xml-scop-27310.cnf
93.38/15.81	c (9,0) c
93.38/15.81	c (9,0) c This is glucose-syrup 4.1 (glucose in many threads) --  based on MiniSAT (Many thanks to MiniSAT team)
93.38/15.81	c (9,0) c
93.38/15.81	c (9,0) c WARNING: for repeatability, setting FPU to use double precision
93.38/15.81	c (9,0) c 8 solvers engines and 1 companion as a blackboard created.
93.38/15.81	c (9,0) c ========================================[ Problem Statistics ]===========================================
93.38/15.81	c (9,0) c |                                                                                                       |
93.38/15.81	c (9,0) c |  Number of variables:           900                                                                   |
93.38/15.81	c (9,0) c |  Number of clauses:           40932                                                                   |
93.38/15.81	c (9,0) c |  Parse time:                   0.01 s                                                                 |
93.38/15.81	c (9,0) c |                                                                                                       |
93.38/15.81	c (9,0) c |  Simplification time:          0.05 s                                                                 |
93.38/15.81	c (9,0) c |                                                                                                       |
93.38/15.81	c (9,0) c |  Generating clones                                                                                    |
93.38/15.82	c (9,0) c |  all clones generated. Memory =  45.17Mb.                                                             |
93.38/15.82	c (9,0) c ========================================================================================================|
93.38/15.82	c (9,0) c
93.38/15.82	c (9,0) c |-------------------------------------------------------------------------------------------------------|
93.38/15.82	c (9,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
93.38/15.82	c (9,0) c |-------------------------------------------------------------------------------------------------------|
93.38/15.82	c (9,0) c |  0 |     40 |      92134 |      72353 |    32465 |    18794 |    11421 |    74322 |     1821 |  0.002 |
93.38/15.82	c (9,0) c |  1 |     26 |      86265 |      68256 |    31844 |    29721 |    11453 |    45692 |     1217 |  0.001 |
93.38/15.82	c (9,0) c |  2 |     58 |      95224 |      73814 |    34445 |    20248 |    12074 |    78367 |     1931 |  0.002 |
93.38/15.82	c (9,0) c |  3 |     57 |      91725 |      71407 |    32791 |    17843 |    11741 |    78740 |     2009 |  0.002 |
93.38/15.82	c (9,0) c |  4 |     67 |      96721 |      74823 |    34973 |    21262 |    11387 |    79225 |     2009 |  0.002 |
93.38/15.82	c (9,0) c |  5 |     52 |      84874 |      66693 |    32681 |    28156 |    10443 |    73175 |     1702 |  0.004 |
93.38/15.82	c (9,0) c |  6 |     52 |      94919 |      73447 |    35525 |    19889 |    11340 |    77417 |     2130 |  0.001 |
93.38/15.82	c (9,0) c |  7 |     48 |      91878 |      71687 |    35092 |    18129 |    12041 |    66624 |     1917 |  0.002 |
93.38/15.82	c (9,0) c 
93.38/15.82	c (9,0) c synthesis      572482 conflicts    71978209 propagations    16334 conflicts/sec  2053665 propagations/sec
93.38/15.82	c (9,0) c Total Memory so far : 625.99Mb
93.38/15.82	c (9,0) c
93.38/15.82	c (9,0) c Try to adapt solver strategies
93.38/15.82	c (9,0) c 
93.38/15.82	c (9,0) c Nothing extreme in this problem, continue with glucose default strategies.
93.38/15.82	c (9,0) c
93.38/15.82	c (9,0) c
93.38/15.82	c (9,0) c Try to adapt solver strategies
93.38/15.82	c (9,0) c 
93.38/15.82	c (9,0) c Nothing extreme in this problem, continue with glucose default strategies.
93.38/15.82	c (9,0) c
93.38/15.82	c (9,0) c
93.38/15.82	c (9,0) c Try to adapt solver strategies
93.38/15.82	c (9,0) c 
93.38/15.82	c (9,0) c Nothing extreme in this problem, continue with glucose default strategies.
93.38/15.82	c (9,0) c
93.38/15.82	c (9,0) c
93.38/15.82	c (9,0) c Try to adapt solver strategies
93.38/15.82	c (9,0) c 
93.38/15.82	c (9,0) c Nothing extreme in this problem, continue with glucose default strategies.
93.38/15.82	c (9,0) c
93.38/15.82	c (9,0) c
93.38/15.82	c (9,0) c |-------------------------------------------------------------------------------------------------------|
93.38/15.82	c (9,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
93.38/15.82	c (9,0) c |-------------------------------------------------------------------------------------------------------|
93.38/15.82	c (9,0) c |  0 |    101 |     166856 |     132146 |    35095 |    40767 |    19212 |   129363 |     3495 |  0.001 |
93.38/15.82	c (9,0) c |  1 |     35 |     158688 |     126963 |    34361 |    35584 |    18743 |   117755 |     3331 |  0.004 |
93.38/15.82	c (9,0) c |  2 |    107 |     169983 |     133816 |    36393 |    42433 |    19220 |   129355 |     4396 |  0.000 |
93.38/15.82	c (9,0) c |  3 |    183 |     166794 |     130403 |    36036 |    39024 |    17554 |   131021 |     4313 |  0.001 |
93.38/15.82	c (9,0) c |  4 |     84 |     179330 |     141135 |    37073 |    26961 |    19690 |   113776 |     4195 |  0.002 |
189.10/27.81	c (21,0) c |  5 |     52 |     160390 |     128772 |    35023 |    37384 |    17947 |    73175 |     3667 |  0.004 |
189.10/27.81	c (21,0) c |  6 |    116 |     167468 |     130647 |    37336 |    39269 |    17570 |   131005 |     4577 |  0.002 |
189.10/27.81	c (21,0) c |  7 |     62 |     166022 |     132295 |    36409 |    40914 |    18639 |   129404 |     3794 |  0.003 |
189.10/27.81	c (21,0) c 
189.10/27.81	c (21,0) c synthesis     1056177 conflicts   133704994 propagations    14112 conflicts/sec  1786428 propagations/sec
189.10/27.81	c (21,0) c Total Memory so far : 632.50Mb
189.10/27.81	c (21,0) c
189.10/27.81	c (21,0) c |-------------------------------------------------------------------------------------------------------|
189.10/27.81	c (21,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
189.10/27.81	c (21,0) c |-------------------------------------------------------------------------------------------------------|
189.10/27.82	c (21,0) c |  0 |    145 |     221724 |     175480 |    36667 |    35891 |    24899 |   155827 |     5457 |  0.003 |
189.10/27.82	c (21,0) c |  1 |     42 |     209934 |     169169 |    35608 |    29587 |    23598 |   159152 |     4889 |  0.001 |
189.10/27.82	c (21,0) c |  2 |    174 |     223733 |     175729 |    37679 |    36140 |    22935 |   160042 |     6719 |  0.002 |
189.10/27.82	c (21,0) c |  3 |    218 |     206676 |     163064 |    36324 |    48874 |    21520 |   161368 |     5270 |  0.005 |
189.10/27.82	c (21,0) c |  4 |     93 |     233243 |     185075 |    37689 |    45495 |    23258 |   144371 |     5749 |  0.002 |
189.10/27.82	c (21,0) c |  5 |     60 |     204517 |     165466 |    35368 |    25877 |    21443 |   160297 |     5284 |  0.004 |
189.10/27.82	c (21,0) c |  6 |    132 |     219561 |     172742 |    37706 |    33158 |    22823 |   159689 |     6122 |  0.000 |
189.10/27.82	c (21,0) c |  7 |     63 |     207168 |     165760 |    36939 |    26175 |    22519 |   147738 |     4918 |  0.003 |
189.10/27.82	c (21,0) c 
189.10/27.82	c (21,0) c synthesis     1372485 conflicts   174067436 propagations    12867 conflicts/sec  1631929 propagations/sec
189.10/27.82	c (21,0) c Total Memory so far : 637.69Mb
189.10/27.82	c (21,0) c
189.10/27.82	c (21,0) c |-------------------------------------------------------------------------------------------------------|
189.10/27.82	c (21,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
189.10/27.82	c (21,0) c |-------------------------------------------------------------------------------------------------------|
189.10/27.82	c (21,0) c |  0 |    147 |     275649 |     220078 |    37395 |    52489 |    31030 |   184044 |     7348 |  0.001 |
189.10/27.82	c (21,0) c |  1 |     47 |     260439 |     210928 |    36480 |    43345 |    27200 |   176254 |     6542 |  0.001 |
189.10/27.82	c (21,0) c |  2 |    199 |     274527 |     216663 |    38247 |    49079 |    27429 |   189352 |     8531 |  0.002 |
189.10/27.82	c (21,0) c |  3 |    231 |     236966 |     188335 |    36422 |    48746 |    24353 |   180970 |     5863 |  0.001 |
189.10/27.82	c (21,0) c |  4 |    106 |     281047 |     223985 |    37984 |    56404 |    27287 |   189758 |     7237 |  0.001 |
189.10/27.82	c (21,0) c |  5 |     88 |     255281 |     207278 |    36116 |    39690 |    25852 |   191398 |     6994 |  0.002 |
189.10/27.82	c (21,0) c |  6 |    168 |     268164 |     211564 |    37957 |    43982 |    26895 |   189777 |     7380 |  0.001 |
189.10/27.82	c (21,0) c |  7 |     64 |     256234 |     205681 |    37432 |    38103 |    27329 |   163558 |     6268 |  0.003 |
189.10/27.82	c (21,0) c 
189.10/27.82	c (21,0) c synthesis     1684512 conflicts   213585102 propagations    12160 conflicts/sec  1541802 propagations/sec
189.10/27.82	c (21,0) c Total Memory so far : 641.91Mb
189.10/27.82	c (21,0) c
189.10/27.82	c (21,0) c |-------------------------------------------------------------------------------------------------------|
189.10/27.82	c (21,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
189.10/27.82	c (21,0) c |-------------------------------------------------------------------------------------------------------|
189.10/27.82	c (21,0) c |  0 |    151 |     325463 |     260984 |    38008 |    62796 |    35217 |   213702 |     8991 |  0.001 |
189.10/27.82	c (21,0) c |  1 |     87 |     308686 |     250478 |    37247 |    52295 |    31143 |   217552 |     8300 |  0.006 |
189.10/27.82	c (21,0) c |  2 |    233 |     322144 |     254845 |    38527 |    56662 |    31749 |   209362 |    10458 |  0.002 |
189.10/27.82	c (21,0) c |  3 |    249 |     280353 |     223470 |    36787 |    55883 |    28435 |   220511 |     7578 |  0.001 |
189.10/27.82	c (21,0) c |  4 |    139 |     329575 |     262870 |    38297 |    64687 |    30355 |   218982 |     9170 |  0.003 |
221.00/31.84	c (25,0) c |  5 |    152 |     308579 |     248997 |    37743 |    50815 |    29574 |   219315 |     9364 |  0.002 |
221.00/31.84	c (25,0) c |  6 |    183 |     315338 |     250069 |    38303 |    51892 |    31323 |   215940 |     8666 |  0.005 |
221.00/31.84	c (25,0) c |  7 |     71 |     304434 |     244992 |    37836 |    46811 |    31608 |   213437 |     7848 |  0.006 |
221.00/31.84	c (25,0) c 
221.00/31.84	c (25,0) c synthesis     1996706 conflicts   252382090 propagations    11719 conflicts/sec  1481329 propagations/sec
221.00/31.84	c (25,0) c Total Memory so far : 646.73Mb
221.00/31.84	c (25,0) c
221.00/31.84	c (25,0) c |-------------------------------------------------------------------------------------------------------|
221.00/31.84	c (25,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
221.00/31.84	c (25,0) c |-------------------------------------------------------------------------------------------------------|
221.00/31.84	c (25,0) c |  0 |    158 |     371167 |     297733 |    38399 |    66346 |    38485 |   236141 |    10842 |  0.001 |
221.00/31.84	c (25,0) c |  1 |    118 |     355833 |     288196 |    37978 |    56807 |    34996 |   245067 |    10897 |  0.004 |
221.00/31.84	c (25,0) c |  2 |    235 |     369499 |     293145 |    38728 |    61767 |    36931 |   231972 |    12142 |  0.004 |
221.00/31.84	c (25,0) c |  3 |    255 |     324691 |     259502 |    37079 |    61319 |    33158 |   233471 |     9126 |  0.001 |
221.00/31.84	c (25,0) c |  4 |    159 |     375796 |     300440 |    38638 |    69058 |    34461 |   244598 |    11276 |  0.002 |
221.00/31.84	c (25,0) c |  5 |    213 |     357355 |     287777 |    38058 |    56398 |    32906 |   247307 |    11061 |  0.001 |
221.00/31.84	c (25,0) c |  6 |    193 |     356976 |     284429 |    38515 |    53052 |    35391 |   244303 |    10132 |  0.001 |
221.00/31.84	c (25,0) c |  7 |    110 |     349692 |     281699 |    38322 |    50317 |    34781 |   243026 |    10102 |  0.001 |
221.00/31.84	c (25,0) c 
221.00/31.84	c (25,0) c synthesis     2292922 conflicts   289442617 propagations    11337 conflicts/sec  1431095 propagations/sec
221.00/31.84	c (25,0) c Total Memory so far : 651.24Mb
221.00/31.84	c (25,0) c last restart ## conflicts  :  19158 18 
221.00/31.84	c (25,0) c Thread 3 is 100% pure glucose! First thread to finish! (SAT answer).
221.00/31.84	c (25,0) c Total Memory so far : 651.24Mb
221.00/31.84	c (25,0) c
221.00/31.84	c (25,0) c real time : 25.5184 s
221.00/31.84	c (25,0) c cpu time  : 202.473 s
221.00/31.84	c (25,0) c
221.00/31.84	c (25,0) c
221.00/31.84	c (25,0) c
221.00/31.84	c (25,0) c |---------------------------------------- FINAL STATS --------------------------------------------------|
221.00/31.84	c (25,0) c
221.00/31.84	c (25,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
221.00/31.84	c (25,0) c | Threads       |      Total      |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
221.00/31.84	c (25,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
221.00/31.84	c (25,0) c | Conflicts     |         2294741 |     297955 |     288412 |     293396 |     259667 |     300651 |     288077 |     284668 |     281915 |
221.00/31.84	c (25,0) c | Decisions     |         2863298 |     371448 |     356081 |     369811 |     324903 |     376053 |     357723 |     357306 |     349973 |
221.00/31.84	c (25,0) c | Propagations  |       289683587 |   37335613 |   36446817 |   36764653 |   32961801 |   37862935 |   37028077 |   35607241 |   35676450 |
221.00/31.84	c (25,0) c | Avg_Trail     |                 |        489 |        469 |        484 |        488 |        489 |        482 |        487 |        482 |
221.00/31.84	c (25,0) c | Avg_DL        |                 |         15 |         14 |         14 |         14 |         15 |         14 |         15 |         14 |
221.00/31.84	c (25,0) c | Avg_Res       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
221.00/31.84	c (25,0) c | Avg_Res_Seen  |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
221.00/31.84	c (25,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
221.00/31.84	c (25,0) c | Exported      |          281322 |      38507 |      35030 |      36967 |      33179 |      34485 |      32939 |      35417 |      34798 |
221.00/31.84	c (25,0) c | Imported      |         1925885 |     236141 |     245067 |     231972 |     233471 |     244598 |     247307 |     244303 |     243026 |
221.00/31.84	c (25,0) c | Good          |             237 |         30 |         28 |         28 |         27 |         33 |         30 |         32 |         29 |
221.00/31.84	c (25,0) c | Purge         |         1925648 |     236111 |     245039 |     231944 |     233444 |     244565 |     247277 |     244271 |     242997 |
221.00/31.84	c (25,0) c | Promoted      |           85661 |      10853 |      10905 |      12150 |       9135 |      11290 |      11075 |      10142 |      10111 |
221.00/31.84	c (25,0) c | Remove_Imp    |         1235209 |     147230 |     161286 |     142906 |     159232 |     152492 |     164585 |     160522 |     146956 |
221.00/31.84	c (25,0) c | Blocked_Reuse |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
221.00/31.84	c (25,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
221.00/31.84	c (25,0) c | Unaries       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
221.00/31.84	c (25,0) c | Binaries      |                 |          4 |          7 |          4 |          8 |          1 |          5 |          3 |          5 |
221.00/31.84	c (25,0) c | Glues         |                 |        365 |        397 |        392 |        354 |        398 |        387 |        376 |        397 |
221.00/31.84	c (25,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
221.00/31.84	c (25,0) c | Orig_Seen     |            93 % |      38403 |      37981 |      38731 |      37083 |      38640 |      38062 |      38517 |      38327 |
221.00/31.84	c (25,0) c | Diff Orig seen|                 |       1320 |        898 |       1648 |      X     |       1557 |        979 |       1434 |       1244 |
221.00/31.84	c (25,0) c | Hamming       |            29 % |        241 |        293 |        285 |      X     |        285 |        269 |        245 |        264 |
221.00/31.84	c (25,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
221.00/31.84	c (25,0) 
221.00/31.84	c (25,0) s SATISFIABLE
221.00/31.86	c (25,0) SatSolver.solve End
221.00/31.86	c (25,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
221.00/31.86	c (25,0) Show results Begin
221.44/31.91	s SATISFIABLE
221.44/31.92	v <instantiation>
221.44/31.92	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>
221.44/31.92	v     <values>5 5 1 12 18 4 9 19 2 8 6 9 8 9 6 1 1 1 13 12 18 18 7 7 4 11 7 8 7 9 3 13 15 7 17 6 20 5 13 19 7 7 20 8 2</values>
221.44/31.92	v </instantiation>
221.44/31.92	c (25,0) Show results End
221.44/31.92	c (25,0) Heap : 163 MiB used (max 3925 MiB), NonHeap : 17 MiB used (max 0 MiB)
221.44/31.92	c (25,0) 25,25,STOP-AFTER(ALL)
221.44/31.92	c END-Prog: Tue Aug 14 01:35:09 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 (11095 MiB free)
  memory of node 1: 16384 MiB (12355 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4307468-1534203277/watcher-4307468-1534203277 -o /tmp/evaluation-result-4307468-1534203277/solver-4307468-1534203277 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node151-1534197026-26259 --watchdog 2580 scop.sh 22g scop.jar -both glucose-syrup -model:-nthreads=8:-maxmemory=20000 HOME HOME/instance-4307468-1534203277.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=27307, runsolver pid=27304

[startup+0.103946 s]*
/proc/loadavg: 8.14 8.31 8.27 2/200 27329
/proc/meminfo: memFree=23917228/32770624 swapFree=67108196/67108860
[pid=27307] ppid=27304 vsize=113128 memory=1392 CPUtime=0 cores=0-7
/proc/27307/stat : 27307 (scop.sh) S 27304 27307 26232 0 -1 4202496 559 321 0 0 0 0 0 0 20 0 1 0 237890857 115843072 348 33554432000 4194304 5098028 140723701808576 140723701805832 140422446723708 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 33751040 140723701810211 140723701810435 140723701810435 140723701813197 0
/proc/27307/statm: 28282 348 296 221 0 87 0
[pid=27310] ppid=27307 vsize=27313900 memory=109464 CPUtime=0.11 cores=0-7
/proc/27310/stat : 27310 (java) S 27307 27307 26232 0 -1 1077944320 6828 0 0 0 9 2 0 0 20 0 20 0 237890857 27969433600 27366 33554432000 4194304 4196468 140725437365552 140725437348096 139919630978807 0 0 2 16800973 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 19537920 140725437367273 140725437367597 140725437367597 140725437370319 0
/proc/27310/statm: 6828475 27366 2740 1 0 6790935 0
[pid=27310/tid=27311] ppid=27307 vsize=27313900 memory=7898077279151888792 CPUtime=0.09 cores=0-7
/proc/27310/task/27311/stat : 27311 (java) R 27307 27307 26232 0 -1 4202560 4948 0 0 0 7 2 0 0 20 0 20 0 237890858 27969433600 27366 33554432000 4194304 4196468 140725437365552 139919602774688 139919615059294 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 19537920 140725437367273 140725437367597 140725437367597 140725437370319 0
[pid=27310/tid=27312] ppid=27307 vsize=27313900 memory=732370460018346981 CPUtime=0 cores=0-7
/proc/27310/task/27312/stat : 27312 (java) S 27307 27307 26232 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 237890860 27969433600 27366 33554432000 4194304 4196468 140725437365552 139919635220880 139919630989013 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19537920 140725437367273 140725437367597 140725437367597 140725437370319 0
[pid=27310/tid=27313] ppid=27307 vsize=27313900 memory=140321680893568 CPUtime=0 cores=0-7
/proc/27310/task/27313/stat : 27313 (java) S 27307 27307 26232 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 237890860 27969433600 27366 33554432000 4194304 4196468 140725437365552 139919449377040 139919630989013 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19537920 140725437367273 140725437367597 140725437367597 140725437370319 0
[pid=27310/tid=27314] ppid=27307 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/27310/task/27314/stat : 27314 (java) S 27307 27307 26232 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 237890860 27969433600 27366 33554432000 4194304 4196468 140725437365552 139919448324752 139919630989013 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19537920 140725437367273 140725437367597 140725437367597 140725437370319 0
[pid=27310/tid=27315] ppid=27307 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/27310/task/27315/stat : 27315 (java) S 27307 27307 26232 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 237890860 27969433600 27366 33554432000 4194304 4196468 140725437365552 139919447271952 139919630989013 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19537920 140725437367273 140725437367597 140725437367597 140725437370319 0
[pid=27310/tid=27316] ppid=27307 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/27310/task/27316/stat : 27316 (java) S 27307 27307 26232 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 237890860 27969433600 27366 33554432000 4194304 4196468 140725437365552 139919446219664 139919630989013 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19537920 140725437367273 140725437367597 140725437367597 140725437370319 0
[pid=27310/tid=27317] ppid=27307 vsize=27313900 memory=-1 CPUtime=0 cores=0-7
/proc/27310/task/27317/stat : 27317 (java) S 27307 27307 26232 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 237890860 27969433600 27366 33554432000 4194304 4196468 140725437365552 139919445166864 139919630989013 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19537920 140725437367273 140725437367597 140725437367597 140725437370319 0
[pid=27310/tid=27318] ppid=27307 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/27310/task/27318/stat : 27318 (java) S 27307 27307 26232 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 237890860 27969433600 27366 33554432000 4194304 4196468 140725437365552 139919444114576 139919630989013 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19537920 140725437367273 140725437367597 140725437367597 140725437370319 0
[pid=27310/tid=27319] ppid=27307 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/27310/task/27319/stat : 27319 (java) S 27307 27307 26232 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 237890860 27969433600 27366 33554432000 4194304 4196468 140725437365552 139919443061776 139919630989013 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19537920 140725437367273 140725437367597 140725437367597 140725437370319 0
[pid=27310/tid=27320] ppid=27307 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/27310/task/27320/stat : 27320 (java) S 27307 27307 26232 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 237890862 27969433600 27366 33554432000 4194304 4196468 140725437365552 139918554671216 139919630989954 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19537920 140725437367273 140725437367597 140725437367597 140725437370319 0
[pid=27310/tid=27321] ppid=27307 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/27310/task/27321/stat : 27321 (java) S 27307 27307 26232 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 237890862 27969433600 27366 33554432000 4194304 4196468 140725437365552 139917552247584 139919630989013 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19537920 140725437367273 140725437367597 140725437367597 140725437370319 0
[pid=27310/tid=27322] ppid=27307 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/27310/task/27322/stat : 27322 (java) S 27307 27307 26232 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 237890862 27969433600 27366 33554432000 4194304 4196468 140725437365552 139917283812464 139919630989013 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19537920 140725437367273 140725437367597 140725437367597 140725437370319 0
[pid=27310/tid=27323] ppid=27307 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/27310/task/27323/stat : 27323 (java) S 27307 27307 26232 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 237890865 27969433600 27366 33554432000 4194304 4196468 140725437365552 139916909303888 139919630997403 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19537920 140725437367273 140725437367597 140725437367597 140725437370319 0
[pid=27310/tid=27324] ppid=27307 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/27310/task/27324/stat : 27324 (java) S 27307 27307 26232 0 -1 1077944384 300 0 0 0 0 0 0 0 20 0 20 0 237890865 27969433600 27366 33554432000 4194304 4196468 140725437365552 139918553619056 139919630989954 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19537920 140725437367273 140725437367597 140725437367597 140725437370319 0
[pid=27310/tid=27325] ppid=27307 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/27310/task/27325/stat : 27325 (java) S 27307 27307 26232 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 237890865 27969433600 27366 33554432000 4194304 4196468 140725437365552 139918552566256 139919630989954 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19537920 140725437367273 140725437367597 140725437367597 140725437370319 0
[pid=27310/tid=27326] ppid=27307 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/27310/task/27326/stat : 27326 (java) S 27307 27307 26232 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 237890865 27969433600 27366 33554432000 4194304 4196468 140725437365552 139918551513968 139919630989954 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19537920 140725437367273 140725437367597 140725437367597 140725437370319 0
[pid=27310/tid=27327] ppid=27307 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/27310/task/27327/stat : 27327 (java) S 27307 27307 26232 0 -1 1077944384 239 0 0 0 0 0 0 0 20 0 20 0 237890865 27969433600 27366 33554432000 4194304 4196468 140725437365552 139918550461168 139919630989954 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19537920 140725437367273 140725437367597 140725437367597 140725437370319 0
[pid=27310/tid=27328] ppid=27307 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/27310/task/27328/stat : 27328 (java) S 27307 27307 26232 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 237890865 27969433600 27366 33554432000 4194304 4196468 140725437365552 139916411398496 139919630989013 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19537920 140725437367273 140725437367597 140725437367597 140725437370319 0
[pid=27310/tid=27329] ppid=27307 vsize=27313900 memory=-1 CPUtime=0 cores=0-7
/proc/27310/task/27329/stat : 27329 (java) S 27307 27307 26232 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 237890865 27969433600 27366 33554432000 4194304 4196468 140725437365552 139918549408048 139919630989954 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19537920 140725437367273 140725437367597 140725437367597 140725437370319 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 27427028 KiB
Current children cumulated memory: 110856 KiB

[startup+0.210981 s]*
/proc/loadavg: 8.14 8.31 8.27 2/200 27329
/proc/meminfo: memFree=23902300/32770624 swapFree=67108196/67108860
[pid=27307] ppid=27304 vsize=113128 memory=1392 CPUtime=0 cores=0-7
/proc/27307/stat : 27307 (scop.sh) S 27304 27307 26232 0 -1 4202496 559 321 0 0 0 0 0 0 20 0 1 0 237890857 115843072 348 33554432000 4194304 5098028 140723701808576 140723701805832 140422446723708 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 33751040 140723701810211 140723701810435 140723701810435 140723701813197 0
/proc/27307/statm: 28282 348 296 221 0 87 0
[pid=27310] ppid=27307 vsize=27313900 memory=123532 CPUtime=0.24 cores=0-7
/proc/27310/stat : 27310 (java) S 27307 27307 26232 0 -1 1077944320 10590 0 0 0 21 3 0 0 20 0 20 0 237890857 27969433600 30883 33554432000 4194304 4196468 140725437365552 140725437348096 139919630978807 0 0 2 16800973 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 19537920 140725437367273 140725437367597 140725437367597 140725437370319 0
/proc/27310/statm: 6828475 30883 2869 1 0 6790935 0
[pid=27310/tid=27311] ppid=27307 vsize=27313900 memory=0 CPUtime=0.2 cores=0-7
/proc/27310/task/27311/stat : 27311 (java) R 27307 27307 26232 0 -1 4202560 8489 0 0 0 17 3 0 0 20 0 20 0 237890858 27969433600 30883 33554432000 4194304 4196468 140725437365552 139919602762368 139919631000733 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 19537920 140725437367273 140725437367597 140725437367597 140725437370319 0
[pid=27310/tid=27312] ppid=27307 vsize=27313900 memory=280643228509944 CPUtime=0 cores=0-7
/proc/27310/task/27312/stat : 27312 (java) S 27307 27307 26232 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 237890860 27969433600 30883 33554432000 4194304 4196468 140725437365552 139919635220880 139919630989013 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19537920 140725437367273 140725437367597 140725437367597 140725437370319 0
[pid=27310/tid=27313] ppid=27307 vsize=27313900 memory=140321680893568 CPUtime=0 cores=0-7
/proc/27310/task/27313/stat : 27313 (java) S 27307 27307 26232 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 237890860 27969433600 30883 33554432000 4194304 4196468 140725437365552 139919449377040 139919630989013 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19537920 140725437367273 140725437367597 140725437367597 140725437370319 0
[pid=27310/tid=27314] ppid=27307 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/27310/task/27314/stat : 27314 (java) S 27307 27307 26232 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 237890860 27969433600 30883 33554432000 4194304 4196468 140725437365552 139919448324752 139919630989013 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19537920 140725437367273 140725437367597 140725437367597 140725437370319 0
[pid=27310/tid=27315] ppid=27307 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/27310/task/27315/stat : 27315 (java) S 27307 27307 26232 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 237890860 27969433600 30883 33554432000 4194304 4196468 140725437365552 139919447271952 139919630989013 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19537920 140725437367273 140725437367597 140725437367597 140725437370319 0
[pid=27310/tid=27316] ppid=27307 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/27310/task/27316/stat : 27316 (java) S 27307 27307 26232 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 237890860 27969433600 30883 33554432000 4194304 4196468 140725437365552 139919446219664 139919630989013 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19537920 140725437367273 140725437367597 140725437367597 140725437370319 0
[pid=27310/tid=27317] ppid=27307 vsize=27313900 memory=-1 CPUtime=0 cores=0-7
/proc/27310/task/27317/stat : 27317 (java) S 27307 27307 26232 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 237890860 27969433600 30883 33554432000 4194304 4196468 140725437365552 139919445166864 139919630989013 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19537920 140725437367273 140725437367597 140725437367597 140725437370319 0
[pid=27310/tid=27318] ppid=27307 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/27310/task/27318/stat : 27318 (java) S 27307 27307 26232 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 237890860 27969433600 30883 33554432000 4194304 4196468 140725437365552 139919444114576 139919630989013 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19537920 140725437367273 140725437367597 140725437367597 140725437370319 0
[pid=27310/tid=27319] ppid=27307 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/27310/task/27319/stat : 27319 (java) S 27307 27307 26232 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 237890860 27969433600 30883 33554432000 4194304 4196468 140725437365552 139919443061776 139919630989013 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19537920 140725437367273 140725437367597 140725437367597 140725437370319 0
[pid=27310/tid=27320] ppid=27307 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/27310/task/27320/stat : 27320 (java) S 27307 27307 26232 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 237890862 27969433600 30883 33554432000 4194304 4196468 140725437365552 139918554671216 139919630989954 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19537920 140725437367273 140725437367597 140725437367597 140725437370319 0
[pid=27310/tid=27321] ppid=27307 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/27310/task/27321/stat : 27321 (java) S 27307 27307 26232 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 237890862 27969433600 30883 33554432000 4194304 4196468 140725437365552 139917552247584 139919630989013 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19537920 140725437367273 140725437367597 140725437367597 140725437370319 0
[pid=27310/tid=27322] ppid=27307 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/27310/task/27322/stat : 27322 (java) S 27307 27307 26232 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 237890862 27969433600 30883 33554432000 4194304 4196468 140725437365552 139917283812464 139919630989013 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19537920 140725437367273 140725437367597 140725437367597 140725437370319 0
[pid=27310/tid=27323] ppid=27307 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/27310/task/27323/stat : 27323 (java) S 27307 27307 26232 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 237890865 27969433600 30883 33554432000 4194304 4196468 140725437365552 139916909303888 139919630997403 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19537920 140725437367273 140725437367597 140725437367597 140725437370319 0
[pid=27310/tid=27324] ppid=27307 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/27310/task/27324/stat : 27324 (java) S 27307 27307 26232 0 -1 1077944384 426 0 0 0 0 0 0 0 20 0 20 0 237890865 27969433600 30883 33554432000 4194304 4196468 140725437365552 139918553619056 139919630989954 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19537920 140725437367273 140725437367597 140725437367597 140725437370319 0
[pid=27310/tid=27325] ppid=27307 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/27310/task/27325/stat : 27325 (java) S 27307 27307 26232 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 237890865 27969433600 30883 33554432000 4194304 4196468 140725437365552 139918552566256 139919630989954 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19537920 140725437367273 140725437367597 140725437367597 140725437370319 0
[pid=27310/tid=27326] ppid=27307 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/27310/task/27326/stat : 27326 (java) S 27307 27307 26232 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 20 0 237890865 27969433600 30883 33554432000 4194304 4196468 140725437365552 139918551513968 139919630989954 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19537920 140725437367273 140725437367597 140725437367597 140725437370319 0
[pid=27310/tid=27327] ppid=27307 vsize=27313900 memory=0 CPUtime=0.02 cores=0-7
/proc/27310/task/27327/stat : 27327 (java) S 27307 27307 26232 0 -1 1077944384 293 0 0 0 2 0 0 0 20 0 20 0 237890865 27969433600 30883 33554432000 4194304 4196468 140725437365552 139918550461168 139919630989954 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19537920 140725437367273 140725437367597 140725437367597 140725437370319 0
[pid=27310/tid=27328] ppid=27307 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/27310/task/27328/stat : 27328 (java) S 27307 27307 26232 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 237890865 27969433600 30883 33554432000 4194304 4196468 140725437365552 139916411398496 139919630989013 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19537920 140725437367273 140725437367597 140725437367597 140725437370319 0
[pid=27310/tid=27329] ppid=27307 vsize=27313900 memory=-1 CPUtime=0 cores=0-7
/proc/27310/task/27329/stat : 27329 (java) S 27307 27307 26232 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 237890865 27969433600 30883 33554432000 4194304 4196468 140725437365552 139918549408048 139919630989954 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19537920 140725437367273 140725437367597 140725437367597 140725437370319 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 27427028 KiB
Current children cumulated memory: 124924 KiB

[startup+0.310226 s]*
/proc/loadavg: 8.14 8.31 8.27 3/200 27329
/proc/meminfo: memFree=23899136/32770624 swapFree=67108196/67108860
[pid=27307] ppid=27304 vsize=113128 memory=1392 CPUtime=0 cores=0-7
/proc/27307/stat : 27307 (scop.sh) S 27304 27307 26232 0 -1 4202496 559 321 0 0 0 0 0 0 20 0 1 0 237890857 115843072 348 33554432000 4194304 5098028 140723701808576 140723701805832 140422446723708 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 33751040 140723701810211 140723701810435 140723701810435 140723701813197 0
/proc/27307/statm: 28282 348 296 221 0 87 0
[pid=27310] ppid=27307 vsize=27313900 memory=127052 CPUtime=0.42 cores=0-7
/proc/27310/stat : 27310 (java) S 27307 27307 26232 0 -1 1077944320 11138 0 0 0 38 4 0 0 20 0 20 0 237890857 27969433600 31763 33554432000 4194304 4196468 140725437365552 140725437348096 139919630978807 0 0 2 16800973 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 19537920 140725437367273 140725437367597 140725437367597 140725437370319 0
/proc/27310/statm: 6828475 31763 2911 1 0 6790935 0
[pid=27310/tid=27311] ppid=27307 vsize=27313900 memory=6791534058613427641 CPUtime=0.29 cores=0-7
/proc/27310/task/27311/stat : 27311 (java) R 27307 27307 26232 0 -1 4202560 8871 0 0 0 26 3 0 0 20 0 20 0 237890858 27969433600 31763 33554432000 4194304 4196468 140725437365552 139919602774256 139919616144407 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 19537920 140725437367273 140725437367597 140725437367597 140725437370319 0
[pid=27310/tid=27312] ppid=27307 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/27310/task/27312/stat : 27312 (java) S 27307 27307 26232 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 237890860 27969433600 31763 33554432000 4194304 4196468 140725437365552 139919635220880 139919630989013 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19537920 140725437367273 140725437367597 140725437367597 140725437370319 0
[pid=27310/tid=27313] ppid=27307 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/27310/task/27313/stat : 27313 (java) S 27307 27307 26232 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 237890860 27969433600 31763 33554432000 4194304 4196468 140725437365552 139919449377040 139919630989013 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19537920 140725437367273 140725437367597 140725437367597 140725437370319 0
[pid=27310/tid=27314] ppid=27307 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/27310/task/27314/stat : 27314 (java) S 27307 27307 26232 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 237890860 27969433600 31763 33554432000 4194304 4196468 140725437365552 139919448324752 139919630989013 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19537920 140725437367273 140725437367597 140725437367597 140725437370319 0
[pid=27310/tid=27315] ppid=27307 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/27310/task/27315/stat : 27315 (java) S 27307 27307 26232 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 237890860 27969433600 31763 33554432000 4194304 4196468 140725437365552 139919447271952 139919630989013 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19537920 140725437367273 140725437367597 140725437367597 140725437370319 0
[pid=27310/tid=27316] ppid=27307 vsize=27313900 memory=2244 CPUtime=0 cores=0-7
/proc/27310/task/27316/stat : 27316 (java) S 27307 27307 26232 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 237890860 27969433600 31763 33554432000 4194304 4196468 140725437365552 139919446219664 139919630989013 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19537920 140725437367273 140725437367597 140725437367597 140725437370319 0
[pid=27310/tid=27317] ppid=27307 vsize=27313900 memory=140321547711407 CPUtime=0 cores=0-7
/proc/27310/task/27317/stat : 27317 (java) S 27307 27307 26232 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 237890860 27969433600 31763 33554432000 4194304 4196468 140725437365552 139919445166864 139919630989013 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19537920 140725437367273 140725437367597 140725437367597 140725437370319 0
[pid=27310/tid=27318] ppid=27307 vsize=27313900 memory=140321547713712 CPUtime=0 cores=0-7
/proc/27310/task/27318/stat : 27318 (java) S 27307 27307 26232 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 237890860 27969433600 31763 33554432000 4194304 4196468 140725437365552 139919444114576 139919630989013 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19537920 140725437367273 140725437367597 140725437367597 140725437370319 0
[pid=27310/tid=27319] ppid=27307 vsize=27313900 memory=140321547716016 CPUtime=0 cores=0-7
/proc/27310/task/27319/stat : 27319 (java) S 27307 27307 26232 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 237890860 27969433600 31763 33554432000 4194304 4196468 140725437365552 139919443061776 139919630989013 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19537920 140725437367273 140725437367597 140725437367597 140725437370319 0
[pid=27310/tid=27320] ppid=27307 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/27310/task/27320/stat : 27320 (java) S 27307 27307 26232 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 237890862 27969433600 31763 33554432000 4194304 4196468 140725437365552 139918554671216 139919630989954 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19537920 140725437367273 140725437367597 140725437367597 140725437370319 0
[pid=27310/tid=27321] ppid=27307 vsize=27313900 memory=280643095438992 CPUtime=0 cores=0-7
/proc/27310/task/27321/stat : 27321 (java) S 27307 27307 26232 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 237890862 27969433600 31763 33554432000 4194304 4196468 140725437365552 139917552247584 139919630989013 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19537920 140725437367273 140725437367597 140725437367597 140725437370319 0
[pid=27310/tid=27322] ppid=27307 vsize=27313900 memory=280643095445904 CPUtime=0 cores=0-7
/proc/27310/task/27322/stat : 27322 (java) S 27307 27307 26232 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 237890862 27969433600 31763 33554432000 4194304 4196468 140725437365552 139917283812464 139919630989013 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19537920 140725437367273 140725437367597 140725437367597 140725437370319 0
[pid=27310/tid=27323] ppid=27307 vsize=27313900 memory=280643095387184 CPUtime=0 cores=0-7
/proc/27310/task/27323/stat : 27323 (java) S 27307 27307 26232 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 237890865 27969433600 31763 33554432000 4194304 4196468 140725437365552 139916909303888 139919630997403 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19537920 140725437367273 140725437367597 140725437367597 140725437370319 0
[pid=27310/tid=27324] ppid=27307 vsize=27313900 memory=280643095459728 CPUtime=0.01 cores=0-7
/proc/27310/task/27324/stat : 27324 (java) S 27307 27307 26232 0 -1 1077944384 448 0 0 0 1 0 0 0 20 0 20 0 237890865 27969433600 31763 33554432000 4194304 4196468 140725437365552 139918553619056 139919630989954 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19537920 140725437367273 140725437367597 140725437367597 140725437370319 0
[pid=27310/tid=27325] ppid=27307 vsize=27313900 memory=280643095466640 CPUtime=0.02 cores=0-7
/proc/27310/task/27325/stat : 27325 (java) S 27307 27307 26232 0 -1 1077944384 116 0 0 0 2 0 0 0 20 0 20 0 237890865 27969433600 31763 33554432000 4194304 4196468 140725437365552 139918552566256 139919630989954 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19537920 140725437367273 140725437367597 140725437367597 140725437370319 0
[pid=27310/tid=27326] ppid=27307 vsize=27313900 memory=280643095464336 CPUtime=0 cores=0-7
/proc/27310/task/27326/stat : 27326 (java) S 27307 27307 26232 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 20 0 237890865 27969433600 31763 33554432000 4194304 4196468 140725437365552 139918551513968 139919630989954 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19537920 140725437367273 140725437367597 140725437367597 140725437370319 0
[pid=27310/tid=27327] ppid=27307 vsize=27313900 memory=280643095480496 CPUtime=0.07 cores=0-7
/proc/27310/task/27327/stat : 27327 (java) S 27307 27307 26232 0 -1 1077944384 314 0 0 0 7 0 0 0 20 0 20 0 237890865 27969433600 31763 33554432000 4194304 4196468 140725437365552 139918550461168 139919630989954 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19537920 140725437367273 140725437367597 140725437367597 140725437370319 0
[pid=27310/tid=27328] ppid=27307 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/27310/task/27328/stat : 27328 (java) S 27307 27307 26232 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 237890865 27969433600 31763 33554432000 4194304 4196468 140725437365552 139916411398496 139919630989013 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19537920 140725437367273 140725437367597 140725437367597 140725437370319 0
[pid=27310/tid=27329] ppid=27307 vsize=27313900 memory=-1 CPUtime=0 cores=0-7
/proc/27310/task/27329/stat : 27329 (java) S 27307 27307 26232 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 237890865 27969433600 31763 33554432000 4194304 4196468 140725437365552 139918549408048 139919630989954 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19537920 140725437367273 140725437367597 140725437367597 140725437370319 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 27427028 KiB
Current children cumulated memory: 128444 KiB

[startup+0.700949 s]
/proc/loadavg: 8.14 8.31 8.27 2/200 27329
/proc/meminfo: memFree=23874580/32770624 swapFree=67108196/67108860
[pid=27307] ppid=27304 vsize=113128 memory=1392 CPUtime=0 cores=0-7
/proc/27307/stat : 27307 (scop.sh) S 27304 27307 26232 0 -1 4202496 559 321 0 0 0 0 0 0 20 0 1 0 237890857 115843072 348 33554432000 4194304 5098028 140723701808576 140723701805832 140422446723708 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 33751040 140723701810211 140723701810435 140723701810435 140723701813197 0
/proc/27307/statm: 28282 348 296 221 0 87 0
[pid=27310] ppid=27307 vsize=27320172 memory=164472 CPUtime=1.01 cores=0-7
/proc/27310/stat : 27310 (java) S 27307 27307 26232 0 -1 1077944320 18162 0 0 0 96 5 0 0 20 0 20 0 237890857 27975856128 41118 33554432000 4194304 4196468 140725437365552 140725437348096 139919630978807 0 0 2 25189581 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 19537920 140725437367273 140725437367597 140725437367597 140725437370319 0
/proc/27310/statm: 6830043 41118 3093 1 0 6791447 0
[pid=27310/tid=27311] ppid=27307 vsize=27320172 memory=280643095775360 CPUtime=0.67 cores=0-7
/proc/27310/task/27311/stat : 27311 (java) R 27307 27307 26232 0 -1 4202560 15358 0 0 0 63 4 0 0 20 0 20 0 237890858 27975856128 41118 33554432000 4194304 4196468 140725437365552 139919602814480 139919631000733 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 19537920 140725437367273 140725437367597 140725437367597 140725437370319 0
[pid=27310/tid=27312] ppid=27307 vsize=27320172 memory=844 CPUtime=0 cores=0-7
/proc/27310/task/27312/stat : 27312 (java) S 27307 27307 26232 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 237890860 27975856128 41118 33554432000 4194304 4196468 140725437365552 139919635220880 139919630989013 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19537920 140725437367273 140725437367597 140725437367597 140725437370319 0
[pid=27310/tid=27313] ppid=27307 vsize=27320172 memory=10072 CPUtime=0 cores=0-7
/proc/27310/task/27313/stat : 27313 (java) S 27307 27307 26232 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 237890860 27975856128 41118 33554432000 4194304 4196468 140725437365552 139919449377040 139919630989013 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19537920 140725437367273 140725437367597 140725437367597 140725437370319 0
[pid=27310/tid=27314] ppid=27307 vsize=27320172 memory=5012 CPUtime=0 cores=0-7
/proc/27310/task/27314/stat : 27314 (java) S 27307 27307 26232 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 237890860 27975856128 41118 33554432000 4194304 4196468 140725437365552 139919448324752 139919630989013 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19537920 140725437367273 140725437367597 140725437367597 140725437370319 0

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

/proc/27330/task/27342/stat : 27342 (java) S 27307 27307 26232 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 24 0 237891421 8615837696 29326 33554432000 4194304 4196468 140728098758560 139860375492208 139862207837909 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30461952 140728098759857 140728098759981 140728098759981 140728098762703 0
[pid=27330/tid=27343] ppid=27307 vsize=8413904 memory=1628 CPUtime=0 cores=0-7
/proc/27330/task/27343/stat : 27343 (java) S 27307 27307 26232 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 237891423 8615837696 29326 33554432000 4194304 4196468 140728098758560 139860000987728 139862207846299 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30461952 140728098759857 140728098759981 140728098759981 140728098762703 0
[pid=27330/tid=27344] ppid=27307 vsize=8413904 memory=1100 CPUtime=0.04 cores=0-7
/proc/27330/task/27344/stat : 27344 (java) S 27307 27307 26232 0 -1 1077944384 614 0 0 0 4 0 0 0 20 0 24 0 237891423 8615837696 29326 33554432000 4194304 4196468 140728098758560 139861434366064 139862207838850 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30461952 140728098759857 140728098759981 140728098759981 140728098762703 0
[pid=27330/tid=27345] ppid=27307 vsize=8413904 memory=15188 CPUtime=0.04 cores=0-7
/proc/27330/task/27345/stat : 27345 (java) S 27307 27307 26232 0 -1 1077944384 127 0 0 0 4 0 0 0 20 0 24 0 237891423 8615837696 29326 33554432000 4194304 4196468 140728098758560 139861433313264 139862207838850 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30461952 140728098759857 140728098759981 140728098759981 140728098762703 0
[pid=27330/tid=27346] ppid=27307 vsize=8413904 memory=36356 CPUtime=0.06 cores=0-7
/proc/27330/task/27346/stat : 27346 (java) S 27307 27307 26232 0 -1 1077944384 302 0 0 0 6 0 0 0 20 0 24 0 237891423 8615837696 29326 33554432000 4194304 4196468 140728098758560 139861432260976 139862207838850 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30461952 140728098759857 140728098759981 140728098759981 140728098762703 0
[pid=27330/tid=27347] ppid=27307 vsize=8413904 memory=4028 CPUtime=0.19 cores=0-7
/proc/27330/task/27347/stat : 27347 (java) S 27307 27307 26232 0 -1 1077944384 727 0 0 0 19 0 0 0 20 0 24 0 237891423 8615837696 29326 33554432000 4194304 4196468 140728098758560 139861431208176 139862207838850 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30461952 140728098759857 140728098759981 140728098759981 140728098762703 0
[pid=27330/tid=27348] ppid=27307 vsize=8413904 memory=15916 CPUtime=0 cores=0-7
/proc/27330/task/27348/stat : 27348 (java) S 27307 27307 26232 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 237891424 8615837696 29326 33554432000 4194304 4196468 140728098758560 139859503082336 139862207837909 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30461952 140728098759857 140728098759981 140728098759981 140728098762703 0
[pid=27330/tid=27349] ppid=27307 vsize=8413904 memory=504 CPUtime=0.01 cores=0-7
/proc/27330/task/27349/stat : 27349 (java) S 27307 27307 26232 0 -1 1077944384 3 0 0 0 0 1 0 0 20 0 24 0 237891424 8615837696 29326 33554432000 4194304 4196468 140728098758560 139861430156080 139862207838850 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30461952 140728098759857 140728098759981 140728098759981 140728098762703 0
[pid=27330/tid=27351] ppid=27307 vsize=8413904 memory=0 CPUtime=0 cores=0-7
/proc/27330/task/27351/stat : 27351 (java) S 27307 27307 26232 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 237891489 8615837696 29326 33554432000 4194304 4196468 140728098758560 139861422348096 139862207852313 0 4 2 25189581 18446744071579417331 0 0 -1 1 0 0 0 0 0 6293624 6294260 30461952 140728098759857 140728098759981 140728098759981 140728098762703 0
[pid=27330/tid=27353] ppid=27307 vsize=8413904 memory=17828 CPUtime=0.01 cores=0-7
/proc/27330/task/27353/stat : 27353 (java) S 27307 27307 26232 0 -1 4202560 8 0 0 0 1 0 0 0 20 0 24 0 237891490 8615837696 29326 33554432000 4194304 4196468 140728098758560 139858831981968 139862207849629 0 4 2 25189581 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 30461952 140728098759857 140728098759981 140728098759981 140728098762703 0
[pid=27330/tid=27354] ppid=27307 vsize=8413904 memory=1408 CPUtime=0 cores=0-7
/proc/27330/task/27354/stat : 27354 (java) S 27307 27307 26232 0 -1 4202560 20 0 0 0 0 0 0 0 20 0 24 0 237891490 8615837696 29326 33554432000 4194304 4196468 140728098758560 139859100417296 139862207849629 0 4 2 25189581 18446744071580971376 0 0 -1 1 0 0 0 0 0 6293624 6294260 30461952 140728098759857 140728098759981 140728098759981 140728098762703 0
[pid=27330/tid=27355] ppid=27307 vsize=8413904 memory=1468 CPUtime=0 cores=0-7
/proc/27330/task/27355/stat : 27355 (java) S 27307 27307 26232 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 24 0 237891492 8615837696 29326 33554432000 4194304 4196468 140728098758560 139858563554592 139862207837909 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30461952 140728098759857 140728098759981 140728098759981 140728098762703 0
Current children cumulated CPU time: 219.4 s
Current children cumulated vsize: 9193608 KiB
Current children cumulated memory: 387744 KiB

[startup+31.802 s]
/proc/loadavg: 8.30 8.33 8.28 9/212 27363
/proc/meminfo: memFree=23640936/32770624 swapFree=67108196/67108860
[pid=27307] ppid=27304 vsize=113128 memory=1468 CPUtime=17.23 cores=0-7
/proc/27307/stat : 27307 (scop.sh) S 27304 27307 26232 0 -1 4202496 589 34517 0 0 0 0 1675 48 20 0 1 0 237890857 115843072 367 33554432000 4194304 5098028 140723701808576 140723701805320 140422446723708 0 65536 4100 81923 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 33751040 140723701810211 140723701810435 140723701810435 140723701813197 0
/proc/27307/statm: 28282 367 311 221 0 87 0
[pid=27330] ppid=27307 vsize=8413904 memory=117304 CPUtime=1.14 cores=0-7
/proc/27330/stat : 27330 (java) S 27307 27307 26232 0 -1 1077944320 18207 0 0 0 108 6 0 0 20 0 24 0 237891417 8615837696 29326 33554432000 4194304 4196468 140728098758560 140728098741104 139862207827703 0 0 2 25189581 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 30461952 140728098759857 140728098759981 140728098759981 140728098762703 0
/proc/27330/statm: 2103476 29326 3150 1 0 2064875 0
[pid=27350] ppid=27330 vsize=666864 memory=269212 CPUtime=202.63 cores=0-7
/proc/27350/stat : 27350 (glucose-syrup) S 27330 27307 26232 0 -1 1077944320 152429 0 0 0 20216 47 0 0 20 0 9 0 237891489 682868736 67303 33554432000 4194304 4373367 140727180848080 140727180846624 140267932453506 0 4 0 8388610 18446744073709551615 0 0 17 0 0 0 0 0 0 6470912 6472264 38293504 140727180850256 140727180850388 140727180850388 140727180853191 0
/proc/27350/statm: 166716 67303 381 44 0 162404 0
[pid=27350/tid=27356] ppid=27330 vsize=666864 memory=7595647814405813666 CPUtime=25.39 cores=0-7
/proc/27350/task/27356/stat : 27356 (glucose-syrup) R 27330 27307 26232 0 -1 4202560 16814 0 0 0 2534 5 0 0 20 0 9 0 237891497 682868736 67303 33554432000 4194304 4373367 140727180848080 140267911072912 4271904 0 4 0 8388610 0 0 0 -1 5 0 0 0 0 0 6470912 6472264 38293504 140727180850256 140727180850388 140727180850388 140727180853191 0
[pid=27350/tid=27357] ppid=27330 vsize=666864 memory=-9001733975035308135 CPUtime=25.38 cores=0-7
/proc/27350/task/27357/stat : 27357 (glucose-syrup) R 27330 27307 26232 0 -1 4202560 18520 0 0 0 2534 4 0 0 20 0 9 0 237891497 682868736 67303 33554432000 4194304 4373367 140727180848080 140267902680432 4271925 0 4 0 8388610 0 0 0 -1 4 0 0 0 0 0 6470912 6472264 38293504 140727180850256 140727180850388 140727180850388 140727180853191 0
[pid=27350/tid=27358] ppid=27330 vsize=666864 memory=-9001734000804784231 CPUtime=25.05 cores=0-7
/proc/27350/task/27358/stat : 27358 (glucose-syrup) R 27330 27307 26232 0 -1 4202560 19878 0 0 0 2499 6 0 0 20 0 9 0 237891497 682868736 67303 33554432000 4194304 4373367 140727180848080 140267894287728 4271948 0 4 0 8388610 0 0 0 -1 7 0 0 0 0 0 6470912 6472264 38293504 140727180850256 140727180850388 140727180850388 140727180853191 0
[pid=27350/tid=27359] ppid=27330 vsize=666864 memory=-7522837415797432224 CPUtime=25.39 cores=0-7
/proc/27350/task/27359/stat : 27359 (glucose-syrup) R 27330 27307 26232 0 -1 4202560 18133 0 0 0 2535 4 0 0 20 0 9 0 237891497 682868736 67303 33554432000 4194304 4373367 140727180848080 140267885895024 4272272 0 4 0 8388610 0 0 0 -1 6 0 0 0 0 0 6470912 6472264 38293504 140727180850256 140727180850388 140727180850388 140727180853191 0
[pid=27350/tid=27360] ppid=27330 vsize=666864 memory=-9181546050914066336 CPUtime=25.39 cores=0-7
/proc/27350/task/27360/stat : 27360 (glucose-syrup) R 27330 27307 26232 0 -1 4202560 17544 0 0 0 2533 6 0 0 20 0 9 0 237891497 682868736 67303 33554432000 4194304 4373367 140727180848080 140267877502224 4271914 0 4 0 8388610 0 0 0 -1 2 0 0 0 0 0 6470912 6472264 38293504 140727180850256 140727180850388 140727180850388 140727180853191 0
[pid=27350/tid=27361] ppid=27330 vsize=666864 memory=6525858347538544147 CPUtime=25.13 cores=0-7
/proc/27350/task/27361/stat : 27361 (glucose-syrup) R 27330 27307 26232 0 -1 4202560 16536 0 0 0 2507 6 0 0 20 0 9 0 237891497 682868736 67303 33554432000 4194304 4373367 140727180848080 140267869109616 4290972 0 4 0 8388610 0 0 0 -1 1 0 0 0 0 0 6470912 6472264 38293504 140727180850256 140727180850388 140727180850388 140727180853191 0
[pid=27350/tid=27362] ppid=27330 vsize=666864 memory=3054156605301691547 CPUtime=25.38 cores=0-7
/proc/27350/task/27362/stat : 27362 (glucose-syrup) R 27330 27307 26232 0 -1 4202560 18655 0 0 0 2533 5 0 0 20 0 9 0 237891497 682868736 67303 33554432000 4194304 4373367 140727180848080 140267860716912 4271977 0 4 0 8388610 0 0 0 -1 0 0 0 0 0 0 6470912 6472264 38293504 140727180850256 140727180850388 140727180850388 140727180853191 0
[pid=27350/tid=27363] ppid=27330 vsize=666864 memory=0 CPUtime=25.39 cores=0-7
/proc/27350/task/27363/stat : 27363 (glucose-syrup) R 27330 27307 26232 0 -1 4202560 21039 0 0 0 2532 7 0 0 20 0 9 0 237891497 682868736 67303 33554432000 4194304 4373367 140727180848080 140267852324208 4271925 0 4 0 8388610 0 0 0 -1 3 0 0 0 0 0 6470912 6472264 38293504 140727180850256 140727180850388 140727180850388 140727180853191 0
[pid=27330/tid=27331] ppid=27307 vsize=8413904 memory=7649399397133006642 CPUtime=0.73 cores=0-7
/proc/27330/task/27331/stat : 27331 (java) S 27307 27307 26232 0 -1 1077944384 15016 0 0 0 69 4 0 0 20 0 24 0 237891418 8615837696 29326 33554432000 4194304 4196468 140728098758560 139862179667856 139862207837909 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30461952 140728098759857 140728098759981 140728098759981 140728098762703 0
[pid=27330/tid=27332] ppid=27307 vsize=8413904 memory=280643095232752 CPUtime=0 cores=0-7
/proc/27330/task/27332/stat : 27332 (java) S 27307 27307 26232 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 237891419 8615837696 29326 33554432000 4194304 4196468 140728098758560 139862212070288 139862207837909 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30461952 140728098759857 140728098759981 140728098759981 140728098762703 0
[pid=27330/tid=27333] ppid=27307 vsize=8413904 memory=10072 CPUtime=0 cores=0-7
/proc/27330/task/27333/stat : 27333 (java) S 27307 27307 26232 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 237891419 8615837696 29326 33554432000 4194304 4196468 140728098758560 139862012238608 139862207837909 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30461952 140728098759857 140728098759981 140728098759981 140728098762703 0
[pid=27330/tid=27334] ppid=27307 vsize=8413904 memory=5012 CPUtime=0 cores=0-7
/proc/27330/task/27334/stat : 27334 (java) S 27307 27307 26232 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 237891419 8615837696 29326 33554432000 4194304 4196468 140728098758560 139862011186320 139862207837909 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30461952 140728098759857 140728098759981 140728098759981 140728098762703 0
[pid=27330/tid=27335] ppid=27307 vsize=8413904 memory=752 CPUtime=0 cores=0-7
/proc/27330/task/27335/stat : 27335 (java) S 27307 27307 26232 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 237891419 8615837696 29326 33554432000 4194304 4196468 140728098758560 139862010133520 139862207837909 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30461952 140728098759857 140728098759981 140728098759981 140728098762703 0
[pid=27330/tid=27336] ppid=27307 vsize=8413904 memory=1124 CPUtime=0 cores=0-7
/proc/27330/task/27336/stat : 27336 (java) S 27307 27307 26232 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 237891419 8615837696 29326 33554432000 4194304 4196468 140728098758560 139862009080208 139862207837909 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30461952 140728098759857 140728098759981 140728098759981 140728098762703 0
[pid=27330/tid=27337] ppid=27307 vsize=8413904 memory=1824 CPUtime=0 cores=0-7
/proc/27330/task/27337/stat : 27337 (java) S 27307 27307 26232 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 237891419 8615837696 29326 33554432000 4194304 4196468 140728098758560 139862008027408 139862207837909 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30461952 140728098759857 140728098759981 140728098759981 140728098762703 0
[pid=27330/tid=27338] ppid=27307 vsize=8413904 memory=1356 CPUtime=0 cores=0-7
/proc/27330/task/27338/stat : 27338 (java) S 27307 27307 26232 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 237891419 8615837696 29326 33554432000 4194304 4196468 140728098758560 139862006975120 139862207837909 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30461952 140728098759857 140728098759981 140728098759981 140728098762703 0
[pid=27330/tid=27339] ppid=27307 vsize=8413904 memory=7236533984234661184 CPUtime=0 cores=0-7
/proc/27330/task/27339/stat : 27339 (java) S 27307 27307 26232 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 237891419 8615837696 29326 33554432000 4194304 4196468 140728098758560 139862005922320 139862207837909 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30461952 140728098759857 140728098759981 140728098759981 140728098762703 0
[pid=27330/tid=27340] ppid=27307 vsize=8413904 memory=6371866057360303192 CPUtime=0 cores=0-7
/proc/27330/task/27340/stat : 27340 (java) S 27307 27307 26232 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 24 0 237891420 8615837696 29326 33554432000 4194304 4196468 140728098758560 139861435419248 139862207838850 0 0 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30461952 140728098759857 140728098759981 140728098759981 140728098762703 0
[pid=27330/tid=27341] ppid=27307 vsize=8413904 memory=0 CPUtime=0 cores=0-7
/proc/27330/task/27341/stat : 27341 (java) S 27307 27307 26232 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 237891421 8615837696 29326 33554432000 4194304 4196468 140728098758560 139860509713696 139862207837909 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30461952 140728098759857 140728098759981 140728098759981 140728098762703 0
[pid=27330/tid=27342] ppid=27307 vsize=8413904 memory=0 CPUtime=0 cores=0-7
/proc/27330/task/27342/stat : 27342 (java) S 27307 27307 26232 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 24 0 237891421 8615837696 29326 33554432000 4194304 4196468 140728098758560 139860375492208 139862207837909 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30461952 140728098759857 140728098759981 140728098759981 140728098762703 0
[pid=27330/tid=27343] ppid=27307 vsize=8413904 memory=2241 CPUtime=0 cores=0-7
/proc/27330/task/27343/stat : 27343 (java) S 27307 27307 26232 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 237891423 8615837696 29326 33554432000 4194304 4196468 140728098758560 139860000987728 139862207846299 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30461952 140728098759857 140728098759981 140728098759981 140728098762703 0
[pid=27330/tid=27344] ppid=27307 vsize=8413904 memory=0 CPUtime=0.04 cores=0-7
/proc/27330/task/27344/stat : 27344 (java) S 27307 27307 26232 0 -1 1077944384 614 0 0 0 4 0 0 0 20 0 24 0 237891423 8615837696 29326 33554432000 4194304 4196468 140728098758560 139861434366064 139862207838850 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30461952 140728098759857 140728098759981 140728098759981 140728098762703 0
[pid=27330/tid=27345] ppid=27307 vsize=8413904 memory=27108 CPUtime=0.04 cores=0-7
/proc/27330/task/27345/stat : 27345 (java) S 27307 27307 26232 0 -1 1077944384 127 0 0 0 4 0 0 0 20 0 24 0 237891423 8615837696 29326 33554432000 4194304 4196468 140728098758560 139861433313264 139862207838850 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30461952 140728098759857 140728098759981 140728098759981 140728098762703 0
[pid=27330/tid=27346] ppid=27307 vsize=8413904 memory=29380 CPUtime=0.06 cores=0-7
/proc/27330/task/27346/stat : 27346 (java) S 27307 27307 26232 0 -1 1077944384 302 0 0 0 6 0 0 0 20 0 24 0 237891423 8615837696 29326 33554432000 4194304 4196468 140728098758560 139861432260976 139862207838850 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30461952 140728098759857 140728098759981 140728098759981 140728098762703 0
[pid=27330/tid=27347] ppid=27307 vsize=8413904 memory=2244 CPUtime=0.19 cores=0-7
/proc/27330/task/27347/stat : 27347 (java) S 27307 27307 26232 0 -1 1077944384 727 0 0 0 19 0 0 0 20 0 24 0 237891423 8615837696 29326 33554432000 4194304 4196468 140728098758560 139861431208176 139862207838850 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30461952 140728098759857 140728098759981 140728098759981 140728098762703 0
[pid=27330/tid=27348] ppid=27307 vsize=8413904 memory=4121556528455077250 CPUtime=0 cores=0-7
/proc/27330/task/27348/stat : 27348 (java) S 27307 27307 26232 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 237891424 8615837696 29326 33554432000 4194304 4196468 140728098758560 139859503082336 139862207837909 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30461952 140728098759857 140728098759981 140728098759981 140728098762703 0
[pid=27330/tid=27349] ppid=27307 vsize=8413904 memory=7523107478184158290 CPUtime=0.01 cores=0-7
/proc/27330/task/27349/stat : 27349 (java) S 27307 27307 26232 0 -1 1077944384 3 0 0 0 0 1 0 0 20 0 24 0 237891424 8615837696 29326 33554432000 4194304 4196468 140728098758560 139861430156080 139862207838850 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30461952 140728098759857 140728098759981 140728098759981 140728098762703 0
[pid=27330/tid=27351] ppid=27307 vsize=8413904 memory=8098997605111001195 CPUtime=0 cores=0-7
/proc/27330/task/27351/stat : 27351 (java) S 27307 27307 26232 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 237891489 8615837696 29326 33554432000 4194304 4196468 140728098758560 139861422348096 139862207852313 0 4 2 25189581 18446744071579417331 0 0 -1 1 0 0 0 0 0 6293624 6294260 30461952 140728098759857 140728098759981 140728098759981 140728098762703 0
[pid=27330/tid=27353] ppid=27307 vsize=8413904 memory=-9181546050914066336 CPUtime=0.01 cores=0-7
/proc/27330/task/27353/stat : 27353 (java) S 27307 27307 26232 0 -1 4202560 8 0 0 0 1 0 0 0 20 0 24 0 237891490 8615837696 29326 33554432000 4194304 4196468 140728098758560 139858831981968 139862207849629 0 4 2 25189581 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 30461952 140728098759857 140728098759981 140728098759981 140728098762703 0
[pid=27330/tid=27354] ppid=27307 vsize=8413904 memory=4206468019030876256 CPUtime=0 cores=0-7
/proc/27330/task/27354/stat : 27354 (java) S 27307 27307 26232 0 -1 4202560 20 0 0 0 0 0 0 0 20 0 24 0 237891490 8615837696 29326 33554432000 4194304 4196468 140728098758560 139859100417296 139862207849629 0 4 2 25189581 18446744071580971376 0 0 -1 1 0 0 0 0 0 6293624 6294260 30461952 140728098759857 140728098759981 140728098759981 140728098762703 0
[pid=27330/tid=27355] ppid=27307 vsize=8413904 memory=7970693522688536744 CPUtime=0 cores=0-7
/proc/27330/task/27355/stat : 27355 (java) S 27307 27307 26232 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 24 0 237891492 8615837696 29326 33554432000 4194304 4196468 140728098758560 139858563554592 139862207837909 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30461952 140728098759857 140728098759981 140728098759981 140728098762703 0
Current children cumulated CPU time: 221 s
Current children cumulated vsize: 9193896 KiB
Current children cumulated memory: 387984 KiB

[startup+31.9069 s]
/proc/loadavg: 8.30 8.33 8.28 9/212 27363
/proc/meminfo: memFree=23640936/32770624 swapFree=67108196/67108860
[pid=27307] ppid=27304 vsize=113128 memory=1468 CPUtime=17.23 cores=0-7
/proc/27307/stat : 27307 (scop.sh) S 27304 27307 26232 0 -1 4202496 589 34517 0 0 0 0 1675 48 20 0 1 0 237890857 115843072 367 33554432000 4194304 5098028 140723701808576 140723701805320 140422446723708 0 65536 4100 81923 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 33751040 140723701810211 140723701810435 140723701810435 140723701813197 0
/proc/27307/statm: 28282 367 311 221 0 87 0
[pid=27330] ppid=27307 vsize=8282828 memory=118912 CPUtime=204.21 cores=0-7
/proc/27330/stat : 27330 (java) S 27307 27307 26232 0 -1 1077944320 18508 152518 0 0 118 7 20247 49 20 0 22 0 237891417 8481615872 29728 33554432000 4194304 4196468 140728098758560 140728098741104 139862207827703 0 0 2 25189581 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 30461952 140728098759857 140728098759981 140728098759981 140728098762703 0
/proc/27330/statm: 2070707 29728 3156 1 0 2032106 0
[pid=27330/tid=27331] ppid=27307 vsize=8282828 memory=64252 CPUtime=203.74 cores=0-7
/proc/27330/task/27331/stat : 27331 (java) R 27307 27307 26232 0 -1 4202560 15197 152518 0 0 74 4 20247 49 20 0 22 0 237891418 8481615872 29728 33554432000 4194304 4196468 140728098758560 139862179642704 139862194005313 0 4 2 25189581 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 30461952 140728098759857 140728098759981 140728098759981 140728098762703 0
[pid=27330/tid=27332] ppid=27307 vsize=8282828 memory=2056 CPUtime=202.96 cores=0-7
/proc/27330/task/27332/stat : 27332 (java) S 27307 27307 26232 0 -1 1077944384 2 152518 0 0 0 0 20247 49 20 0 22 0 237891419 8481615872 29728 33554432000 4194304 4196468 140728098758560 139862212070288 139862207837909 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30461952 140728098759857 140728098759981 140728098759981 140728098762703 0
[pid=27330/tid=27333] ppid=27307 vsize=8282828 memory=928 CPUtime=202.96 cores=0-7
/proc/27330/task/27333/stat : 27333 (java) S 27307 27307 26232 0 -1 1077944384 1 152518 0 0 0 0 20247 49 20 0 22 0 237891419 8481615872 29728 33554432000 4194304 4196468 140728098758560 139862012238608 139862207837909 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30461952 140728098759857 140728098759981 140728098759981 140728098762703 0
[pid=27330/tid=27334] ppid=27307 vsize=8282828 memory=1568 CPUtime=202.96 cores=0-7
/proc/27330/task/27334/stat : 27334 (java) S 27307 27307 26232 0 -1 1077944384 3 152518 0 0 0 0 20247 49 20 0 22 0 237891419 8481615872 29728 33554432000 4194304 4196468 140728098758560 139862011186320 139862207837909 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30461952 140728098759857 140728098759981 140728098759981 140728098762703 0
[pid=27330/tid=27335] ppid=27307 vsize=8282828 memory=-5155635699690859653 CPUtime=202.96 cores=0-7
/proc/27330/task/27335/stat : 27335 (java) S 27307 27307 26232 0 -1 1077944384 1 152518 0 0 0 0 20247 49 20 0 22 0 237891419 8481615872 29728 33554432000 4194304 4196468 140728098758560 139862010133520 139862207837909 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30461952 140728098759857 140728098759981 140728098759981 140728098762703 0
[pid=27330/tid=27336] ppid=27307 vsize=8282828 memory=4786085284013955170 CPUtime=202.96 cores=0-7
/proc/27330/task/27336/stat : 27336 (java) S 27307 27307 26232 0 -1 1077944384 1 152518 0 0 0 0 20247 49 20 0 22 0 237891419 8481615872 29728 33554432000 4194304 4196468 140728098758560 139862009080208 139862207837909 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30461952 140728098759857 140728098759981 140728098759981 140728098762703 0
[pid=27330/tid=27337] ppid=27307 vsize=8282828 memory=33 CPUtime=202.96 cores=0-7
/proc/27330/task/27337/stat : 27337 (java) S 27307 27307 26232 0 -1 1077944384 1 152518 0 0 0 0 20247 49 20 0 22 0 237891419 8481615872 29728 33554432000 4194304 4196468 140728098758560 139862008027408 139862207837909 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30461952 140728098759857 140728098759981 140728098759981 140728098762703 0
[pid=27330/tid=27338] ppid=27307 vsize=8282828 memory=56 CPUtime=202.96 cores=0-7
/proc/27330/task/27338/stat : 27338 (java) S 27307 27307 26232 0 -1 1077944384 1 152518 0 0 0 0 20247 49 20 0 22 0 237891419 8481615872 29728 33554432000 4194304 4196468 140728098758560 139862006975120 139862207837909 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30461952 140728098759857 140728098759981 140728098759981 140728098762703 0
[pid=27330/tid=27339] ppid=27307 vsize=8282828 memory=0 CPUtime=202.96 cores=0-7
/proc/27330/task/27339/stat : 27339 (java) S 27307 27307 26232 0 -1 1077944384 1 152518 0 0 0 0 20247 49 20 0 22 0 237891419 8481615872 29728 33554432000 4194304 4196468 140728098758560 139862005922320 139862207837909 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30461952 140728098759857 140728098759981 140728098759981 140728098762703 0
[pid=27330/tid=27340] ppid=27307 vsize=8282828 memory=0 CPUtime=202.96 cores=0-7
/proc/27330/task/27340/stat : 27340 (java) S 27307 27307 26232 0 -1 1077944384 7 152518 0 0 0 0 20247 49 20 0 22 0 237891420 8481615872 29728 33554432000 4194304 4196468 140728098758560 139861435419248 139862207838850 0 0 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30461952 140728098759857 140728098759981 140728098759981 140728098762703 0
[pid=27330/tid=27341] ppid=27307 vsize=8282828 memory=3472328296227420369 CPUtime=202.96 cores=0-7
/proc/27330/task/27341/stat : 27341 (java) S 27307 27307 26232 0 -1 1077944384 13 152518 0 0 0 0 20247 49 20 0 22 0 237891421 8481615872 29728 33554432000 4194304 4196468 140728098758560 139860509713696 139862207837909 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30461952 140728098759857 140728098759981 140728098759981 140728098762703 0
[pid=27330/tid=27342] ppid=27307 vsize=8282828 memory=280643095926928 CPUtime=202.96 cores=0-7
/proc/27330/task/27342/stat : 27342 (java) S 27307 27307 26232 0 -1 1077944384 21 152518 0 0 0 0 20247 49 20 0 22 0 237891421 8481615872 29728 33554432000 4194304 4196468 140728098758560 139860375492208 139862207837909 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30461952 140728098759857 140728098759981 140728098759981 140728098762703 0
[pid=27330/tid=27343] ppid=27307 vsize=8282828 memory=6656426216303648864 CPUtime=202.96 cores=0-7
/proc/27330/task/27343/stat : 27343 (java) S 27307 27307 26232 0 -1 1077944384 1 152518 0 0 0 0 20247 49 20 0 22 0 237891423 8481615872 29728 33554432000 4194304 4196468 140728098758560 139860000987728 139862207846299 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30461952 140728098759857 140728098759981 140728098759981 140728098762703 0
[pid=27330/tid=27344] ppid=27307 vsize=8282828 memory=3760 CPUtime=203.01 cores=0-7
/proc/27330/task/27344/stat : 27344 (java) S 27307 27307 26232 0 -1 1077944384 617 152518 0 0 5 0 20247 49 20 0 22 0 237891423 8481615872 29728 33554432000 4194304 4196468 140728098758560 139861434366064 139862207838850 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30461952 140728098759857 140728098759981 140728098759981 140728098762703 0
[pid=27330/tid=27345] ppid=27307 vsize=8282828 memory=64252 CPUtime=203 cores=0-7
/proc/27330/task/27345/stat : 27345 (java) S 27307 27307 26232 0 -1 1077944384 127 152518 0 0 4 0 20247 49 20 0 22 0 237891423 8481615872 29728 33554432000 4194304 4196468 140728098758560 139861433313264 139862207838850 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30461952 140728098759857 140728098759981 140728098759981 140728098762703 0
[pid=27330/tid=27346] ppid=27307 vsize=8282828 memory=1224 CPUtime=203.02 cores=0-7
/proc/27330/task/27346/stat : 27346 (java) S 27307 27307 26232 0 -1 1077944384 305 152518 0 0 6 0 20247 49 20 0 22 0 237891423 8481615872 29728 33554432000 4194304 4196468 140728098758560 139861432260976 139862207838850 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30461952 140728098759857 140728098759981 140728098759981 140728098762703 0
[pid=27330/tid=27347] ppid=27307 vsize=8282828 memory=280643095236304 CPUtime=203.18 cores=0-7
/proc/27330/task/27347/stat : 27347 (java) S 27307 27307 26232 0 -1 1077944384 797 152518 0 0 22 0 20247 49 20 0 22 0 237891423 8481615872 29728 33554432000 4194304 4196468 140728098758560 139861431208176 139862207838850 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30461952 140728098759857 140728098759981 140728098759981 140728098762703 0
[pid=27330/tid=27348] ppid=27307 vsize=8282828 memory=119555380742890 CPUtime=202.96 cores=0-7
/proc/27330/task/27348/stat : 27348 (java) S 27307 27307 26232 0 -1 1077944384 3 152518 0 0 0 0 20247 49 20 0 22 0 237891424 8481615872 29728 33554432000 4194304 4196468 140728098758560 139859503082336 139862207837909 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30461952 140728098759857 140728098759981 140728098759981 140728098762703 0
[pid=27330/tid=27349] ppid=27307 vsize=8282828 memory=119555380742634 CPUtime=202.97 cores=0-7
/proc/27330/task/27349/stat : 27349 (java) S 27307 27307 26232 0 -1 1077944384 3 152518 0 0 0 1 20247 49 20 0 22 0 237891424 8481615872 29728 33554432000 4194304 4196468 140728098758560 139861430156080 139862207838850 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30461952 140728098759857 140728098759981 140728098759981 140728098762703 0
[pid=27330/tid=27351] ppid=27307 vsize=8282828 memory=119555380742634 CPUtime=202.96 cores=0-7
/proc/27330/task/27351/stat : 27351 (java) S 27307 27307 26232 0 -1 1077944384 24 152518 0 0 0 0 20247 49 20 0 22 0 237891489 8481615872 29728 33554432000 4194304 4196468 140728098758560 139861422347280 139862207838850 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30461952 140728098759857 140728098759981 140728098759981 140728098762703 0
[pid=27330/tid=27355] ppid=27307 vsize=8282828 memory=288356820945483949 CPUtime=202.96 cores=0-7
/proc/27330/task/27355/stat : 27355 (java) S 27307 27307 26232 0 -1 1077944384 8 152518 0 0 0 0 20247 49 20 0 22 0 237891492 8481615872 29728 33554432000 4194304 4196468 140728098758560 139858563556400 139862207838850 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30461952 140728098759857 140728098759981 140728098759981 140728098762703 0
Current children cumulated CPU time: 221.44 s
Current children cumulated vsize: 8395956 KiB
Current children cumulated memory: 120380 KiB

Child status: 0
Real time (s): 31.9327
CPU time (s): 221.514
CPU user time (s): 220.448
CPU system time (s): 1.0654
CPU usage (%): 693.689
Max. virtual memory (cumulated for all children) (KiB): 27441636
Max. memory (cumulated for all children) (KiB): 2398248

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 220.448
system time used= 1.0654
maximum resident set size= 2404944
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 206231
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1728
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 16306
involuntary context switches= 2077


# summary of solver processes directly reported to runsolver:
#   pid: 27307
#   total CPU time (s): 221.514
#   total CPU user time (s): 220.448
#   total CPU system time (s): 1.0654

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.34302 second user time and 0.404301 second system time

The end

Launcher Data 

Begin job on node151 at 2018-08-14 01:34:37
IDJOB=4307468
IDBENCH=141587
IDSOLVER=2789
FILE ID=node151/4307468-1534203277
RUNJOBID= node151-1534197026-26259
PBS_JOBID= 21038001
Free space on /tmp= 41400 MiB

SOLVER NAME= scop both+glucose-syrup (2018-07-31)
BENCH NAME= XCSP18/Frb/frb-45-21-1_c18.xml
COMMAND LINE= scop.sh 22g scop.jar -both glucose-syrup -model:-nthreads=NBCORE:-maxmemory=20000 TMPDIR BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4307468-1534203277/watcher-4307468-1534203277 -o /tmp/evaluation-result-4307468-1534203277/solver-4307468-1534203277 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node151-1534197026-26259 --watchdog 2580  scop.sh 22g scop.jar -both glucose-syrup -model:-nthreads=8:-maxmemory=20000 HOME HOME/instance-4307468-1534203277.xml

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

MD5SUM BENCH= b87938282b595c2beb3624311f73a470
RANDOM SEED=626875995

node151.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.87
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.87
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.87
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.87
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:        24014304 kB
MemAvailable:   31900268 kB
Buffers:          129708 kB
Cached:          7968920 kB
SwapCached:           12 kB
Active:          4128672 kB
Inactive:        4024504 kB
Active(anon):       3840 kB
Inactive(anon):   102860 kB
Active(file):    4124832 kB
Inactive(file):  3921644 kB
Unevictable:        7812 kB
Mlocked:            7812 kB
SwapTotal:      67108860 kB
SwapFree:       67108196 kB
Dirty:              8972 kB
Writeback:             0 kB
AnonPages:        103080 kB
Mapped:            55248 kB
Shmem:             49524 kB
Slab:             295804 kB
SReclaimable:     267948 kB
SUnreclaim:        27856 kB
KernelStack:        3552 kB
PageTables:         5444 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     349224 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     49152 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      118144 kB
DirectMap2M:    33427456 kB

Free space on /tmp at the end= 41388 MiB
End job on node151 at 2018-08-14 01:35:09