Trace number 4248792

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
R1: Concrete 3.4SAT 13.2805 4.8079

General information on the benchmark

NameNonogram/Nonogram-regular-gp/
Nonogram-008-regular.xml
MD5SUMdd63ae4b0206daae1274a64f5a57f0ca
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 benchmark0.035025999
Satisfiable
(Un)Satisfiability was proved
Number of variables576
Number of constraints48
Number of domains1
Minimum domain size2
Maximum domain size2
Distribution of domain sizes[{"size":2,"count":576}]
Minimum variable degree2
Maximum variable degree2
Distribution of variable degrees[{"degree":2,"count":576}]
Minimum constraint arity24
Maximum constraint arity24
Distribution of constraint arities[{"arity":24,"count":48}]
Number of extensional constraints0
Number of intensional constraints0
Distribution of constraint types[{"type":"regular","count":48}]
Optimization problemNO
Type of objective

Solver Data 

3.69/2.19	c Concrete v3.4 running
12.93/4.78	v <instantiation>
12.93/4.78	v       <list>
12.93/4.78	v         x[0][0] x[0][1] x[0][2] x[0][3] x[0][4] x[0][5] x[0][6] x[0][7] x[0][8] x[0][9] x[0][10] x[0][11] x[0][12] x[0][13] x[0][14] x[0][15] x[0][16] x[0][17] x[0][18] x[0][19] x[0][20] x[0][21] x[0][22] x[0][23] x[1][0] x[1][1] x[1][2] x[1][3] x[1][4] x[1][5] x[1][6] x[1][7] x[1][8] x[1][9] x[1][10] x[1][11] x[1][12] x[1][13] x[1][14] x[1][15] x[1][16] x[1][17] x[1][18] x[1][19] x[1][20] x[1][21] x[1][22] x[1][23] x[2][0] x[2][1] x[2][2] x[2][3] x[2][4] x[2][5] x[2][6] x[2][7] x[2][8] x[2][9] x[2][10] x[2][11] x[2][12] x[2][13] x[2][14] x[2][15] x[2][16] x[2][17] x[2][18] x[2][19] x[2][20] x[2][21] x[2][22] x[2][23] x[3][0] x[3][1] x[3][2] x[3][3] x[3][4] x[3][5] x[3][6] x[3][7] x[3][8] x[3][9] x[3][10] x[3][11] x[3][12] x[3][13] x[3][14] x[3][15] x[3][16] x[3][17] x[3][18] x[3][19] x[3][20] x[3][21] x[3][22] x[3][23] x[4][0] x[4][1] x[4][2] x[4][3] x[4][4] x[4][5] x[4][6] x[4][7] x[4][8] x[4][9] x[4][10] x[4][11] x[4][12] x[4][13] x[4][14] x[4][15] x[4][16] x[4][17] x[4][18] x[4][19] x[4][20] x[4][21] x[4][22] x[4][23] x[5][0] x[5][1] x[5][2] x[5][3] x[5][4] x[5][5] x[5][6] x[5][7] x[5][8] x[5][9] x[5][10] x[5][11] x[5][12] x[5][13] x[5][14] x[5][15] x[5][16] x[5][17] x[5][18] x[5][19] x[5][20] x[5][21] x[5][22] x[5][23] x[6][0] x[6][1] x[6][2] x[6][3] x[6][4] x[6][5] x[6][6] x[6][7] x[6][8] x[6][9] x[6][10] x[6][11] x[6][12] x[6][13] x[6][14] x[6][15] x[6][16] x[6][17] x[6][18] x[6][19] x[6][20] x[6][21] x[6][22] x[6][23] x[7][0] x[7][1] x[7][2] x[7][3] x[7][4] x[7][5] x[7][6] x[7][7] x[7][8] x[7][9] x[7][10] x[7][11] x[7][12] x[7][13] x[7][14] x[7][15] x[7][16] x[7][17] x[7][18] x[7][19] x[7][20] x[7][21] x[7][22] x[7][23] x[8][0] x[8][1] x[8][2] x[8][3] x[8][4] x[8][5] x[8][6] x[8][7] x[8][8] x[8][9] x[8][10] x[8][11] x[8][12] x[8][13] x[8][14] x[8][15] x[8][16] x[8][17] x[8][18] x[8][19] x[8][20] x[8][21] x[8][22] x[8][23] x[9][0] x[9][1] x[9][2] x[9][3] x[9][4] x[9][5] x[9][6] x[9][7] x[9][8] x[9][9] x[9][10] x[9][11] x[9][12] x[9][13] x[9][14] x[9][15] x[9][16] x[9][17] x[9][18] x[9][19] x[9][20] x[9][21] x[9][22] x[9][23] x[10][0] x[10][1] x[10][2] x[10][3] x[10][4] x[10][5] x[10][6] x[10][7] x[10][8] x[10][9] x[10][10] x[10][11] x[10][12] x[10][13] x[10][14] x[10][15] x[10][16] x[10][17] x[10][18] x[10][19] x[10][20] x[10][21] x[10][22] x[10][23] x[11][0] x[11][1] x[11][2] x[11][3] x[11][4] x[11][5] x[11][6] x[11][7] x[11][8] x[11][9] x[11][10] x[11][11] x[11][12] x[11][13] x[11][14] x[11][15] x[11][16] x[11][17] x[11][18] x[11][19] x[11][20] x[11][21] x[11][22] x[11][23] x[12][0] x[12][1] x[12][2] x[12][3] x[12][4] x[12][5] x[12][6] x[12][7] x[12][8] x[12][9] x[12][10] x[12][11] x[12][12] x[12][13] x[12][14] x[12][15] x[12][16] x[12][17] x[12][18] x[12][19] x[12][20] x[12][21] x[12][22] x[12][23] x[13][0] x[13][1] x[13][2] x[13][3] x[13][4] x[13][5] x[13][6] x[13][7] x[13][8] x[13][9] x[13][10] x[13][11] x[13][12] x[13][13] x[13][14] x[13][15] x[13][16] x[13][17] x[13][18] x[13][19] x[13][20] x[13][21] x[13][22] x[13][23] x[14][0] x[14][1] x[14][2] x[14][3] x[14][4] x[14][5] x[14][6] x[14][7] x[14][8] x[14][9] x[14][10] x[14][11] x[14][12] x[14][13] x[14][14] x[14][15] x[14][16] x[14][17] x[14][18] x[14][19] x[14][20] x[14][21] x[14][22] x[14][23] x[15][0] x[15][1] x[15][2] x[15][3] x[15][4] x[15][5] x[15][6] x[15][7] x[15][8] x[15][9] x[15][10] x[15][11] x[15][12] x[15][13] x[15][14] x[15][15] x[15][16] x[15][17] x[15][18] x[15][19] x[15][20] x[15][21] x[15][22] x[15][23] x[16][0] x[16][1] x[16][2] x[16][3] x[16][4] x[16][5] x[16][6] x[16][7] x[16][8] x[16][9] x[16][10] x[16][11] x[16][12] x[16][13] x[16][14] x[16][15] x[16][16] x[16][17] x[16][18] x[16][19] x[16][20] x[16][21] x[16][22] x[16][23] x[17][0] x[17][1] x[17][2] x[17][3] x[17][4] x[17][5] x[17][6] x[17][7] x[17][8] x[17][9] x[17][10] x[17][11] x[17][12] x[17][13] x[17][14] x[17][15] x[17][16] x[17][17] x[17][18] x[17][19] x[17][20] x[17][21] x[17][22] x[17][23] x[18][0] x[18][1] x[18][2] x[18][3] x[18][4] x[18][5] x[18][6] x[18][7] x[18][8] x[18][9] x[18][10] x[18][11] x[18][12] x[18][13] x[18][14] x[18][15] x[18][16] x[18][17] x[18][18] x[18][19] x[18][20] x[18][21] x[18][22] x[18][23] x[19][0] x[19][1] x[19][2] x[19][3] x[19][4] x[19][5] x[19][6] x[19][7] x[19][8] x[19][9] x[19][10] x[19][11] x[19][12] x[19][13] x[19][14] x[19][15] x[19][16] x[19][17] x[19][18] x[19][19] x[19][20] x[19][21] x[19][22] x[19][23] x[20][0] x[20][1] x[20][2] x[20][3] x[20][4] x[20][5] x[20][6] x[20][7] x[20][8] x[20][9] x[20][10] x[20][11] x[20][12] x[20][13] x[20][14] x[20][15] x[20][16] x[20][17] x[20][18] x[20][19] x[20][20] x[20][21] x[20][22] x[20][23] x[21][0] x[21][1] x[21][2] x[21][3] x[21][4] x[21][5] x[21][6] x[21][7] x[21][8] x[21][9] x[21][10] x[21][11] x[21][12] x[21][13] x[21][14] x[21][15] x[21][16] x[21][17] x[21][18] x[21][19] x[21][20] x[21][21] x[21][22] x[21][23] x[22][0] x[22][1] x[22][2] x[22][3] x[22][4] x[22][5] x[22][6] x[22][7] x[22][8] x[22][9] x[22][10] x[22][11] x[22][12] x[22][13] x[22][14] x[22][15] x[22][16] x[22][17] x[22][18] x[22][19] x[22][20] x[22][21] x[22][22] x[22][23] x[23][0] x[23][1] x[23][2] x[23][3] x[23][4] x[23][5] x[23][6] x[23][7] x[23][8] x[23][9] x[23][10] x[23][11] x[23][12] x[23][13] x[23][14] x[23][15] x[23][16] x[23][17] x[23][18] x[23][19] x[23][20] x[23][21] x[23][22] x[23][23]
12.93/4.78	v       </list>
12.93/4.78	v       <values>
12.93/4.78	v         0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 1 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 1 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 1 1 0 0 0 0 0 0 1 1 1 0 0 0 0 0 1 1 0 0 0 0 0 1 0 1 1 0 0 0 0 0 0 0 1 1 0 0 0 1 1 1 0 0 0 0 1 0 1 1 0 1 0 1 0 0 0 0 1 1 1 0 0 1 0 1 1 1 0 1 0 1 0 1 1 0 1 0 1 0 1 1 0 0 1 1 0 1 0 0 0 1 1 1 1 0 1 1 0 1 0 1 1 1 0 0 0 0 0 1 1 1 0 0 0 0 0 1 1 1 1 1 1 0 1 1 0 0 0 0 0 1 1 1 0 1 0 0 0 0 0 0 0 1 1 1 0 1 0 0 0 0 0 1 1 1 1 0 0 1 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 1 1 1 1 1 1 0 0 1 0 0 0 0 0 0 0 0 0 1 1 1 1 0 1 1 1 1 1 0 1 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 1 1 1 1 1 1 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 1 1 1 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 1 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 1 1 1 0 0 0 0 0 1 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 1 1 1 0 0 0 1 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 1 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0
12.93/4.78	v       </values>
12.93/4.78	v     </instantiation>
12.93/4.78	s SATISFIABLE

Verifier Data 

OK

Watcher Data 

runsolver Copyright (C) 2010-2013 Olivier ROUSSEL

This is runsolver version 3.3.7 (svn: 2553)

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.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4248792-1500752182/watcher-4248792-1500752182 -o /tmp/evaluation-result-4248792-1500752182/solver-4248792-1500752182 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node134-1500747505-24291 --watchdog 2560 bin/concrete HOME/instance-4248792-1500752182.xml 

pid=26870
running on 8 cores: 0,2,4,6,8,10,12,14

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 8192 KiB


[startup+0 s]
/proc/loadavg: 3.20 2.03 1.70 5/263 26873
/proc/meminfo: memFree=31656772/32770624 swapFree=5704/309172
[pid=26873] ppid=26870 vsize=9508 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/26873/stat : 26873 (bash) S 26870 26873 20653 0 -1 4202496 685 1532 0 0 0 0 0 0 20 0 1 0 10485436 9736192 349 33554432000 4194304 5098028 140731717151872 140731717149512 140165226863616 0 0 4100 65536 18446744071580971376 0 0 17 12 0 0 0 0 0 7196144 7232144 14946304 140731717158158 140731717158243 140731717158243 140731717160942 0
/proc/26873/statm: 2377 349 277 221 0 86 0

[startup+0.100163 s]
/proc/loadavg: 3.20 2.03 1.70 5/263 26873
/proc/meminfo: memFree=31656772/32770624 swapFree=5704/309172
[pid=26873] ppid=26870 vsize=9640 CPUtime=0.01 cores=0,2,4,6,8,10,12,14
/proc/26873/stat : 26873 (bash) S 26870 26873 20653 0 -1 4202496 878 6414 0 0 0 0 0 1 20 0 1 0 10485436 9871360 377 33554432000 4194304 5098028 140731717151872 140731717145880 140165226863616 0 0 4100 65536 18446744071580971376 0 0 17 12 0 0 0 0 0 7196144 7232144 14946304 140731717158158 140731717158243 140731717158243 140731717160942 0
/proc/26873/statm: 2410 377 296 221 0 119 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 9640

[startup+0.200326 s]
/proc/loadavg: 3.20 2.03 1.70 5/263 26873
/proc/meminfo: memFree=31656772/32770624 swapFree=5704/309172
[pid=26873] ppid=26870 vsize=10435860 CPUtime=0.18 cores=0,2,4,6,8,10,12,14
/proc/26873/stat : 26873 (java) S 26870 26873 20653 0 -1 1077944320 4988 12813 0 0 6 1 8 3 20 0 13 0 10485436 10686320640 4837 33554432000 4194304 4196468 140726449364704 140726449347248 140695781351159 0 0 0 16800971 18446744073709551615 0 0 17 8 0 0 0 0 0 6293624 6294260 36806656 140726449371841 140726449374615 140726449374615 140726449377231 0
/proc/26873/statm: 2608965 4837 2172 1 0 2597403 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 10435860

[startup+0.300313 s]
/proc/loadavg: 3.20 2.03 1.70 5/263 26873
/proc/meminfo: memFree=31656772/32770624 swapFree=5704/309172
[pid=26873] ppid=26870 vsize=10902292 CPUtime=0.35 cores=0,2,4,6,8,10,12,14
/proc/26873/stat : 26873 (java) S 26870 26873 20653 0 -1 1077944320 8711 12813 0 0 22 2 8 3 20 0 20 0 10485436 11163947008 9784 33554432000 4194304 4196468 140726449364704 140726449347248 140695781351159 0 0 0 16800975 18446744073709551615 0 0 17 8 0 0 0 0 0 6293624 6294260 36806656 140726449371841 140726449374615 140726449374615 140726449377231 0
/proc/26873/statm: 2725573 9784 2952 1 0 2713890 0
Current children cumulated CPU time (s) 0.35
Current children cumulated vsize (KiB) 10902292

[startup+0.700177 s]
/proc/loadavg: 3.20 2.03 1.70 5/263 26873
/proc/meminfo: memFree=31656772/32770624 swapFree=5704/309172
[pid=26873] ppid=26870 vsize=10902720 CPUtime=0.95 cores=0,2,4,6,8,10,12,14
/proc/26873/stat : 26873 (java) S 26870 26873 20653 0 -1 1077944320 12764 12813 0 0 79 5 8 3 20 0 20 0 10485436 11164385280 16062 33554432000 4194304 4196468 140726449364704 140726449347248 140695781351159 0 0 0 16800975 18446744073709551615 0 0 17 8 0 0 0 0 0 6293624 6294260 36806656 140726449371841 140726449374615 140726449374615 140726449377231 0
/proc/26873/statm: 2725680 16062 3220 1 0 2713890 0
Current children cumulated CPU time (s) 0.95
Current children cumulated vsize (KiB) 10902720

[startup+1.50106 s]
/proc/loadavg: 3.20 2.03 1.70 4/284 27050
/proc/meminfo: memFree=31532640/32770624 swapFree=5704/308876
[pid=26873] ppid=26870 vsize=10913344 CPUtime=2.31 cores=0,2,4,6,8,10,12,14
/proc/26873/stat : 26873 (java) S 26870 26873 20653 0 -1 1077944320 24670 12813 0 0 206 14 8 3 20 0 20 0 10485436 11175264256 44599 33554432000 4194304 4196468 140726449364704 140726449347248 140695781351159 0 0 0 16800975 18446744073709551615 0 0 17 8 0 0 0 0 0 6293624 6294260 36806656 140726449371841 140726449374615 140726449374615 140726449377231 0
/proc/26873/statm: 2728336 44599 3409 1 0 2716450 0
[pid=26873/tid=26928] ppid=26870 vsize=10913344 CPUtime=1.42 cores=0,2,4,6,8,10,12,14
/proc/26873/task/26928/stat : 26928 (java) R 26870 26873 20653 0 -1 4202560 18301 12813 0 0 125 6 8 3 20 0 20 0 10485449 11175264256 44607 33554432000 4194304 4196468 140726449364704 140695785578336 140695766426942 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 36806656 140726449371841 140726449374615 140726449374615 140726449377231 0
[pid=26873/tid=26929] ppid=26870 vsize=10913344 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/26873/task/26929/stat : 26929 (java) S 26870 26873 20653 0 -1 1077944384 51 12813 0 0 1 0 8 3 20 0 20 0 10485450 11175264256 44607 33554432000 4194304 4196468 140726449364704 140695388560400 140695781361365 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 36806656 140726449371841 140726449374615 140726449374615 140726449377231 0
[pid=26873/tid=26930] ppid=26870 vsize=10913344 CPUtime=0.11 cores=0,2,4,6,8,10,12,14
/proc/26873/task/26930/stat : 26930 (java) S 26870 26873 20653 0 -1 1077944384 13 12813 0 0 0 0 8 3 20 0 20 0 10485450 11175264256 44607 33554432000 4194304 4196468 140726449364704 140695387507856 140695781361365 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36806656 140726449371841 140726449374615 140726449374615 140726449377231 0
[pid=26873/tid=26931] ppid=26870 vsize=10913344 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/26873/task/26931/stat : 26931 (java) S 26870 26873 20653 0 -1 1077944384 39 12813 0 0 1 0 8 3 20 0 20 0 10485450 11175264256 44607 33554432000 4194304 4196468 140726449364704 140695386454800 140695781361365 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 36806656 140726449371841 140726449374615 140726449374615 140726449377231 0
[pid=26873/tid=26932] ppid=26870 vsize=10913344 CPUtime=0.11 cores=0,2,4,6,8,10,12,14
/proc/26873/task/26932/stat : 26932 (java) S 26870 26873 20653 0 -1 1077944384 13 12813 0 0 0 0 8 3 20 0 20 0 10485450 11175264256 44607 33554432000 4194304 4196468 140726449364704 140695385402256 140695781361365 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36806656 140726449371841 140726449374615 140726449374615 140726449377231 0
[pid=26873/tid=26933] ppid=26870 vsize=10913344 CPUtime=0.11 cores=0,2,4,6,8,10,12,14
/proc/26873/task/26933/stat : 26933 (java) S 26870 26873 20653 0 -1 1077944384 144 12813 0 0 0 0 8 3 20 0 20 0 10485450 11175264256 44607 33554432000 4194304 4196468 140726449364704 140695384349200 140695781361365 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36806656 140726449371841 140726449374615 140726449374615 140726449377231 0
[pid=26873/tid=26934] ppid=26870 vsize=10913344 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/26873/task/26934/stat : 26934 (java) S 26870 26873 20653 0 -1 1077944384 13 12813 0 0 1 0 8 3 20 0 20 0 10485450 11175264256 44607 33554432000 4194304 4196468 140726449364704 140695383296656 140695781361365 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 36806656 140726449371841 140726449374615 140726449374615 140726449377231 0
[pid=26873/tid=26935] ppid=26870 vsize=10913344 CPUtime=0.11 cores=0,2,4,6,8,10,12,14
/proc/26873/task/26935/stat : 26935 (java) S 26870 26873 20653 0 -1 1077944384 11 12813 0 0 0 0 8 3 20 0 20 0 10485450 11175264256 44607 33554432000 4194304 4196468 140726449364704 140695382243600 140695781361365 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36806656 140726449371841 140726449374615 140726449374615 140726449377231 0
[pid=26873/tid=26936] ppid=26870 vsize=10913344 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/26873/task/26936/stat : 26936 (java) S 26870 26873 20653 0 -1 1077944384 16 12813 0 0 1 0 8 3 20 0 20 0 10485450 11175264256 44607 33554432000 4194304 4196468 140726449364704 140695381191056 140695781361365 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36806656 140726449371841 140726449374615 140726449374615 140726449377231 0
[pid=26873/tid=26937] ppid=26870 vsize=10913344 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/26873/task/26937/stat : 26937 (java) S 26870 26873 20653 0 -1 1077944384 830 12813 0 0 2 0 8 3 20 0 20 0 10485452 11175264256 44607 33554432000 4194304 4196468 140726449364704 140694531308272 140695781362306 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36806656 140726449371841 140726449374615 140726449374615 140726449377231 0
[pid=26873/tid=26938] ppid=26870 vsize=10913344 CPUtime=0.11 cores=0,2,4,6,8,10,12,14
/proc/26873/task/26938/stat : 26938 (java) S 26870 26873 20653 0 -1 1077944384 55 12813 0 0 0 0 8 3 20 0 20 0 10485453 11175264256 44607 33554432000 4194304 4196468 140726449364704 140694530254560 140695781361365 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 36806656 140726449371841 140726449374615 140726449374615 140726449377231 0
[pid=26873/tid=26939] ppid=26870 vsize=10913344 CPUtime=0.11 cores=0,2,4,6,8,10,12,14
/proc/26873/task/26939/stat : 26939 (java) S 26870 26873 20653 0 -1 1077944384 44 12813 0 0 0 0 8 3 20 0 20 0 10485453 11175264256 44607 33554432000 4194304 4196468 140726449364704 140694529201408 140695781361365 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36806656 140726449371841 140726449374615 140726449374615 140726449377231 0
[pid=26873/tid=26946] ppid=26870 vsize=10913344 CPUtime=0.11 cores=0,2,4,6,8,10,12,14
/proc/26873/task/26946/stat : 26946 (java) S 26870 26873 20653 0 -1 1077944384 1 12813 0 0 0 0 8 3 20 0 20 0 10485457 11175264256 44607 33554432000 4194304 4196468 140726449364704 140694528149968 140695781369755 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 36806656 140726449371841 140726449374615 140726449374615 140726449377231 0
[pid=26873/tid=26947] ppid=26870 vsize=10913344 CPUtime=0.26 cores=0,2,4,6,8,10,12,14
/proc/26873/task/26947/stat : 26947 (java) R 26870 26873 20653 0 -1 4202560 1112 12813 0 0 15 0 8 3 20 0 20 0 10485457 11175264256 44607 33554432000 4194304 4196468 140726449364704 140694527083616 140695774447916 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 36806656 140726449371841 140726449374615 140726449374615 140726449377231 0
[pid=26873/tid=26948] ppid=26870 vsize=10913344 CPUtime=0.26 cores=0,2,4,6,8,10,12,14
/proc/26873/task/26948/stat : 26948 (java) S 26870 26873 20653 0 -1 1077944384 492 12813 0 0 15 0 8 3 20 0 20 0 10485457 11175264256 44607 33554432000 4194304 4196468 140726449364704 140694526044528 140695781362306 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36806656 140726449371841 140726449374615 140726449374615 140726449377231 0
[pid=26873/tid=26949] ppid=26870 vsize=10913344 CPUtime=0.22 cores=0,2,4,6,8,10,12,14
/proc/26873/task/26949/stat : 26949 (java) S 26870 26873 20653 0 -1 1077944384 446 12813 0 0 11 0 8 3 20 0 20 0 10485457 11175264256 44607 33554432000 4194304 4196468 140726449364704 140694524991472 140695781362306 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 36806656 140726449371841 140726449374615 140726449374615 140726449377231 0
[pid=26873/tid=26950] ppid=26870 vsize=10913344 CPUtime=0.37 cores=0,2,4,6,8,10,12,14
/proc/26873/task/26950/stat : 26950 (java) R 26870 26873 20653 0 -1 4202560 961 12813 0 0 26 0 8 3 20 0 20 0 10485457 11175264256 44607 33554432000 4194304 4196468 140726449364704 140694523936720 140695781363094 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 36806656 140726449371841 140726449374615 140726449374615 140726449377231 0
[pid=26873/tid=26951] ppid=26870 vsize=10913344 CPUtime=0.11 cores=0,2,4,6,8,10,12,14
/proc/26873/task/26951/stat : 26951 (java) S 26870 26873 20653 0 -1 1077944384 3 12813 0 0 0 0 8 3 20 0 20 0 10485457 11175264256 44607 33554432000 4194304 4196468 140726449364704 140694522887136 140695781361365 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 36806656 140726449371841 140726449374615 140726449374615 140726449377231 0
[pid=26873/tid=26952] ppid=26870 vsize=10913344 CPUtime=0.11 cores=0,2,4,6,8,10,12,14
/proc/26873/task/26952/stat : 26952 (java) S 26870 26873 20653 0 -1 1077944384 4 12813 0 0 0 0 8 3 20 0 20 0 10485458 11175264256 44607 33554432000 4194304 4196468 140726449364704 140694521834672 140695781362306 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36806656 140726449371841 140726449374615 140726449374615 140726449377231 0
Current children cumulated CPU time (s) 2.31
Current children cumulated vsize (KiB) 10913344

[startup+3.10112 s]
/proc/loadavg: 3.19 2.05 1.71 5/284 27050
/proc/meminfo: memFree=31327212/32770624 swapFree=5704/308924
[pid=26873] ppid=26870 vsize=10927868 CPUtime=6.59 cores=0,2,4,6,8,10,12,14
/proc/26873/stat : 26873 (java) S 26870 26873 20653 0 -1 1077944320 42235 12813 0 0 628 20 8 3 20 0 20 0 10485436 11190136832 59568 33554432000 4194304 4196468 140726449364704 140726449347248 140695781351159 0 0 0 16800975 18446744073709551615 0 0 17 8 0 0 0 0 0 6293624 6294260 36806656 140726449371841 140726449374615 140726449374615 140726449377231 0
/proc/26873/statm: 2731967 59568 3478 1 0 2719522 0
[pid=26873/tid=26928] ppid=26870 vsize=10927868 CPUtime=3.01 cores=0,2,4,6,8,10,12,14
/proc/26873/task/26928/stat : 26928 (java) R 26870 26873 20653 0 -1 4202560 29718 12813 0 0 281 9 8 3 20 0 20 0 10485449 11190136832 59568 33554432000 4194304 4196468 140726449364704 140695785570136 140695428985735 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 36806656 140726449371841 140726449374615 140726449374615 140726449377231 0
[pid=26873/tid=26929] ppid=26870 vsize=10927868 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/26873/task/26929/stat : 26929 (java) S 26870 26873 20653 0 -1 1077944384 51 12813 0 0 1 0 8 3 20 0 20 0 10485450 11190136832 59568 33554432000 4194304 4196468 140726449364704 140695388560400 140695781361365 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 36806656 140726449371841 140726449374615 140726449374615 140726449377231 0
[pid=26873/tid=26930] ppid=26870 vsize=10927868 CPUtime=0.11 cores=0,2,4,6,8,10,12,14
/proc/26873/task/26930/stat : 26930 (java) S 26870 26873 20653 0 -1 1077944384 13 12813 0 0 0 0 8 3 20 0 20 0 10485450 11190136832 59568 33554432000 4194304 4196468 140726449364704 140695387507856 140695781361365 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36806656 140726449371841 140726449374615 140726449374615 140726449377231 0
[pid=26873/tid=26931] ppid=26870 vsize=10927868 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/26873/task/26931/stat : 26931 (java) S 26870 26873 20653 0 -1 1077944384 39 12813 0 0 1 0 8 3 20 0 20 0 10485450 11190136832 59568 33554432000 4194304 4196468 140726449364704 140695386454800 140695781361365 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 36806656 140726449371841 140726449374615 140726449374615 140726449377231 0
[pid=26873/tid=26932] ppid=26870 vsize=10927868 CPUtime=0.11 cores=0,2,4,6,8,10,12,14
/proc/26873/task/26932/stat : 26932 (java) S 26870 26873 20653 0 -1 1077944384 13 12813 0 0 0 0 8 3 20 0 20 0 10485450 11190136832 59568 33554432000 4194304 4196468 140726449364704 140695385402256 140695781361365 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36806656 140726449371841 140726449374615 140726449374615 140726449377231 0
[pid=26873/tid=26933] ppid=26870 vsize=10927868 CPUtime=0.11 cores=0,2,4,6,8,10,12,14
/proc/26873/task/26933/stat : 26933 (java) S 26870 26873 20653 0 -1 1077944384 144 12813 0 0 0 0 8 3 20 0 20 0 10485450 11190136832 59568 33554432000 4194304 4196468 140726449364704 140695384349200 140695781361365 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36806656 140726449371841 140726449374615 140726449374615 140726449377231 0
[pid=26873/tid=26934] ppid=26870 vsize=10927868 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/26873/task/26934/stat : 26934 (java) S 26870 26873 20653 0 -1 1077944384 13 12813 0 0 1 0 8 3 20 0 20 0 10485450 11190136832 59568 33554432000 4194304 4196468 140726449364704 140695383296656 140695781361365 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 36806656 140726449371841 140726449374615 140726449374615 140726449377231 0
[pid=26873/tid=26935] ppid=26870 vsize=10927868 CPUtime=0.11 cores=0,2,4,6,8,10,12,14
/proc/26873/task/26935/stat : 26935 (java) S 26870 26873 20653 0 -1 1077944384 11 12813 0 0 0 0 8 3 20 0 20 0 10485450 11190136832 59568 33554432000 4194304 4196468 140726449364704 140695382243600 140695781361365 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36806656 140726449371841 140726449374615 140726449374615 140726449377231 0
[pid=26873/tid=26936] ppid=26870 vsize=10927868 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/26873/task/26936/stat : 26936 (java) S 26870 26873 20653 0 -1 1077944384 16 12813 0 0 1 0 8 3 20 0 20 0 10485450 11190136832 59568 33554432000 4194304 4196468 140726449364704 140695381191056 140695781361365 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36806656 140726449371841 140726449374615 140726449374615 140726449377231 0
[pid=26873/tid=26937] ppid=26870 vsize=10927868 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/26873/task/26937/stat : 26937 (java) S 26870 26873 20653 0 -1 1077944384 840 12813 0 0 2 0 8 3 20 0 20 0 10485452 11190136832 59568 33554432000 4194304 4196468 140726449364704 140694531308272 140695781362306 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36806656 140726449371841 140726449374615 140726449374615 140726449377231 0
[pid=26873/tid=26938] ppid=26870 vsize=10927868 CPUtime=0.11 cores=0,2,4,6,8,10,12,14
/proc/26873/task/26938/stat : 26938 (java) S 26870 26873 20653 0 -1 1077944384 55 12813 0 0 0 0 8 3 20 0 20 0 10485453 11190136832 59568 33554432000 4194304 4196468 140726449364704 140694530254560 140695781361365 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 36806656 140726449371841 140726449374615 140726449374615 140726449377231 0
[pid=26873/tid=26939] ppid=26870 vsize=10927868 CPUtime=0.11 cores=0,2,4,6,8,10,12,14
/proc/26873/task/26939/stat : 26939 (java) S 26870 26873 20653 0 -1 1077944384 44 12813 0 0 0 0 8 3 20 0 20 0 10485453 11190136832 59568 33554432000 4194304 4196468 140726449364704 140694529201408 140695781361365 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36806656 140726449371841 140726449374615 140726449374615 140726449377231 0
[pid=26873/tid=26946] ppid=26870 vsize=10927868 CPUtime=0.11 cores=0,2,4,6,8,10,12,14
/proc/26873/task/26946/stat : 26946 (java) S 26870 26873 20653 0 -1 1077944384 1 12813 0 0 0 0 8 3 20 0 20 0 10485457 11190136832 59568 33554432000 4194304 4196468 140726449364704 140694528149968 140695781369755 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 36806656 140726449371841 140726449374615 140726449374615 140726449377231 0
[pid=26873/tid=26947] ppid=26870 vsize=10927868 CPUtime=0.81 cores=0,2,4,6,8,10,12,14
/proc/26873/task/26947/stat : 26947 (java) R 26870 26873 20653 0 -1 4202560 1805 12813 0 0 69 1 8 3 20 0 20 0 10485457 11190136832 59568 33554432000 4194304 4196468 140726449364704 140694527090096 140695758945937 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 36806656 140726449371841 140726449374615 140726449374615 140726449377231 0
[pid=26873/tid=26948] ppid=26870 vsize=10927868 CPUtime=1.07 cores=0,2,4,6,8,10,12,14
/proc/26873/task/26948/stat : 26948 (java) R 26870 26873 20653 0 -1 4202560 2808 12813 0 0 95 1 8 3 20 0 20 0 10485457 11190136832 59568 33554432000 4194304 4196468 140726449364704 140694526034336 140695781372506 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 36806656 140726449371841 140726449374615 140726449374615 140726449377231 0
[pid=26873/tid=26949] ppid=26870 vsize=10927868 CPUtime=0.69 cores=0,2,4,6,8,10,12,14
/proc/26873/task/26949/stat : 26949 (java) R 26870 26873 20653 0 -1 4202560 1150 12813 0 0 57 1 8 3 20 0 20 0 10485457 11190136832 59568 33554432000 4194304 4196468 140726449364704 140694524969512 140695781372506 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 36806656 140726449371841 140726449374615 140726449374615 140726449377231 0
[pid=26873/tid=26950] ppid=26870 vsize=10927868 CPUtime=1.23 cores=0,2,4,6,8,10,12,14
/proc/26873/task/26950/stat : 26950 (java) R 26870 26873 20653 0 -1 4202560 3381 12813 0 0 111 1 8 3 20 0 20 0 10485457 11190136832 59568 33554432000 4194304 4196468 140726449364704 140694523937328 140695762761309 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 36806656 140726449371841 140726449374615 140726449374615 140726449377231 0
[pid=26873/tid=26951] ppid=26870 vsize=10927868 CPUtime=0.11 cores=0,2,4,6,8,10,12,14
/proc/26873/task/26951/stat : 26951 (java) S 26870 26873 20653 0 -1 1077944384 3 12813 0 0 0 0 8 3 20 0 20 0 10485457 11190136832 59568 33554432000 4194304 4196468 140726449364704 140694522887136 140695781361365 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 36806656 140726449371841 140726449374615 140726449374615 140726449377231 0
[pid=26873/tid=26952] ppid=26870 vsize=10927868 CPUtime=0.11 cores=0,2,4,6,8,10,12,14
/proc/26873/task/26952/stat : 26952 (java) S 26870 26873 20653 0 -1 1077944384 5 12813 0 0 0 0 8 3 20 0 20 0 10485458 11190136832 59568 33554432000 4194304 4196468 140726449364704 140694521834672 140695781362306 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36806656 140726449371841 140726449374615 140726449374615 140726449377231 0
Current children cumulated CPU time (s) 6.59
Current children cumulated vsize (KiB) 10927868

Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 26873 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+3.20144 s]
/proc/loadavg: 3.19 2.05 1.71 5/284 27050
/proc/meminfo: memFree=31327212/32770624 swapFree=5704/308924
[pid=26873] ppid=26870 vsize=10927868 CPUtime=7.02 cores=0,2,4,6,8,10,12,14
/proc/26873/stat : 26873 (java) S 26870 26873 20653 0 -1 1077944320 43409 12813 0 0 671 20 8 3 20 0 20 0 10485436 11190136832 63374 33554432000 4194304 4196468 140726449364704 140726449347248 140695781351159 0 0 0 16800975 18446744073709551615 0 0 17 8 0 0 0 0 0 6293624 6294260 36806656 140726449371841 140726449374615 140726449374615 140726449377231 0
/proc/26873/statm: 2731967 63374 3480 1 0 2719522 0
[pid=26873/tid=26928] ppid=26870 vsize=10927868 CPUtime=3.11 cores=0,2,4,6,8,10,12,14
/proc/26873/task/26928/stat : 26928 (java) R 26870 26873 20653 0 -1 4202560 29821 12813 0 0 291 9 8 3 20 0 20 0 10485449 11190136832 63374 33554432000 4194304 4196468 140726449364704 140695785584088 140695781363094 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 36806656 140726449371841 140726449374615 140726449374615 140726449377231 0
[pid=26873/tid=26929] ppid=26870 vsize=10927868 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/26873/task/26929/stat : 26929 (java) S 26870 26873 20653 0 -1 1077944384 51 12813 0 0 1 0 8 3 20 0 20 0 10485450 11190136832 63374 33554432000 4194304 4196468 140726449364704 140695388560400 140695781361365 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 36806656 140726449371841 140726449374615 140726449374615 140726449377231 0
[pid=26873/tid=26930] ppid=26870 vsize=10927868 CPUtime=0.11 cores=0,2,4,6,8,10,12,14
/proc/26873/task/26930/stat : 26930 (java) S 26870 26873 20653 0 -1 1077944384 13 12813 0 0 0 0 8 3 20 0 20 0 10485450 11190136832 63374 33554432000 4194304 4196468 140726449364704 140695387507856 140695781361365 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36806656 140726449371841 140726449374615 140726449374615 140726449377231 0
[pid=26873/tid=26931] ppid=26870 vsize=10927868 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/26873/task/26931/stat : 26931 (java) S 26870 26873 20653 0 -1 1077944384 39 12813 0 0 1 0 8 3 20 0 20 0 10485450 11190136832 63374 33554432000 4194304 4196468 140726449364704 140695386454800 140695781361365 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 36806656 140726449371841 140726449374615 140726449374615 140726449377231 0
[pid=26873/tid=26932] ppid=26870 vsize=10927868 CPUtime=0.11 cores=0,2,4,6,8,10,12,14
/proc/26873/task/26932/stat : 26932 (java) S 26870 26873 20653 0 -1 1077944384 13 12813 0 0 0 0 8 3 20 0 20 0 10485450 11190136832 63374 33554432000 4194304 4196468 140726449364704 140695385402256 140695781361365 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36806656 140726449371841 140726449374615 140726449374615 140726449377231 0
[pid=26873/tid=26933] ppid=26870 vsize=10927868 CPUtime=0.11 cores=0,2,4,6,8,10,12,14
/proc/26873/task/26933/stat : 26933 (java) S 26870 26873 20653 0 -1 1077944384 144 12813 0 0 0 0 8 3 20 0 20 0 10485450 11190136832 63374 33554432000 4194304 4196468 140726449364704 140695384349200 140695781361365 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36806656 140726449371841 140726449374615 140726449374615 140726449377231 0
[pid=26873/tid=26934] ppid=26870 vsize=10927868 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/26873/task/26934/stat : 26934 (java) S 26870 26873 20653 0 -1 1077944384 13 12813 0 0 1 0 8 3 20 0 20 0 10485450 11190136832 63374 33554432000 4194304 4196468 140726449364704 140695383296656 140695781361365 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 36806656 140726449371841 140726449374615 140726449374615 140726449377231 0
[pid=26873/tid=26935] ppid=26870 vsize=10927868 CPUtime=0.11 cores=0,2,4,6,8,10,12,14
/proc/26873/task/26935/stat : 26935 (java) S 26870 26873 20653 0 -1 1077944384 11 12813 0 0 0 0 8 3 20 0 20 0 10485450 11190136832 63374 33554432000 4194304 4196468 140726449364704 140695382243600 140695781361365 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36806656 140726449371841 140726449374615 140726449374615 140726449377231 0
[pid=26873/tid=26936] ppid=26870 vsize=10927868 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/26873/task/26936/stat : 26936 (java) S 26870 26873 20653 0 -1 1077944384 16 12813 0 0 1 0 8 3 20 0 20 0 10485450 11190136832 63374 33554432000 4194304 4196468 140726449364704 140695381191056 140695781361365 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36806656 140726449371841 140726449374615 140726449374615 140726449377231 0
[pid=26873/tid=26937] ppid=26870 vsize=10927868 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/26873/task/26937/stat : 26937 (java) S 26870 26873 20653 0 -1 1077944384 840 12813 0 0 2 0 8 3 20 0 20 0 10485452 11190136832 63374 33554432000 4194304 4196468 140726449364704 140694531308272 140695781362306 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36806656 140726449371841 140726449374615 140726449374615 140726449377231 0
[pid=26873/tid=26938] ppid=26870 vsize=10927868 CPUtime=0.11 cores=0,2,4,6,8,10,12,14
/proc/26873/task/26938/stat : 26938 (java) S 26870 26873 20653 0 -1 1077944384 55 12813 0 0 0 0 8 3 20 0 20 0 10485453 11190136832 63374 33554432000 4194304 4196468 140726449364704 140694530254560 140695781361365 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 36806656 140726449371841 140726449374615 140726449374615 140726449377231 0
[pid=26873/tid=26939] ppid=26870 vsize=10927868 CPUtime=0.11 cores=0,2,4,6,8,10,12,14
/proc/26873/task/26939/stat : 26939 (java) S 26870 26873 20653 0 -1 1077944384 44 12813 0 0 0 0 8 3 20 0 20 0 10485453 11190136832 63374 33554432000 4194304 4196468 140726449364704 140694529201408 140695781361365 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36806656 140726449371841 140726449374615 140726449374615 140726449377231 0
[pid=26873/tid=26946] ppid=26870 vsize=10927868 CPUtime=0.11 cores=0,2,4,6,8,10,12,14
/proc/26873/task/26946/stat : 26946 (java) S 26870 26873 20653 0 -1 1077944384 1 12813 0 0 0 0 8 3 20 0 20 0 10485457 11190136832 63374 33554432000 4194304 4196468 140726449364704 140694528149968 140695781369755 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 36806656 140726449371841 140726449374615 140726449374615 140726449377231 0
[pid=26873/tid=26947] ppid=26870 vsize=10927868 CPUtime=0.9 cores=0,2,4,6,8,10,12,14
/proc/26873/task/26947/stat : 26947 (java) R 26870 26873 20653 0 -1 4202560 2169 12813 0 0 78 1 8 3 20 0 20 0 10485457 11190136832 63374 33554432000 4194304 4196468 140726449364704 140694527083472 140695781351833 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 36806656 140726449371841 140726449374615 140726449374615 140726449377231 0
[pid=26873/tid=26948] ppid=26870 vsize=10927868 CPUtime=1.17 cores=0,2,4,6,8,10,12,14
/proc/26873/task/26948/stat : 26948 (java) R 26870 26873 20653 0 -1 4202560 3149 12813 0 0 105 1 8 3 20 0 20 0 10485457 11190136832 63374 33554432000 4194304 4196468 140726449364704 140694526033088 140695781372506 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 36806656 140726449371841 140726449374615 140726449374615 140726449377231 0
[pid=26873/tid=26949] ppid=26870 vsize=10927868 CPUtime=0.79 cores=0,2,4,6,8,10,12,14
/proc/26873/task/26949/stat : 26949 (java) R 26870 26873 20653 0 -1 4202560 1500 12813 0 0 67 1 8 3 20 0 20 0 10485457 11190136832 63374 33554432000 4194304 4196468 140726449364704 140694524977664 140695760528582 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 36806656 140726449371841 140726449374615 140726449374615 140726449377231 0
[pid=26873/tid=26950] ppid=26870 vsize=10927868 CPUtime=1.27 cores=0,2,4,6,8,10,12,14
/proc/26873/task/26950/stat : 26950 (java) S 26870 26873 20653 0 -1 1077944384 3461 12813 0 0 115 1 8 3 20 0 20 0 10485457 11190136832 63374 33554432000 4194304 4196468 140726449364704 140694523938928 140695781362306 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36806656 140726449371841 140726449374615 140726449374615 140726449377231 0
[pid=26873/tid=26951] ppid=26870 vsize=10927868 CPUtime=0.11 cores=0,2,4,6,8,10,12,14
/proc/26873/task/26951/stat : 26951 (java) S 26870 26873 20653 0 -1 1077944384 3 12813 0 0 0 0 8 3 20 0 20 0 10485457 11190136832 63374 33554432000 4194304 4196468 140726449364704 140694522887136 140695781361365 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 36806656 140726449371841 140726449374615 140726449374615 140726449377231 0
[pid=26873/tid=26952] ppid=26870 vsize=10927868 CPUtime=0.11 cores=0,2,4,6,8,10,12,14
/proc/26873/task/26952/stat : 26952 (java) S 26870 26873 20653 0 -1 1077944384 5 12813 0 0 0 0 8 3 20 0 20 0 10485458 11190136832 63374 33554432000 4194304 4196468 140726449364704 140694521834672 140695781362306 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36806656 140726449371841 140726449374615 140726449374615 140726449377231 0
Current children cumulated CPU time (s) 7.02
Current children cumulated vsize (KiB) 10927868

[startup+4.00112 s]
/proc/loadavg: 3.19 2.05 1.71 8/284 27050
/proc/meminfo: memFree=31232012/32770624 swapFree=5704/308932
[pid=26873] ppid=26870 vsize=10995452 CPUtime=9.9 cores=0,2,4,6,8,10,12,14
/proc/26873/stat : 26873 (java) S 26870 26873 20653 0 -1 1077944320 66253 12813 0 0 954 25 8 3 20 0 20 0 10485436 11259342848 82572 33554432000 4194304 4196468 140726449364704 140726449347248 140695781351159 0 0 0 16800975 18446744073709551615 0 0 17 8 0 0 0 0 0 6293624 6294260 36806656 140726449371841 140726449374615 140726449374615 140726449377231 0
/proc/26873/statm: 2748863 82572 3488 1 0 2736418 0
[pid=26873/tid=26928] ppid=26870 vsize=10995452 CPUtime=3.85 cores=0,2,4,6,8,10,12,14
/proc/26873/task/26928/stat : 26928 (java) R 26870 26873 20653 0 -1 4202560 45336 12813 0 0 363 11 8 3 20 0 20 0 10485449 11259342848 82572 33554432000 4194304 4196468 140726449364704 140695785573480 140695432131872 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 36806656 140726449371841 140726449374615 140726449374615 140726449377231 0
[pid=26873/tid=26929] ppid=26870 vsize=10995452 CPUtime=0.15 cores=0,2,4,6,8,10,12,14
/proc/26873/task/26929/stat : 26929 (java) S 26870 26873 20653 0 -1 1077944384 61 12813 0 0 4 0 8 3 20 0 20 0 10485450 11259342848 82572 33554432000 4194304 4196468 140726449364704 140695388560400 140695781361365 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 36806656 140726449371841 140726449374615 140726449374615 140726449377231 0
[pid=26873/tid=26930] ppid=26870 vsize=10995452 CPUtime=0.14 cores=0,2,4,6,8,10,12,14
/proc/26873/task/26930/stat : 26930 (java) S 26870 26873 20653 0 -1 1077944384 17 12813 0 0 3 0 8 3 20 0 20 0 10485450 11259342848 82572 33554432000 4194304 4196468 140726449364704 140695387507856 140695781361365 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36806656 140726449371841 140726449374615 140726449374615 140726449377231 0
[pid=26873/tid=26931] ppid=26870 vsize=10995452 CPUtime=0.14 cores=0,2,4,6,8,10,12,14
/proc/26873/task/26931/stat : 26931 (java) S 26870 26873 20653 0 -1 1077944384 160 12813 0 0 3 0 8 3 20 0 20 0 10485450 11259342848 82572 33554432000 4194304 4196468 140726449364704 140695386454800 140695781361365 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36806656 140726449371841 140726449374615 140726449374615 140726449377231 0
[pid=26873/tid=26932] ppid=26870 vsize=10995452 CPUtime=0.15 cores=0,2,4,6,8,10,12,14
/proc/26873/task/26932/stat : 26932 (java) S 26870 26873 20653 0 -1 1077944384 27 12813 0 0 3 1 8 3 20 0 20 0 10485450 11259342848 82572 33554432000 4194304 4196468 140726449364704 140695385402256 140695781361365 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36806656 140726449371841 140726449374615 140726449374615 140726449377231 0
[pid=26873/tid=26933] ppid=26870 vsize=10995452 CPUtime=0.15 cores=0,2,4,6,8,10,12,14
/proc/26873/task/26933/stat : 26933 (java) S 26870 26873 20653 0 -1 1077944384 176 12813 0 0 3 1 8 3 20 0 20 0 10485450 11259342848 82572 33554432000 4194304 4196468 140726449364704 140695384349200 140695781361365 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36806656 140726449371841 140726449374615 140726449374615 140726449377231 0
[pid=26873/tid=26934] ppid=26870 vsize=10995452 CPUtime=0.14 cores=0,2,4,6,8,10,12,14
/proc/26873/task/26934/stat : 26934 (java) S 26870 26873 20653 0 -1 1077944384 28 12813 0 0 3 0 8 3 20 0 20 0 10485450 11259342848 82572 33554432000 4194304 4196468 140726449364704 140695383296656 140695781361365 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 36806656 140726449371841 140726449374615 140726449374615 140726449377231 0
[pid=26873/tid=26935] ppid=26870 vsize=10995452 CPUtime=0.14 cores=0,2,4,6,8,10,12,14
/proc/26873/task/26935/stat : 26935 (java) S 26870 26873 20653 0 -1 1077944384 26 12813 0 0 3 0 8 3 20 0 20 0 10485450 11259342848 82572 33554432000 4194304 4196468 140726449364704 140695382243600 140695781361365 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 36806656 140726449371841 140726449374615 140726449374615 140726449377231 0
[pid=26873/tid=26936] ppid=26870 vsize=10995452 CPUtime=0.14 cores=0,2,4,6,8,10,12,14
/proc/26873/task/26936/stat : 26936 (java) S 26870 26873 20653 0 -1 1077944384 19 12813 0 0 3 0 8 3 20 0 20 0 10485450 11259342848 82572 33554432000 4194304 4196468 140726449364704 140695381191056 140695781361365 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36806656 140726449371841 140726449374615 140726449374615 140726449377231 0
[pid=26873/tid=26937] ppid=26870 vsize=10995452 CPUtime=0.16 cores=0,2,4,6,8,10,12,14
/proc/26873/task/26937/stat : 26937 (java) S 26870 26873 20653 0 -1 1077944384 2502 12813 0 0 5 0 8 3 20 0 20 0 10485452 11259342848 82572 33554432000 4194304 4196468 140726449364704 140694531308272 140695781362306 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36806656 140726449371841 140726449374615 140726449374615 140726449377231 0
[pid=26873/tid=26938] ppid=26870 vsize=10995452 CPUtime=0.11 cores=0,2,4,6,8,10,12,14
/proc/26873/task/26938/stat : 26938 (java) S 26870 26873 20653 0 -1 1077944384 56 12813 0 0 0 0 8 3 20 0 20 0 10485453 11259342848 82572 33554432000 4194304 4196468 140726449364704 140694530254560 140695781361365 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 36806656 140726449371841 140726449374615 140726449374615 140726449377231 0
[pid=26873/tid=26939] ppid=26870 vsize=10995452 CPUtime=0.11 cores=0,2,4,6,8,10,12,14
/proc/26873/task/26939/stat : 26939 (java) S 26870 26873 20653 0 -1 1077944384 44 12813 0 0 0 0 8 3 20 0 20 0 10485453 11259342848 82572 33554432000 4194304 4196468 140726449364704 140694529201408 140695781361365 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36806656 140726449371841 140726449374615 140726449374615 140726449377231 0
[pid=26873/tid=26946] ppid=26870 vsize=10995452 CPUtime=0.11 cores=0,2,4,6,8,10,12,14
/proc/26873/task/26946/stat : 26946 (java) S 26870 26873 20653 0 -1 1077944384 1 12813 0 0 0 0 8 3 20 0 20 0 10485457 11259342848 82572 33554432000 4194304 4196468 140726449364704 140694528149968 140695781369755 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 36806656 140726449371841 140726449374615 140726449374615 140726449377231 0
[pid=26873/tid=26947] ppid=26870 vsize=10995452 CPUtime=1.46 cores=0,2,4,6,8,10,12,14
/proc/26873/task/26947/stat : 26947 (java) R 26870 26873 20653 0 -1 4202560 5019 12813 0 0 134 1 8 3 20 0 20 0 10485457 11259342848 82572 33554432000 4194304 4196468 140726449364704 140694527082952 140695762872315 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 36806656 140726449371841 140726449374615 140726449374615 140726449377231 0
[pid=26873/tid=26948] ppid=26870 vsize=10995452 CPUtime=1.65 cores=0,2,4,6,8,10,12,14
/proc/26873/task/26948/stat : 26948 (java) R 26870 26873 20653 0 -1 4202560 4082 12813 0 0 153 1 8 3 20 0 20 0 10485457 11259342848 82572 33554432000 4194304 4196468 140726449364704 140694526025552 140695764847947 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 36806656 140726449371841 140726449374615 140726449374615 140726449377231 0
[pid=26873/tid=26949] ppid=26870 vsize=10995452 CPUtime=1.27 cores=0,2,4,6,8,10,12,14
/proc/26873/task/26949/stat : 26949 (java) R 26870 26873 20653 0 -1 4202560 2239 12813 0 0 114 2 8 3 20 0 20 0 10485457 11259342848 82572 33554432000 4194304 4196468 140726449364704 140694524972560 140695766232848 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 36806656 140726449371841 140726449374615 140726449374615 140726449377231 0
[pid=26873/tid=26950] ppid=26870 vsize=10995452 CPUtime=1.64 cores=0,2,4,6,8,10,12,14
/proc/26873/task/26950/stat : 26950 (java) S 26870 26873 20653 0 -1 1077944384 4323 12813 0 0 152 1 8 3 20 0 20 0 10485457 11259342848 82572 33554432000 4194304 4196468 140726449364704 140694523938928 140695781362306 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36806656 140726449371841 140726449374615 140726449374615 140726449377231 0
[pid=26873/tid=26951] ppid=26870 vsize=10995452 CPUtime=0.11 cores=0,2,4,6,8,10,12,14
/proc/26873/task/26951/stat : 26951 (java) S 26870 26873 20653 0 -1 1077944384 3 12813 0 0 0 0 8 3 20 0 20 0 10485457 11259342848 82572 33554432000 4194304 4196468 140726449364704 140694522887136 140695781361365 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 36806656 140726449371841 140726449374615 140726449374615 140726449377231 0
[pid=26873/tid=26952] ppid=26870 vsize=10995452 CPUtime=0.11 cores=0,2,4,6,8,10,12,14
/proc/26873/task/26952/stat : 26952 (java) S 26870 26873 20653 0 -1 1077944384 6 12813 0 0 0 0 8 3 20 0 20 0 10485458 11259342848 82572 33554432000 4194304 4196468 140726449364704 140694521834672 140695781362306 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36806656 140726449371841 140726449374615 140726449374615 140726449377231 0
Current children cumulated CPU time (s) 9.9
Current children cumulated vsize (KiB) 10995452

[startup+4.40111 s]
/proc/loadavg: 3.19 2.05 1.71 9/284 27050
/proc/meminfo: memFree=31042012/32770624 swapFree=5704/308928
[pid=26873] ppid=26870 vsize=10995452 CPUtime=11.65 cores=0,2,4,6,8,10,12,14
/proc/26873/stat : 26873 (java) S 26870 26873 20653 0 -1 1077944320 69152 12813 0 0 1127 27 8 3 20 0 20 0 10485436 11259342848 85500 33554432000 4194304 4196468 140726449364704 140726449347248 140695781351159 0 0 0 16800975 18446744073709551615 0 0 17 8 0 0 0 0 0 6293624 6294260 36806656 140726449371841 140726449374615 140726449374615 140726449377231 0
/proc/26873/statm: 2748863 85500 3492 1 0 2736418 0
[pid=26873/tid=26928] ppid=26870 vsize=10995452 CPUtime=4.26 cores=0,2,4,6,8,10,12,14
/proc/26873/task/26928/stat : 26928 (java) R 26870 26873 20653 0 -1 4202560 45358 12813 0 0 404 11 8 3 20 0 20 0 10485449 11259342848 85500 33554432000 4194304 4196468 140726449364704 140695785581128 140695433148998 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 36806656 140726449371841 140726449374615 140726449374615 140726449377231 0
[pid=26873/tid=26929] ppid=26870 vsize=10995452 CPUtime=0.15 cores=0,2,4,6,8,10,12,14
/proc/26873/task/26929/stat : 26929 (java) S 26870 26873 20653 0 -1 1077944384 61 12813 0 0 4 0 8 3 20 0 20 0 10485450 11259342848 85500 33554432000 4194304 4196468 140726449364704 140695388560400 140695781361365 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 36806656 140726449371841 140726449374615 140726449374615 140726449377231 0
[pid=26873/tid=26930] ppid=26870 vsize=10995452 CPUtime=0.14 cores=0,2,4,6,8,10,12,14
/proc/26873/task/26930/stat : 26930 (java) S 26870 26873 20653 0 -1 1077944384 17 12813 0 0 3 0 8 3 20 0 20 0 10485450 11259342848 85500 33554432000 4194304 4196468 140726449364704 140695387507856 140695781361365 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36806656 140726449371841 140726449374615 140726449374615 140726449377231 0
[pid=26873/tid=26931] ppid=26870 vsize=10995452 CPUtime=0.14 cores=0,2,4,6,8,10,12,14
/proc/26873/task/26931/stat : 26931 (java) S 26870 26873 20653 0 -1 1077944384 160 12813 0 0 3 0 8 3 20 0 20 0 10485450 11259342848 85500 33554432000 4194304 4196468 140726449364704 140695386454800 140695781361365 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36806656 140726449371841 140726449374615 140726449374615 140726449377231 0
[pid=26873/tid=26932] ppid=26870 vsize=10995452 CPUtime=0.15 cores=0,2,4,6,8,10,12,14
/proc/26873/task/26932/stat : 26932 (java) S 26870 26873 20653 0 -1 1077944384 27 12813 0 0 3 1 8 3 20 0 20 0 10485450 11259342848 85500 33554432000 4194304 4196468 140726449364704 140695385402256 140695781361365 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36806656 140726449371841 140726449374615 140726449374615 140726449377231 0
[pid=26873/tid=26933] ppid=26870 vsize=10995452 CPUtime=0.15 cores=0,2,4,6,8,10,12,14
/proc/26873/task/26933/stat : 26933 (java) S 26870 26873 20653 0 -1 1077944384 176 12813 0 0 3 1 8 3 20 0 20 0 10485450 11259342848 85500 33554432000 4194304 4196468 140726449364704 140695384349200 140695781361365 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36806656 140726449371841 140726449374615 140726449374615 140726449377231 0
[pid=26873/tid=26934] ppid=26870 vsize=10995452 CPUtime=0.14 cores=0,2,4,6,8,10,12,14
/proc/26873/task/26934/stat : 26934 (java) S 26870 26873 20653 0 -1 1077944384 28 12813 0 0 3 0 8 3 20 0 20 0 10485450 11259342848 85500 33554432000 4194304 4196468 140726449364704 140695383296656 140695781361365 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 36806656 140726449371841 140726449374615 140726449374615 140726449377231 0
[pid=26873/tid=26935] ppid=26870 vsize=10995452 CPUtime=0.14 cores=0,2,4,6,8,10,12,14
/proc/26873/task/26935/stat : 26935 (java) S 26870 26873 20653 0 -1 1077944384 26 12813 0 0 3 0 8 3 20 0 20 0 10485450 11259342848 85500 33554432000 4194304 4196468 140726449364704 140695382243600 140695781361365 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 36806656 140726449371841 140726449374615 140726449374615 140726449377231 0
[pid=26873/tid=26936] ppid=26870 vsize=10995452 CPUtime=0.14 cores=0,2,4,6,8,10,12,14
/proc/26873/task/26936/stat : 26936 (java) S 26870 26873 20653 0 -1 1077944384 19 12813 0 0 3 0 8 3 20 0 20 0 10485450 11259342848 85500 33554432000 4194304 4196468 140726449364704 140695381191056 140695781361365 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36806656 140726449371841 140726449374615 140726449374615 140726449377231 0
[pid=26873/tid=26937] ppid=26870 vsize=10995452 CPUtime=0.16 cores=0,2,4,6,8,10,12,14
/proc/26873/task/26937/stat : 26937 (java) S 26870 26873 20653 0 -1 1077944384 2502 12813 0 0 5 0 8 3 20 0 20 0 10485452 11259342848 85500 33554432000 4194304 4196468 140726449364704 140694531308272 140695781362306 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36806656 140726449371841 140726449374615 140726449374615 140726449377231 0
[pid=26873/tid=26938] ppid=26870 vsize=10995452 CPUtime=0.11 cores=0,2,4,6,8,10,12,14
/proc/26873/task/26938/stat : 26938 (java) S 26870 26873 20653 0 -1 1077944384 56 12813 0 0 0 0 8 3 20 0 20 0 10485453 11259342848 85500 33554432000 4194304 4196468 140726449364704 140694530254560 140695781361365 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 36806656 140726449371841 140726449374615 140726449374615 140726449377231 0
[pid=26873/tid=26939] ppid=26870 vsize=10995452 CPUtime=0.11 cores=0,2,4,6,8,10,12,14
/proc/26873/task/26939/stat : 26939 (java) S 26870 26873 20653 0 -1 1077944384 44 12813 0 0 0 0 8 3 20 0 20 0 10485453 11259342848 85500 33554432000 4194304 4196468 140726449364704 140694529201408 140695781361365 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36806656 140726449371841 140726449374615 140726449374615 140726449377231 0
[pid=26873/tid=26946] ppid=26870 vsize=10995452 CPUtime=0.11 cores=0,2,4,6,8,10,12,14
/proc/26873/task/26946/stat : 26946 (java) S 26870 26873 20653 0 -1 1077944384 1 12813 0 0 0 0 8 3 20 0 20 0 10485457 11259342848 85500 33554432000 4194304 4196468 140726449364704 140694528149968 140695781369755 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 36806656 140726449371841 140726449374615 140726449374615 140726449377231 0
[pid=26873/tid=26947] ppid=26870 vsize=10995452 CPUtime=1.88 cores=0,2,4,6,8,10,12,14
/proc/26873/task/26947/stat : 26947 (java) R 26870 26873 20653 0 -1 4202560 7199 12813 0 0 175 2 8 3 20 0 20 0 10485457 11259342848 85500 33554432000 4194304 4196468 140726449364704 140694527083888 140695766277717 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 36806656 140726449371841 140726449374615 140726449374615 140726449377231 0
[pid=26873/tid=26948] ppid=26870 vsize=10995452 CPUtime=2.07 cores=0,2,4,6,8,10,12,14
/proc/26873/task/26948/stat : 26948 (java) R 26870 26873 20653 0 -1 4202560 4443 12813 0 0 194 2 8 3 20 0 20 0 10485457 11259342848 85500 33554432000 4194304 4196468 140726449364704 140694526031072 140695762525173 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 36806656 140726449371841 140726449374615 140726449374615 140726449377231 0
[pid=26873/tid=26949] ppid=26870 vsize=10995452 CPUtime=1.68 cores=0,2,4,6,8,10,12,14
/proc/26873/task/26949/stat : 26949 (java) R 26870 26873 20653 0 -1 4202560 2408 12813 0 0 155 2 8 3 20 0 20 0 10485457 11259342848 85500 33554432000 4194304 4196468 140726449364704 140694524977696 140695764882687 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 36806656 140726449371841 140726449374615 140726449374615 140726449377231 0
[pid=26873/tid=26950] ppid=26870 vsize=10995452 CPUtime=1.73 cores=0,2,4,6,8,10,12,14
/proc/26873/task/26950/stat : 26950 (java) S 26870 26873 20653 0 -1 1077944384 4489 12813 0 0 161 1 8 3 20 0 20 0 10485457 11259342848 85500 33554432000 4194304 4196468 140726449364704 140694523938928 140695781362306 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 36806656 140726449371841 140726449374615 140726449374615 140726449377231 0
[pid=26873/tid=26951] ppid=26870 vsize=10995452 CPUtime=0.11 cores=0,2,4,6,8,10,12,14
/proc/26873/task/26951/stat : 26951 (java) S 26870 26873 20653 0 -1 1077944384 3 12813 0 0 0 0 8 3 20 0 20 0 10485457 11259342848 85500 33554432000 4194304 4196468 140726449364704 140694522887136 140695781361365 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 36806656 140726449371841 140726449374615 140726449374615 140726449377231 0
[pid=26873/tid=26952] ppid=26870 vsize=10995452 CPUtime=0.11 cores=0,2,4,6,8,10,12,14
/proc/26873/task/26952/stat : 26952 (java) S 26870 26873 20653 0 -1 1077944384 7 12813 0 0 0 0 8 3 20 0 20 0 10485458 11259342848 85500 33554432000 4194304 4196468 140726449364704 140694521834672 140695781362306 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36806656 140726449371841 140726449374615 140726449374615 140726449377231 0
Current children cumulated CPU time (s) 11.65
Current children cumulated vsize (KiB) 10995452

[startup+4.80075 s]
/proc/loadavg: 3.19 2.05 1.71 9/284 27050
/proc/meminfo: memFree=31042012/32770624 swapFree=5704/308928
[pid=26873] ppid=26870 vsize=0 CPUtime=13.26 cores=0,2,4,6,8,10,12,14
/proc/26873/stat : 26873 (java) Z 26870 26873 20653 0 -1 4227084 69649 12813 0 0 1286 29 8 3 20 0 2 0 10485436 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 8 0 0 0 0 0 0 0 0 0 0 0 0 0
/proc/26873/statm: 0 0 0 0 0 0 0
[pid=26873/tid=26939] ppid=26870 vsize=0 CPUtime=0.11 cores=0,2,4,6,8,10,12,14
/proc/26873/task/26939/stat : 26939 (java) R 26870 26873 20653 0 -1 4203588 45 12813 0 0 0 0 8 3 20 0 2 0 10485453 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 14 0 0 0 0 0 0 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 13.26
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 4.8079
CPU time (s): 13.2805
CPU user time (s): 12.9495
CPU system time (s): 0.331098
CPU usage (%): 276.224
Max. virtual memory (cumulated for all children) (KiB): 10997548

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 12.9495
system time used= 0.331098
maximum resident set size= 362768
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 82462
page faults= 0
swaps= 0
block input operations= 0
block output operations= 184
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 9289
involuntary context switches= 1313

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.047045 second user time and 0.055408 second system time

The end

Launcher Data 

Begin job on node134 at 2017-07-22 21:36:23
IDJOB=4248792
IDBENCH=134274
IDSOLVER=2630
FILE ID=node134/4248792-1500752182
RUNJOBID= node134-1500747505-24291
PBS_JOBID= 20623359
Free space on /tmp= 61984 MiB

SOLVER NAME= Concrete 3.4
BENCH NAME= XCSP17/Nonogram/Nonogram-regular-gp/Nonogram-008-regular.xml
COMMAND LINE= bin/concrete BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4248792-1500752182/watcher-4248792-1500752182 -o /tmp/evaluation-result-4248792-1500752182/solver-4248792-1500752182 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node134-1500747505-24291 --watchdog 2560  bin/concrete HOME/instance-4248792-1500752182.xml

TIME LIMIT= 2400 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 8

MD5SUM BENCH= dd63ae4b0206daae1274a64f5a57f0ca
RANDOM SEED=1238862602

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

/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		: 1600.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
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.84
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		: 1600.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
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		: 2267.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
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.84
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		: 1600.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
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		: 1600.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
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.84
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	: 8
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		: 1867.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
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.84
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		: 1600.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
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:

processor	: 8
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 0
cpu cores	: 4
apicid		: 1
initial apicid	: 1
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.84
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 9
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2400.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 0
cpu cores	: 4
apicid		: 17
initial apicid	: 17
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	: 10
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2533.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 1
cpu cores	: 4
apicid		: 3
initial apicid	: 3
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.84
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 11
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1733.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 1
cpu cores	: 4
apicid		: 19
initial apicid	: 19
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	: 12
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 2
cpu cores	: 4
apicid		: 5
initial apicid	: 5
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.84
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 13
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2667.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 2
cpu cores	: 4
apicid		: 21
initial apicid	: 21
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	: 14
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2267.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 3
cpu cores	: 4
apicid		: 7
initial apicid	: 7
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.84
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 15
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 3
cpu cores	: 4
apicid		: 23
initial apicid	: 23
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:        31659748 kB
MemAvailable:   31981680 kB
Buffers:          153080 kB
Cached:           448676 kB
SwapCached:            0 kB
Active:           359884 kB
Inactive:         318028 kB
Active(anon):      79184 kB
Inactive(anon):     8856 kB
Active(file):     280700 kB
Inactive(file):   309172 kB
Unevictable:        5704 kB
Mlocked:            5704 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             25792 kB
Writeback:             0 kB
AnonPages:         68996 kB
Mapped:            42512 kB
Shmem:              8872 kB
Slab:             129764 kB
SReclaimable:      95788 kB
SUnreclaim:        33976 kB
KernelStack:        4896 kB
PageTables:         4852 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    1166596 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      144768 kB
DirectMap2M:    33400832 kB

Free space on /tmp at the end= 61960 MiB
End job on node134 at 2017-07-22 21:36:28