Trace number 4271086

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
choco-solver 4.0.5 par (2017-08-09)SAT 15.243 2.54915

General information on the benchmark

NameOrtholatin/Ortholatin-m1-s1/
Ortholatin-016.xml
MD5SUM6d65a76f46cedd698fe2b492b618a08c
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 benchmark11.1101
Satisfiable
(Un)Satisfiability was proved
Number of variables768
Number of constraints261
Number of domains2
Minimum domain size16
Maximum domain size256
Distribution of domain sizes[{"size":16,"count":512},{"size":256,"count":256}]
Minimum variable degree2
Maximum variable degree3
Distribution of variable degrees[{"degree":2,"count":736},{"degree":3,"count":32}]
Minimum constraint arity3
Maximum constraint arity256
Distribution of constraint arities[{"arity":3,"count":256},{"arity":16,"count":2},{"arity":256,"count":3}]
Number of extensional constraints256
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":256},{"type":"allDifferent","count":3},{"type":"instantiation","count":2}]
Optimization problemNO
Type of objective

Solver Data 

0.00/0.00	c java -server -Xmx22000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4271086-1502754465.xml"  -tl '20160s' -p 8 -x 0
0.12/0.14	c [HOME/instance-4271086-1502754465.xml, -tl, 20160s, -p, 8, -x, 0]
0.12/0.20	c 8 solvers in parallel
0.33/0.27	c parse instance...
2.20/0.85	c solve instance...
14.44/2.49	s SATISFIABLE
14.44/2.49	v <instantiation>
14.44/2.49	v 	<list>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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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] y[0][0] y[0][1] y[0][2] y[0][3] y[0][4] y[0][5] y[0][6] y[0][7] y[0][8] y[0][9] y[0][10] y[0][11] y[0][12] y[0][13] y[0][14] y[0][15] y[1][0] y[1][1] y[1][2] y[1][3] y[1][4] y[1][5] y[1][6] y[1][7] y[1][8] y[1][9] y[1][10] y[1][11] y[1][12] y[1][13] y[1][14] y[1][15] y[2][0] y[2][1] y[2][2] y[2][3] y[2][4] y[2][5] y[2][6] y[2][7] y[2][8] y[2][9] y[2][10] y[2][11] y[2][12] y[2][13] y[2][14] y[2][15] y[3][0] y[3][1] y[3][2] y[3][3] y[3][4] y[3][5] y[3][6] y[3][7] y[3][8] y[3][9] y[3][10] y[3][11] y[3][12] y[3][13] y[3][14] y[3][15] y[4][0] y[4][1] y[4][2] y[4][3] y[4][4] y[4][5] y[4][6] y[4][7] y[4][8] y[4][9] y[4][10] y[4][11] y[4][12] y[4][13] y[4][14] y[4][15] y[5][0] y[5][1] y[5][2] y[5][3] y[5][4] y[5][5] y[5][6] y[5][7] y[5][8] y[5][9] y[5][10] y[5][11] y[5][12] y[5][13] y[5][14] y[5][15] y[6][0] y[6][1] y[6][2] y[6][3] y[6][4] y[6][5] y[6][6] y[6][7] y[6][8] y[6][9] y[6][10] y[6][11] y[6][12] y[6][13] y[6][14] y[6][15] y[7][0] y[7][1] y[7][2] y[7][3] y[7][4] y[7][5] y[7][6] y[7][7] y[7][8] y[7][9] y[7][10] y[7][11] y[7][12] y[7][13] y[7][14] y[7][15] y[8][0] y[8][1] y[8][2] y[8][3] y[8][4] y[8][5] y[8][6] y[8][7] y[8][8] y[8][9] y[8][10] y[8][11] y[8][12] y[8][13] y[8][14] y[8][15] y[9][0] y[9][1] y[9][2] y[9][3] y[9][4] y[9][5] y[9][6] y[9][7] y[9][8] y[9][9] y[9][10] y[9][11] y[9][12] y[9][13] y[9][14] y[9][15] y[10][0] y[10][1] y[10][2] y[10][3] y[10][4] y[10][5] y[10][6] y[10][7] y[10][8] y[10][9] y[10][10] y[10][11] y[10][12] y[10][13] y[10][14] y[10][15] y[11][0] y[11][1] y[11][2] y[11][3] y[11][4] y[11][5] y[11][6] y[11][7] y[11][8] y[11][9] y[11][10] y[11][11] y[11][12] y[11][13] y[11][14] y[11][15] y[12][0] y[12][1] y[12][2] y[12][3] y[12][4] y[12][5] y[12][6] y[12][7] y[12][8] y[12][9] y[12][10] y[12][11] y[12][12] y[12][13] y[12][14] y[12][15] y[13][0] y[13][1] y[13][2] y[13][3] y[13][4] y[13][5] y[13][6] y[13][7] y[13][8] y[13][9] y[13][10] y[13][11] y[13][12] y[13][13] y[13][14] y[13][15] y[14][0] y[14][1] y[14][2] y[14][3] y[14][4] y[14][5] y[14][6] y[14][7] y[14][8] y[14][9] y[14][10] y[14][11] y[14][12] y[14][13] y[14][14] y[14][15] y[15][0] y[15][1] y[15][2] y[15][3] y[15][4] y[15][5] y[15][6] y[15][7] y[15][8] y[15][9] y[15][10] y[15][11] y[15][12] y[15][13] y[15][14] y[15][15] z[0] z[1] z[2] z[3] z[4] z[5] z[6] z[7] z[8] z[9] z[10] z[11] z[12] z[13] z[14] z[15] z[16] z[17] z[18] z[19] z[20] z[21] z[22] z[23] z[24] z[25] z[26] z[27] z[28] z[29] z[30] z[31] z[32] z[33] z[34] z[35] z[36] z[37] z[38] z[39] z[40] z[41] z[42] z[43] z[44] z[45] z[46] z[47] z[48] z[49] z[50] z[51] z[52] z[53] z[54] z[55] z[56] z[57] z[58] z[59] z[60] z[61] z[62] z[63] z[64] z[65] z[66] z[67] z[68] z[69] z[70] z[71] z[72] z[73] z[74] z[75] z[76] z[77] z[78] z[79] z[80] z[81] z[82] z[83] z[84] z[85] z[86] z[87] z[88] z[89] z[90] z[91] z[92] z[93] z[94] z[95] z[96] z[97] z[98] z[99] z[100] z[101] z[102] z[103] z[104] z[105] z[106] z[107] z[108] z[109] z[110] z[111] z[112] z[113] z[114] z[115] z[116] z[117] z[118] z[119] z[120] z[121] z[122] z[123] z[124] z[125] z[126] z[127] z[128] z[129] z[130] z[131] z[132] z[133] z[134] z[135] z[136] z[137] z[138] z[139] z[140] z[141] z[142] z[143] z[144] z[145] z[146] z[147] z[148] z[149] z[150] z[151] z[152] z[153] z[154] z[155] z[156] z[157] z[158] z[159] z[160] z[161] z[162] z[163] z[164] z[165] z[166] z[167] z[168] z[169] z[170] z[171] z[172] z[173] z[174] z[175] z[176] z[177] z[178] z[179] z[180] z[181] z[182] z[183] z[184] z[185] z[186] z[187] z[188] z[189] z[190] z[191] z[192] z[193] z[194] z[195] z[196] z[197] z[198] z[199] z[200] z[201] z[202] z[203] z[204] z[205] z[206] z[207] z[208] z[209] z[210] z[211] z[212] z[213] z[214] z[215] z[216] z[217] z[218] z[219] z[220] z[221] z[222] z[223] z[224] z[225] z[226] z[227] z[228] z[229] z[230] z[231] z[232] z[233] z[234] z[235] z[236] z[237] z[238] z[239] z[240] z[241] z[242] z[243] z[244] z[245] z[246] z[247] z[248] z[249] z[250] z[251] z[252] z[253] z[254] z[255] </list>
14.44/2.49	v 	<values>0 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 1 0 3 2 5 4 7 6 9 8 11 10 13 12 15 14 2 3 0 1 6 7 4 5 10 11 8 9 14 15 12 13 3 2 1 0 7 6 5 4 11 10 9 8 15 14 13 12 4 5 6 7 0 1 2 3 12 13 14 15 8 9 10 11 5 4 7 6 1 0 3 2 13 12 15 14 9 8 11 10 6 7 4 5 2 3 0 1 14 15 12 13 10 11 8 9 7 6 5 4 3 2 1 0 15 14 13 12 11 10 9 8 8 9 10 11 12 13 14 15 0 1 2 3 4 5 6 7 9 8 11 10 13 12 15 14 1 0 3 2 5 4 7 6 10 11 8 9 14 15 12 13 2 3 0 1 6 7 4 5 11 10 9 8 15 14 13 12 3 2 1 0 7 6 5 4 12 13 14 15 8 9 10 11 4 5 6 7 0 1 2 3 13 12 15 14 9 8 11 10 5 4 7 6 1 0 3 2 14 15 12 13 10 11 8 9 6 7 4 5 2 3 0 1 15 14 13 12 11 10 9 8 7 6 5 4 3 2 1 0 0 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 2 3 0 1 6 7 4 5 10 11 8 9 14 15 12 13 3 2 1 0 7 6 5 4 11 10 9 8 15 14 13 12 1 0 3 2 5 4 7 6 9 8 11 10 13 12 15 14 8 9 10 11 12 13 14 15 0 1 2 3 4 5 6 7 10 11 8 9 14 15 12 13 2 3 0 1 6 7 4 5 11 10 9 8 15 14 13 12 3 2 1 0 7 6 5 4 9 8 11 10 13 12 15 14 1 0 3 2 5 4 7 6 12 13 14 15 8 9 10 11 4 5 6 7 0 1 2 3 14 15 12 13 10 11 8 9 6 7 4 5 2 3 0 1 15 14 13 12 11 10 9 8 7 6 5 4 3 2 1 0 13 12 15 14 9 8 11 10 5 4 7 6 1 0 3 2 4 5 6 7 0 1 2 3 12 13 14 15 8 9 10 11 6 7 4 5 2 3 0 1 14 15 12 13 10 11 8 9 7 6 5 4 3 2 1 0 15 14 13 12 11 10 9 8 5 4 7 6 1 0 3 2 13 12 15 14 9 8 11 10 0 17 34 51 68 85 102 119 136 153 170 187 204 221 238 255 18 3 48 33 86 71 116 101 154 139 184 169 222 207 252 237 35 50 1 16 103 118 69 84 171 186 137 152 239 254 205 220 49 32 19 2 117 100 87 70 185 168 155 138 253 236 223 206 72 89 106 123 12 29 46 63 192 209 226 243 132 149 166 183 90 75 120 105 30 15 60 45 210 195 240 225 150 135 180 165 107 122 73 88 47 62 13 28 227 242 193 208 167 182 133 148 121 104 91 74 61 44 31 14 241 224 211 194 181 164 151 134 140 157 174 191 200 217 234 251 4 21 38 55 64 81 98 115 158 143 188 173 218 203 248 233 22 7 52 37 82 67 112 97 175 190 141 156 235 250 201 216 39 54 5 20 99 114 65 80 189 172 159 142 249 232 219 202 53 36 23 6 113 96 83 66 196 213 230 247 128 145 162 179 76 93 110 127 8 25 42 59 214 199 244 229 146 131 176 161 94 79 124 109 26 11 56 41 231 246 197 212 163 178 129 144 111 126 77 92 43 58 9 24 245 228 215 198 177 160 147 130 125 108 95 78 57 40 27 10 </values>
14.44/2.49	v </instantiation>

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 (13327 MiB free)
  memory of node 1: 16384 MiB (13786 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4271086-1502754465/watcher-4271086-1502754465 -o /tmp/evaluation-result-4271086-1502754465/solver-4271086-1502754465 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node149-1502753606-9050 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 22000 -tdir HOME -seed 414346206 HOME/instance-4271086-1502754465.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
solver pid=9067, runsolver pid=9064
Current StackSize limit: 8192 KiB


[startup+0.104296 s]*
/proc/loadavg: 9.00 9.57 9.69 2/201 9088
/proc/meminfo: memFree=27749656/32770624 swapFree=67108860/67108860
[pid=9067] ppid=9064 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/9067/stat : 9067 (xcsp3-exec) S 9064 9067 9023 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 108527351 9740288 346 33554432000 4194304 5098028 140732872188784 140732872186888 140557935317628 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 23261184 140732872197221 140732872197431 140732872197431 140732872200171 0
/proc/9067/statm: 2378 346 289 221 0 87 0
[pid=9069] ppid=9067 vsize=25999808 memory=26592 CPUtime=0.12 cores=0-7
/proc/9069/stat : 9069 (java) S 9067 9067 9023 0 -1 1077944320 5519 0 0 0 11 1 0 0 20 0 20 0 108527352 26623803392 6648 33554432000 4194304 4196468 140726575537472 140726575520016 139847666544375 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 14123008 140726575543442 140726575543619 140726575543619 140726575546319 0
/proc/9069/statm: 6499952 6648 2847 1 0 6488269 0
[pid=9069/tid=9070] ppid=9067 vsize=25999808 memory=4569637887585448864 CPUtime=0.09 cores=0-7
/proc/9069/task/9070/stat : 9070 (java) R 9067 9067 9023 0 -1 4202560 3513 0 0 0 9 0 0 0 20 0 20 0 108527352 26623803392 6714 33554432000 4194304 4196468 140726575537472 139847670768176 139847666556310 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 14123008 140726575543442 140726575543619 140726575543619 140726575546319 0
[pid=9069/tid=9071] ppid=9067 vsize=25999808 memory=732370391604968421 CPUtime=0 cores=0-7
/proc/9069/task/9071/stat : 9071 (java) S 9067 9067 9023 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 108527353 26623803392 6714 33554432000 4194304 4196468 140726575537472 139847224805904 139847666554581 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14123008 140726575543442 140726575543619 140726575543619 140726575546319 0
[pid=9069/tid=9072] ppid=9067 vsize=25999808 memory=140253267515008 CPUtime=0 cores=0-7
/proc/9069/task/9072/stat : 9072 (java) S 9067 9067 9023 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 108527353 26623803392 6714 33554432000 4194304 4196468 140726575537472 139847223753360 139847666554581 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14123008 140726575543442 140726575543619 140726575543619 140726575546319 0
[pid=9069/tid=9073] ppid=9067 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/9069/task/9073/stat : 9073 (java) S 9067 9067 9023 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 108527353 26623803392 6714 33554432000 4194304 4196468 140726575537472 139847222700304 139847666554581 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14123008 140726575543442 140726575543619 140726575543619 140726575546319 0
[pid=9069/tid=9074] ppid=9067 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/9069/task/9074/stat : 9074 (java) S 9067 9067 9023 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 108527353 26623803392 6714 33554432000 4194304 4196468 140726575537472 139847221647760 139847666554581 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14123008 140726575543442 140726575543619 140726575543619 140726575546319 0
[pid=9069/tid=9075] ppid=9067 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/9069/task/9075/stat : 9075 (java) S 9067 9067 9023 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 108527353 26623803392 6714 33554432000 4194304 4196468 140726575537472 139847220595728 139847666554581 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14123008 140726575543442 140726575543619 140726575543619 140726575546319 0
[pid=9069/tid=9076] ppid=9067 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/9069/task/9076/stat : 9076 (java) S 9067 9067 9023 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 108527353 26623803392 6714 33554432000 4194304 4196468 140726575537472 139847219543184 139847666554581 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14123008 140726575543442 140726575543619 140726575543619 140726575546319 0
[pid=9069/tid=9077] ppid=9067 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/9069/task/9077/stat : 9077 (java) S 9067 9067 9023 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 108527353 26623803392 6714 33554432000 4194304 4196468 140726575537472 139847218490128 139847666554581 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14123008 140726575543442 140726575543619 140726575543619 140726575546319 0
[pid=9069/tid=9078] ppid=9067 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/9069/task/9078/stat : 9078 (java) S 9067 9067 9023 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 108527353 26623803392 6714 33554432000 4194304 4196468 140726575537472 139847217437584 139847666554581 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14123008 140726575543442 140726575543619 140726575543619 140726575546319 0
[pid=9069/tid=9079] ppid=9067 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/9069/task/9079/stat : 9079 (java) S 9067 9067 9023 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 108527354 26623803392 6714 33554432000 4194304 4196468 140726575537472 139846928189680 139847666555522 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14123008 140726575543442 140726575543619 140726575543619 140726575546319 0
[pid=9069/tid=9080] ppid=9067 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/9069/task/9080/stat : 9080 (java) S 9067 9067 9023 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 108527355 26623803392 6714 33554432000 4194304 4196468 140726575537472 139846927135904 139847666554581 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14123008 140726575543442 140726575543619 140726575543619 140726575546319 0
[pid=9069/tid=9081] ppid=9067 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/9069/task/9081/stat : 9081 (java) S 9067 9067 9023 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 108527355 26623803392 6714 33554432000 4194304 4196468 140726575537472 139846926082800 139847666554581 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14123008 140726575543442 140726575543619 140726575543619 140726575546319 0
[pid=9069/tid=9082] ppid=9067 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/9069/task/9082/stat : 9082 (java) S 9067 9067 9023 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 108527357 26623803392 6714 33554432000 4194304 4196468 140726575537472 139846925031376 139847666562971 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14123008 140726575543442 140726575543619 140726575543619 140726575546319 0
[pid=9069/tid=9083] ppid=9067 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/9069/task/9083/stat : 9083 (java) S 9067 9067 9023 0 -1 1077944384 28 0 0 0 0 0 0 0 20 0 20 0 108527357 26623803392 6714 33554432000 4194304 4196468 140726575537472 139846923979504 139847666555522 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14123008 140726575543442 140726575543619 140726575543619 140726575546319 0
[pid=9069/tid=9084] ppid=9067 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/9069/task/9084/stat : 9084 (java) S 9067 9067 9023 0 -1 1077944384 121 0 0 0 0 0 0 0 20 0 20 0 108527357 26623803392 6714 33554432000 4194304 4196468 140726575537472 139846922926960 139847666555522 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14123008 140726575543442 140726575543619 140726575543619 140726575546319 0
[pid=9069/tid=9085] ppid=9067 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/9069/task/9085/stat : 9085 (java) S 9067 9067 9023 0 -1 1077944384 276 0 0 0 0 0 0 0 20 0 20 0 108527357 26623803392 6714 33554432000 4194304 4196468 140726575537472 139846921873904 139847666555522 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14123008 140726575543442 140726575543619 140726575543619 140726575546319 0
[pid=9069/tid=9086] ppid=9067 vsize=25999808 memory=0 CPUtime=0.01 cores=0-7
/proc/9069/task/9086/stat : 9086 (java) R 9067 9067 9023 0 -1 4202560 340 0 0 0 1 0 0 0 20 0 20 0 108527357 26623803392 6714 33554432000 4194304 4196468 140726575537472 139846920821360 139847303843950 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14123008 140726575543442 140726575543619 140726575543619 140726575546319 0
[pid=9069/tid=9087] ppid=9067 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/9069/task/9087/stat : 9087 (java) S 9067 9067 9023 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 108527358 26623803392 6714 33554432000 4194304 4196468 140726575537472 139846919768544 139847666554581 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14123008 140726575543442 140726575543619 140726575543619 140726575546319 0
[pid=9069/tid=9088] ppid=9067 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/9069/task/9088/stat : 9088 (java) S 9067 9067 9023 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 108527358 26623803392 6714 33554432000 4194304 4196468 140726575537472 139846918716080 139847666555522 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14123008 140726575543442 140726575543619 140726575543619 140726575546319 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 26009320 KiB
Current children cumulated memory: 27976 KiB

[startup+0.210505 s]*
/proc/loadavg: 9.00 9.57 9.69 3/201 9088
/proc/meminfo: memFree=27738632/32770624 swapFree=67108860/67108860
[pid=9067] ppid=9064 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/9067/stat : 9067 (xcsp3-exec) S 9064 9067 9023 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 108527351 9740288 346 33554432000 4194304 5098028 140732872188784 140732872186888 140557935317628 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 23261184 140732872197221 140732872197431 140732872197431 140732872200171 0
/proc/9067/statm: 2378 346 289 221 0 87 0
[pid=9069] ppid=9067 vsize=26004064 memory=38952 CPUtime=0.33 cores=0-7
/proc/9069/stat : 9069 (java) S 9067 9067 9023 0 -1 1077944320 8334 0 0 0 31 2 0 0 20 0 20 0 108527352 26628161536 9738 33554432000 4194304 4196468 140726575537472 140726575520016 139847666544375 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 14123008 140726575543442 140726575543619 140726575543619 140726575546319 0
/proc/9069/statm: 6501016 9738 3020 1 0 6488269 0
[pid=9069/tid=9070] ppid=9067 vsize=26004064 memory=0 CPUtime=0.19 cores=0-7
/proc/9069/task/9070/stat : 9070 (java) R 9067 9067 9023 0 -1 4202560 5420 0 0 0 18 1 0 0 20 0 20 0 108527352 26628161536 9738 33554432000 4194304 4196468 140726575537472 139847670765200 139847666566301 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 14123008 140726575543442 140726575543619 140726575543619 140726575546319 0
[pid=9069/tid=9071] ppid=9067 vsize=26004064 memory=280506431198968 CPUtime=0 cores=0-7
/proc/9069/task/9071/stat : 9071 (java) S 9067 9067 9023 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 108527353 26628161536 9738 33554432000 4194304 4196468 140726575537472 139847224805904 139847666554581 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14123008 140726575543442 140726575543619 140726575543619 140726575546319 0
[pid=9069/tid=9072] ppid=9067 vsize=26004064 memory=140253267515008 CPUtime=0 cores=0-7
/proc/9069/task/9072/stat : 9072 (java) S 9067 9067 9023 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 108527353 26628161536 9738 33554432000 4194304 4196468 140726575537472 139847223753360 139847666554581 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14123008 140726575543442 140726575543619 140726575543619 140726575546319 0
[pid=9069/tid=9073] ppid=9067 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/9069/task/9073/stat : 9073 (java) S 9067 9067 9023 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 108527353 26628161536 9738 33554432000 4194304 4196468 140726575537472 139847222700304 139847666554581 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14123008 140726575543442 140726575543619 140726575543619 140726575546319 0
[pid=9069/tid=9074] ppid=9067 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/9069/task/9074/stat : 9074 (java) S 9067 9067 9023 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 108527353 26628161536 9738 33554432000 4194304 4196468 140726575537472 139847221647760 139847666554581 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14123008 140726575543442 140726575543619 140726575543619 140726575546319 0
[pid=9069/tid=9075] ppid=9067 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/9069/task/9075/stat : 9075 (java) S 9067 9067 9023 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 108527353 26628161536 9738 33554432000 4194304 4196468 140726575537472 139847220595728 139847666554581 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14123008 140726575543442 140726575543619 140726575543619 140726575546319 0
[pid=9069/tid=9076] ppid=9067 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/9069/task/9076/stat : 9076 (java) S 9067 9067 9023 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 108527353 26628161536 9738 33554432000 4194304 4196468 140726575537472 139847219543184 139847666554581 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14123008 140726575543442 140726575543619 140726575543619 140726575546319 0
[pid=9069/tid=9077] ppid=9067 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/9069/task/9077/stat : 9077 (java) S 9067 9067 9023 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 108527353 26628161536 9738 33554432000 4194304 4196468 140726575537472 139847218490128 139847666554581 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14123008 140726575543442 140726575543619 140726575543619 140726575546319 0
[pid=9069/tid=9078] ppid=9067 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/9069/task/9078/stat : 9078 (java) S 9067 9067 9023 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 108527353 26628161536 9738 33554432000 4194304 4196468 140726575537472 139847217437584 139847666554581 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14123008 140726575543442 140726575543619 140726575543619 140726575546319 0
[pid=9069/tid=9079] ppid=9067 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/9069/task/9079/stat : 9079 (java) S 9067 9067 9023 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 108527354 26628161536 9738 33554432000 4194304 4196468 140726575537472 139846928189680 139847666555522 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14123008 140726575543442 140726575543619 140726575543619 140726575546319 0
[pid=9069/tid=9080] ppid=9067 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/9069/task/9080/stat : 9080 (java) S 9067 9067 9023 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 108527355 26628161536 9738 33554432000 4194304 4196468 140726575537472 139846927135904 139847666554581 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14123008 140726575543442 140726575543619 140726575543619 140726575546319 0
[pid=9069/tid=9081] ppid=9067 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/9069/task/9081/stat : 9081 (java) S 9067 9067 9023 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 108527355 26628161536 9738 33554432000 4194304 4196468 140726575537472 139846926082800 139847666554581 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14123008 140726575543442 140726575543619 140726575543619 140726575546319 0
[pid=9069/tid=9082] ppid=9067 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/9069/task/9082/stat : 9082 (java) S 9067 9067 9023 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 108527357 26628161536 9738 33554432000 4194304 4196468 140726575537472 139846925031376 139847666562971 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14123008 140726575543442 140726575543619 140726575543619 140726575546319 0
[pid=9069/tid=9083] ppid=9067 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/9069/task/9083/stat : 9083 (java) S 9067 9067 9023 0 -1 1077944384 202 0 0 0 0 0 0 0 20 0 20 0 108527357 26628161536 9738 33554432000 4194304 4196468 140726575537472 139846923979504 139847666555522 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14123008 140726575543442 140726575543619 140726575543619 140726575546319 0
[pid=9069/tid=9084] ppid=9067 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7
/proc/9069/task/9084/stat : 9084 (java) S 9067 9067 9023 0 -1 1077944384 250 0 0 0 1 0 0 0 20 0 20 0 108527357 26628161536 9738 33554432000 4194304 4196468 140726575537472 139846922926960 139847666555522 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14123008 140726575543442 140726575543619 140726575543619 140726575546319 0
[pid=9069/tid=9085] ppid=9067 vsize=26004064 memory=0 CPUtime=0.02 cores=0-7
/proc/9069/task/9085/stat : 9085 (java) S 9067 9067 9023 0 -1 1077944384 396 0 0 0 2 0 0 0 20 0 20 0 108527357 26628161536 9738 33554432000 4194304 4196468 140726575537472 139846921873904 139847666555522 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14123008 140726575543442 140726575543619 140726575543619 140726575546319 0
[pid=9069/tid=9086] ppid=9067 vsize=26004064 memory=0 CPUtime=0.07 cores=0-7
/proc/9069/task/9086/stat : 9086 (java) R 9067 9067 9023 0 -1 4202560 757 0 0 0 7 0 0 0 20 0 20 0 108527357 26628161536 9738 33554432000 4194304 4196468 140726575537472 139846920821360 139847650624862 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14123008 140726575543442 140726575543619 140726575543619 140726575546319 0
[pid=9069/tid=9087] ppid=9067 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/9069/task/9087/stat : 9087 (java) S 9067 9067 9023 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 108527358 26628161536 9738 33554432000 4194304 4196468 140726575537472 139846919768544 139847666554581 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14123008 140726575543442 140726575543619 140726575543619 140726575546319 0
[pid=9069/tid=9088] ppid=9067 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/9069/task/9088/stat : 9088 (java) S 9067 9067 9023 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 108527358 26628161536 9738 33554432000 4194304 4196468 140726575537472 139846918716080 139847666555522 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14123008 140726575543442 140726575543619 140726575543619 140726575546319 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 40336 KiB

[startup+0.310341 s]*
/proc/loadavg: 9.00 9.57 9.69 3/201 9088
/proc/meminfo: memFree=27734104/32770624 swapFree=67108860/67108860
[pid=9067] ppid=9064 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/9067/stat : 9067 (xcsp3-exec) S 9064 9067 9023 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 108527351 9740288 346 33554432000 4194304 5098028 140732872188784 140732872186888 140557935317628 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 23261184 140732872197221 140732872197431 140732872197431 140732872200171 0
/proc/9067/statm: 2378 346 289 221 0 87 0
[pid=9069] ppid=9067 vsize=26004064 memory=46164 CPUtime=0.5 cores=0-7
/proc/9069/stat : 9069 (java) S 9067 9067 9023 0 -1 1077944320 9211 0 0 0 48 2 0 0 20 0 20 0 108527352 26628161536 11541 33554432000 4194304 4196468 140726575537472 140726575520016 139847666544375 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 14123008 140726575543442 140726575543619 140726575543619 140726575546319 0
/proc/9069/statm: 6501016 11541 3084 1 0 6488269 0
[pid=9069/tid=9070] ppid=9067 vsize=26004064 memory=8112282956445269571 CPUtime=0.29 cores=0-7
/proc/9069/task/9070/stat : 9070 (java) R 9067 9067 9023 0 -1 4202560 6117 0 0 0 28 1 0 0 20 0 20 0 108527352 26628161536 11541 33554432000 4194304 4196468 140726575537472 139847670783552 139847666566301 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 14123008 140726575543442 140726575543619 140726575543619 140726575546319 0
[pid=9069/tid=9071] ppid=9067 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/9069/task/9071/stat : 9071 (java) S 9067 9067 9023 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 108527353 26628161536 11541 33554432000 4194304 4196468 140726575537472 139847224805904 139847666554581 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14123008 140726575543442 140726575543619 140726575543619 140726575546319 0
[pid=9069/tid=9072] ppid=9067 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/9069/task/9072/stat : 9072 (java) S 9067 9067 9023 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 108527353 26628161536 11541 33554432000 4194304 4196468 140726575537472 139847223753360 139847666554581 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14123008 140726575543442 140726575543619 140726575543619 140726575546319 0
[pid=9069/tid=9073] ppid=9067 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/9069/task/9073/stat : 9073 (java) S 9067 9067 9023 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 108527353 26628161536 11541 33554432000 4194304 4196468 140726575537472 139847222700304 139847666554581 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14123008 140726575543442 140726575543619 140726575543619 140726575546319 0
[pid=9069/tid=9074] ppid=9067 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/9069/task/9074/stat : 9074 (java) S 9067 9067 9023 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 108527353 26628161536 11541 33554432000 4194304 4196468 140726575537472 139847221647760 139847666554581 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14123008 140726575543442 140726575543619 140726575543619 140726575546319 0
[pid=9069/tid=9075] ppid=9067 vsize=26004064 memory=2244 CPUtime=0 cores=0-7
/proc/9069/task/9075/stat : 9075 (java) S 9067 9067 9023 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 108527353 26628161536 11541 33554432000 4194304 4196468 140726575537472 139847220595728 139847666554581 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14123008 140726575543442 140726575543619 140726575543619 140726575546319 0
[pid=9069/tid=9076] ppid=9067 vsize=26004064 memory=140253163778991 CPUtime=0 cores=0-7
/proc/9069/task/9076/stat : 9076 (java) S 9067 9067 9023 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 108527353 26628161536 11541 33554432000 4194304 4196468 140726575537472 139847219543184 139847666554581 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14123008 140726575543442 140726575543619 140726575543619 140726575546319 0
[pid=9069/tid=9077] ppid=9067 vsize=26004064 memory=140253163781296 CPUtime=0 cores=0-7
/proc/9069/task/9077/stat : 9077 (java) S 9067 9067 9023 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 108527353 26628161536 11541 33554432000 4194304 4196468 140726575537472 139847218490128 139847666554581 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14123008 140726575543442 140726575543619 140726575543619 140726575546319 0
[pid=9069/tid=9078] ppid=9067 vsize=26004064 memory=140253163783600 CPUtime=0 cores=0-7
/proc/9069/task/9078/stat : 9078 (java) S 9067 9067 9023 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 108527353 26628161536 11541 33554432000 4194304 4196468 140726575537472 139847217437584 139847666554581 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14123008 140726575543442 140726575543619 140726575543619 140726575546319 0
[pid=9069/tid=9079] ppid=9067 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/9069/task/9079/stat : 9079 (java) S 9067 9067 9023 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 108527354 26628161536 11541 33554432000 4194304 4196468 140726575537472 139846928189680 139847666555522 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14123008 140726575543442 140726575543619 140726575543619 140726575546319 0
[pid=9069/tid=9080] ppid=9067 vsize=26004064 memory=280506327574160 CPUtime=0 cores=0-7
/proc/9069/task/9080/stat : 9080 (java) S 9067 9067 9023 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 108527355 26628161536 11541 33554432000 4194304 4196468 140726575537472 139846927135904 139847666554581 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14123008 140726575543442 140726575543619 140726575543619 140726575546319 0
[pid=9069/tid=9081] ppid=9067 vsize=26004064 memory=280506327581072 CPUtime=0 cores=0-7
/proc/9069/task/9081/stat : 9081 (java) S 9067 9067 9023 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 108527355 26628161536 11541 33554432000 4194304 4196468 140726575537472 139846926082800 139847666554581 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14123008 140726575543442 140726575543619 140726575543619 140726575546319 0
[pid=9069/tid=9082] ppid=9067 vsize=26004064 memory=280506327522352 CPUtime=0 cores=0-7
/proc/9069/task/9082/stat : 9082 (java) S 9067 9067 9023 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 108527357 26628161536 11541 33554432000 4194304 4196468 140726575537472 139846925031376 139847666562971 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14123008 140726575543442 140726575543619 140726575543619 140726575546319 0
[pid=9069/tid=9083] ppid=9067 vsize=26004064 memory=280506327594896 CPUtime=0.02 cores=0-7
/proc/9069/task/9083/stat : 9083 (java) S 9067 9067 9023 0 -1 1077944384 273 0 0 0 2 0 0 0 20 0 20 0 108527357 26628161536 11541 33554432000 4194304 4196468 140726575537472 139846923979504 139847666555522 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14123008 140726575543442 140726575543619 140726575543619 140726575546319 0
[pid=9069/tid=9084] ppid=9067 vsize=26004064 memory=280506327601808 CPUtime=0.02 cores=0-7
/proc/9069/task/9084/stat : 9084 (java) S 9067 9067 9023 0 -1 1077944384 250 0 0 0 2 0 0 0 20 0 20 0 108527357 26628161536 11541 33554432000 4194304 4196468 140726575537472 139846922926960 139847666555522 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14123008 140726575543442 140726575543619 140726575543619 140726575546319 0
[pid=9069/tid=9085] ppid=9067 vsize=26004064 memory=280506327599504 CPUtime=0.03 cores=0-7
/proc/9069/task/9085/stat : 9085 (java) S 9067 9067 9023 0 -1 1077944384 398 0 0 0 3 0 0 0 20 0 20 0 108527357 26628161536 11541 33554432000 4194304 4196468 140726575537472 139846921873904 139847666555522 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14123008 140726575543442 140726575543619 140726575543619 140726575546319 0
[pid=9069/tid=9086] ppid=9067 vsize=26004064 memory=280506327615664 CPUtime=0.12 cores=0-7
/proc/9069/task/9086/stat : 9086 (java) R 9067 9067 9023 0 -1 4202560 863 0 0 0 12 0 0 0 20 0 20 0 108527357 26628161536 11541 33554432000 4194304 4196468 140726575537472 139846920817040 139847646016378 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14123008 140726575543442 140726575543619 140726575543619 140726575546319 0
[pid=9069/tid=9087] ppid=9067 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/9069/task/9087/stat : 9087 (java) S 9067 9067 9023 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 108527358 26628161536 11541 33554432000 4194304 4196468 140726575537472 139846919768544 139847666554581 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14123008 140726575543442 140726575543619 140726575543619 140726575546319 0
[pid=9069/tid=9088] ppid=9067 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/9069/task/9088/stat : 9088 (java) S 9067 9067 9023 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 108527358 26628161536 11541 33554432000 4194304 4196468 140726575537472 139846918716080 139847666555522 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14123008 140726575543442 140726575543619 140726575543619 140726575546319 0
Current children cumulated CPU time: 0.5 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 47548 KiB

[startup+0.700944 s]
/proc/loadavg: 9.00 9.57 9.69 4/201 9088
/proc/meminfo: memFree=27718408/32770624 swapFree=67108860/67108860
[pid=9067] ppid=9064 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/9067/stat : 9067 (xcsp3-exec) S 9064 9067 9023 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 108527351 9740288 346 33554432000 4194304 5098028 140732872188784 140732872186888 140557935317628 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 23261184 140732872197221 140732872197431 140732872197431 140732872200171 0
/proc/9067/statm: 2378 346 289 221 0 87 0
[pid=9069] ppid=9067 vsize=26006188 memory=91548 CPUtime=1.78 cores=0-7
/proc/9069/stat : 9069 (java) S 9067 9067 9023 0 -1 1077944320 12916 0 0 0 174 4 0 0 20 0 20 0 108527352 26630336512 22887 33554432000 4194304 4196468 140726575537472 140726575520016 139847666544375 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 14123008 140726575543442 140726575543619 140726575543619 140726575546319 0
/proc/9069/statm: 6501547 22887 3204 1 0 6488781 0
[pid=9069/tid=9070] ppid=9067 vsize=26006188 memory=280506327910528 CPUtime=0.67 cores=0-7
/proc/9069/task/9070/stat : 9070 (java) R 9067 9067 9023 0 -1 4202560 6709 0 0 0 65 2 0 0 20 0 20 0 108527352 26630336512 22887 33554432000 4194304 4196468 140726575537472 139847670781040 139847303968758 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 14123008 140726575543442 140726575543619 140726575543619 140726575546319 0
[pid=9069/tid=9071] ppid=9067 vsize=26006188 memory=5080946312342 CPUtime=0 cores=0-7
/proc/9069/task/9071/stat : 9071 (java) S 9067 9067 9023 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 108527353 26630336512 22887 33554432000 4194304 4196468 140726575537472 139847224805904 139847666554581 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14123008 140726575543442 140726575543619 140726575543619 140726575546319 0
[pid=9069/tid=9072] ppid=9067 vsize=26006188 memory=0 CPUtime=0 cores=0-7
/proc/9069/task/9072/stat : 9072 (java) S 9067 9067 9023 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 108527353 26630336512 22887 33554432000 4194304 4196468 140726575537472 139847223753360 139847666554581 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14123008 140726575543442 140726575543619 140726575543619 140726575546319 0
[pid=9069/tid=9073] ppid=9067 vsize=26006188 memory=0 CPUtime=0 cores=0-7
/proc/9069/task/9073/stat : 9073 (java) S 9067 9067 9023 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 108527353 26630336512 22887 33554432000 4194304 4196468 140726575537472 139847222700304 139847666554581 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14123008 140726575543442 140726575543619 140726575543619 140726575546319 0

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

[pid=9069/tid=9077] ppid=9067 vsize=26538700 memory=0 CPUtime=0.01 cores=0-7
/proc/9069/task/9077/stat : 9077 (java) S 9067 9067 9023 0 -1 1077944384 48 0 0 0 1 0 0 0 20 0 28 0 108527353 27175628800 54983 33554432000 4194304 4196468 140726575537472 139847218490128 139847666554581 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14123008 140726575543442 140726575543619 140726575543619 140726575546319 0
[pid=9069/tid=9078] ppid=9067 vsize=26538700 memory=0 CPUtime=0.01 cores=0-7
/proc/9069/task/9078/stat : 9078 (java) S 9067 9067 9023 0 -1 1077944384 83 0 0 0 1 0 0 0 20 0 28 0 108527353 27175628800 54983 33554432000 4194304 4196468 140726575537472 139847217437584 139847666554581 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14123008 140726575543442 140726575543619 140726575543619 140726575546319 0
[pid=9069/tid=9079] ppid=9067 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/9069/task/9079/stat : 9079 (java) S 9067 9067 9023 0 -1 1077944384 134 0 0 0 0 0 0 0 20 0 28 0 108527354 27175628800 54983 33554432000 4194304 4196468 140726575537472 139846928189680 139847666555522 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14123008 140726575543442 140726575543619 140726575543619 140726575546319 0
[pid=9069/tid=9080] ppid=9067 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/9069/task/9080/stat : 9080 (java) S 9067 9067 9023 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 28 0 108527355 27175628800 54983 33554432000 4194304 4196468 140726575537472 139846927135904 139847666554581 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14123008 140726575543442 140726575543619 140726575543619 140726575546319 0
[pid=9069/tid=9081] ppid=9067 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/9069/task/9081/stat : 9081 (java) S 9067 9067 9023 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 28 0 108527355 27175628800 54983 33554432000 4194304 4196468 140726575537472 139846926082800 139847666554581 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14123008 140726575543442 140726575543619 140726575543619 140726575546319 0
[pid=9069/tid=9082] ppid=9067 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/9069/task/9082/stat : 9082 (java) S 9067 9067 9023 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 108527357 27175628800 54983 33554432000 4194304 4196468 140726575537472 139846925031376 139847666562971 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14123008 140726575543442 140726575543619 140726575543619 140726575546319 0
[pid=9069/tid=9083] ppid=9067 vsize=26538700 memory=0 CPUtime=0.96 cores=0-7
/proc/9069/task/9083/stat : 9083 (java) R 9067 9067 9023 0 -1 4202560 2629 0 0 0 95 1 0 0 20 0 28 0 108527357 27175628800 54983 33554432000 4194304 4196468 140726575537472 139846923967904 139847650041163 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 14123008 140726575543442 140726575543619 140726575543619 140726575546319 0
[pid=9069/tid=9084] ppid=9067 vsize=26538700 memory=1384 CPUtime=1.05 cores=0-7
/proc/9069/task/9084/stat : 9084 (java) R 9067 9067 9023 0 -1 1077944384 3284 0 0 0 104 1 0 0 20 0 28 0 108527357 27175628800 54983 33554432000 4194304 4196468 140726575537472 139846922913744 139847666554581 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14123008 140726575543442 140726575543619 140726575543619 140726575546319 0
[pid=9069/tid=9085] ppid=9067 vsize=26538700 memory=161788 CPUtime=1.06 cores=0-7
/proc/9069/task/9085/stat : 9085 (java) R 9067 9067 9023 0 -1 4202560 3144 0 0 0 106 0 0 0 20 0 28 0 108527357 27175628800 54983 33554432000 4194304 4196468 140726575537472 139846921860448 139847652225073 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 14123008 140726575543442 140726575543619 140726575543619 140726575546319 0
[pid=9069/tid=9086] ppid=9067 vsize=26538700 memory=0 CPUtime=0.52 cores=0-7
/proc/9069/task/9086/stat : 9086 (java) R 9067 9067 9023 0 -1 1077944384 2471 0 0 0 51 1 0 0 20 0 28 0 108527357 27175628800 54983 33554432000 4194304 4196468 140726575537472 139846920821360 139847666555522 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 14123008 140726575543442 140726575543619 140726575543619 140726575546319 0
[pid=9069/tid=9087] ppid=9067 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/9069/task/9087/stat : 9087 (java) S 9067 9067 9023 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 108527358 27175628800 54983 33554432000 4194304 4196468 140726575537472 139846919768544 139847666554581 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14123008 140726575543442 140726575543619 140726575543619 140726575546319 0
[pid=9069/tid=9088] ppid=9067 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/9069/task/9088/stat : 9088 (java) S 9067 9067 9023 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 28 0 108527358 27175628800 54983 33554432000 4194304 4196468 140726575537472 139846918716080 139847666555522 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14123008 140726575543442 140726575543619 140726575543619 140726575546319 0
[pid=9069/tid=9089] ppid=9067 vsize=26538700 memory=0 CPUtime=0.91 cores=0-7
/proc/9069/task/9089/stat : 9089 (java) R 9067 9067 9023 0 -1 4202560 90 0 0 0 91 0 0 0 20 0 28 0 108527438 27175628800 54983 33554432000 4194304 4196468 140726575537472 139846910707320 139847310264433 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 14123008 140726575543442 140726575543619 140726575543619 140726575546319 0
[pid=9069/tid=9090] ppid=9067 vsize=26538700 memory=0 CPUtime=0.87 cores=0-7
/proc/9069/task/9090/stat : 9090 (java) S 9067 9067 9023 0 -1 1077944384 106 0 0 0 87 0 0 0 20 0 28 0 108527438 27175628800 54983 33554432000 4194304 4196468 140726575537472 139846909652240 139847666554581 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14123008 140726575543442 140726575543619 140726575543619 140726575546319 0
[pid=9069/tid=9091] ppid=9067 vsize=26538700 memory=0 CPUtime=0.82 cores=0-7
/proc/9069/task/9091/stat : 9091 (java) R 9067 9067 9023 0 -1 1077944384 126 0 0 0 82 0 0 0 20 0 28 0 108527438 27175628800 54983 33554432000 4194304 4196468 140726575537472 139846908600480 139847666554581 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 14123008 140726575543442 140726575543619 140726575543619 140726575546319 0
[pid=9069/tid=9092] ppid=9067 vsize=26538700 memory=0 CPUtime=0.84 cores=0-7
/proc/9069/task/9092/stat : 9092 (java) R 9067 9067 9023 0 -1 4202560 215 0 0 0 84 0 0 0 20 0 28 0 108527438 27175628800 54983 33554432000 4194304 4196468 140726575537472 139846907551208 139847310350549 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 14123008 140726575543442 140726575543619 140726575543619 140726575546319 0
[pid=9069/tid=9093] ppid=9067 vsize=26538700 memory=0 CPUtime=0.87 cores=0-7
/proc/9069/task/9093/stat : 9093 (java) R 9067 9067 9023 0 -1 4202560 121 0 0 0 87 0 0 0 20 0 28 0 108527438 27175628800 54983 33554432000 4194304 4196468 140726575537472 139846906491248 139847303975440 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 14123008 140726575543442 140726575543619 140726575543619 140726575546319 0
[pid=9069/tid=9094] ppid=9067 vsize=26538700 memory=0 CPUtime=0.76 cores=0-7
/proc/9069/task/9094/stat : 9094 (java) R 9067 9067 9023 0 -1 4202560 66 0 0 0 76 0 0 0 20 0 28 0 108527438 27175628800 54983 33554432000 4194304 4196468 140726575537472 139846905442320 139847303936719 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14123008 140726575543442 140726575543619 140726575543619 140726575546319 0
[pid=9069/tid=9095] ppid=9067 vsize=26538700 memory=3763099673816014896 CPUtime=0.8 cores=0-7
/proc/9069/task/9095/stat : 9095 (java) R 9067 9067 9023 0 -1 4202560 123 0 0 0 80 0 0 0 20 0 28 0 108527438 27175628800 54983 33554432000 4194304 4196468 140726575537472 139846904391672 139847303982822 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14123008 140726575543442 140726575543619 140726575543619 140726575546319 0
[pid=9069/tid=9096] ppid=9067 vsize=26538700 memory=6299810640939279717 CPUtime=0.82 cores=0-7
/proc/9069/task/9096/stat : 9096 (java) S 9067 9067 9023 0 -1 1077944384 77 0 0 0 82 0 0 0 20 0 28 0 108527439 27175628800 54983 33554432000 4194304 4196468 140726575537472 139846903338240 139847666554581 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14123008 140726575543442 140726575543619 140726575543619 140726575546319 0
Current children cumulated CPU time: 11.35 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 221288 KiB

[startup+2.40124 s]
/proc/loadavg: 9.00 9.57 9.69 11/209 9096
/proc/meminfo: memFree=27557244/32770624 swapFree=67108860/67108860
[pid=9067] ppid=9064 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/9067/stat : 9067 (xcsp3-exec) S 9064 9067 9023 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 108527351 9740288 346 33554432000 4194304 5098028 140732872188784 140732872186888 140557935317628 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 23261184 140732872197221 140732872197431 140732872197431 140732872200171 0
/proc/9067/statm: 2378 346 289 221 0 87 0
[pid=9069] ppid=9067 vsize=26538700 memory=223944 CPUtime=14.44 cores=0-7
/proc/9069/stat : 9069 (java) S 9067 9067 9023 0 -1 1077944320 25288 0 0 0 1425 19 0 0 20 0 28 0 108527352 27175628800 55986 33554432000 4194304 4196468 140726575537472 140726575520016 139847666544375 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 14123008 140726575543442 140726575543619 140726575543619 140726575546319 0
/proc/9069/statm: 6634675 55986 3250 1 0 6621909 0
[pid=9069/tid=9070] ppid=9067 vsize=26538700 memory=0 CPUtime=0.84 cores=0-7
/proc/9069/task/9070/stat : 9070 (java) S 9067 9067 9023 0 -1 1077944384 6785 0 0 0 81 3 0 0 20 0 28 0 108527352 27175628800 55986 33554432000 4194304 4196468 140726575537472 139847670785152 139847666554581 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14123008 140726575543442 140726575543619 140726575543619 140726575546319 0
[pid=9069/tid=9071] ppid=9067 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/9069/task/9071/stat : 9071 (java) S 9067 9067 9023 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 28 0 108527353 27175628800 55986 33554432000 4194304 4196468 140726575537472 139847224805904 139847666554581 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14123008 140726575543442 140726575543619 140726575543619 140726575546319 0
[pid=9069/tid=9072] ppid=9067 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/9069/task/9072/stat : 9072 (java) S 9067 9067 9023 0 -1 1077944384 265 0 0 0 0 0 0 0 20 0 28 0 108527353 27175628800 55986 33554432000 4194304 4196468 140726575537472 139847223753360 139847666554581 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14123008 140726575543442 140726575543619 140726575543619 140726575546319 0
[pid=9069/tid=9073] ppid=9067 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/9069/task/9073/stat : 9073 (java) S 9067 9067 9023 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 28 0 108527353 27175628800 55986 33554432000 4194304 4196468 140726575537472 139847222700304 139847666554581 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14123008 140726575543442 140726575543619 140726575543619 140726575546319 0
[pid=9069/tid=9074] ppid=9067 vsize=26538700 memory=4206186544037388384 CPUtime=0 cores=0-7
/proc/9069/task/9074/stat : 9074 (java) S 9067 9067 9023 0 -1 1077944384 100 0 0 0 0 0 0 0 20 0 28 0 108527353 27175628800 55986 33554432000 4194304 4196468 140726575537472 139847221647760 139847666554581 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14123008 140726575543442 140726575543619 140726575543619 140726575546319 0
[pid=9069/tid=9075] ppid=9067 vsize=26538700 memory=6944656592455359580 CPUtime=0 cores=0-7
/proc/9069/task/9075/stat : 9075 (java) S 9067 9067 9023 0 -1 1077944384 86 0 0 0 0 0 0 0 20 0 28 0 108527353 27175628800 55986 33554432000 4194304 4196468 140726575537472 139847220595728 139847666554581 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14123008 140726575543442 140726575543619 140726575543619 140726575546319 0
[pid=9069/tid=9076] ppid=9067 vsize=26538700 memory=9023629670928638048 CPUtime=0 cores=0-7
/proc/9069/task/9076/stat : 9076 (java) S 9067 9067 9023 0 -1 1077944384 16 0 0 0 0 0 0 0 20 0 28 0 108527353 27175628800 55986 33554432000 4194304 4196468 140726575537472 139847219543184 139847666554581 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14123008 140726575543442 140726575543619 140726575543619 140726575546319 0
[pid=9069/tid=9077] ppid=9067 vsize=26538700 memory=6944656592455359580 CPUtime=0.01 cores=0-7
/proc/9069/task/9077/stat : 9077 (java) S 9067 9067 9023 0 -1 1077944384 48 0 0 0 1 0 0 0 20 0 28 0 108527353 27175628800 55986 33554432000 4194304 4196468 140726575537472 139847218490128 139847666554581 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14123008 140726575543442 140726575543619 140726575543619 140726575546319 0
[pid=9069/tid=9078] ppid=9067 vsize=26538700 memory=7157735280213381226 CPUtime=0.01 cores=0-7
/proc/9069/task/9078/stat : 9078 (java) S 9067 9067 9023 0 -1 1077944384 83 0 0 0 1 0 0 0 20 0 28 0 108527353 27175628800 55986 33554432000 4194304 4196468 140726575537472 139847217437584 139847666554581 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14123008 140726575543442 140726575543619 140726575543619 140726575546319 0
[pid=9069/tid=9079] ppid=9067 vsize=26538700 memory=7811333473052086383 CPUtime=0 cores=0-7
/proc/9069/task/9079/stat : 9079 (java) S 9067 9067 9023 0 -1 1077944384 134 0 0 0 0 0 0 0 20 0 28 0 108527354 27175628800 55986 33554432000 4194304 4196468 140726575537472 139846928189680 139847666555522 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14123008 140726575543442 140726575543619 140726575543619 140726575546319 0
[pid=9069/tid=9080] ppid=9067 vsize=26538700 memory=7810456041667521133 CPUtime=0 cores=0-7
/proc/9069/task/9080/stat : 9080 (java) S 9067 9067 9023 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 28 0 108527355 27175628800 55986 33554432000 4194304 4196468 140726575537472 139846927135904 139847666554581 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14123008 140726575543442 140726575543619 140726575543619 140726575546319 0
[pid=9069/tid=9081] ppid=9067 vsize=26538700 memory=280506327556672 CPUtime=0 cores=0-7
/proc/9069/task/9081/stat : 9081 (java) S 9067 9067 9023 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 28 0 108527355 27175628800 55986 33554432000 4194304 4196468 140726575537472 139846926082800 139847666554581 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14123008 140726575543442 140726575543619 140726575543619 140726575546319 0
[pid=9069/tid=9082] ppid=9067 vsize=26538700 memory=-1189914978686163229 CPUtime=0 cores=0-7
/proc/9069/task/9082/stat : 9082 (java) S 9067 9067 9023 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 108527357 27175628800 55986 33554432000 4194304 4196468 140726575537472 139846925031376 139847666562971 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14123008 140726575543442 140726575543619 140726575543619 140726575546319 0
[pid=9069/tid=9083] ppid=9067 vsize=26538700 memory=55 CPUtime=1.21 cores=0-7
/proc/9069/task/9083/stat : 9083 (java) R 9067 9067 9023 0 -1 4202560 3492 0 0 0 120 1 0 0 20 0 28 0 108527357 27175628800 55986 33554432000 4194304 4196468 140726575537472 139846923965680 139847648066081 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 14123008 140726575543442 140726575543619 140726575543619 140726575546319 0
[pid=9069/tid=9084] ppid=9067 vsize=26538700 memory=5790086053191909267 CPUtime=1.29 cores=0-7
/proc/9069/task/9084/stat : 9084 (java) R 9067 9067 9023 0 -1 4202560 4455 0 0 0 127 2 0 0 20 0 28 0 108527357 27175628800 55986 33554432000 4194304 4196468 140726575537472 139846922913064 139847650450380 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 14123008 140726575543442 140726575543619 140726575543619 140726575546319 0
[pid=9069/tid=9085] ppid=9067 vsize=26538700 memory=-3472574944341025154 CPUtime=1.24 cores=0-7
/proc/9069/task/9085/stat : 9085 (java) R 9067 9067 9023 0 -1 4202560 3903 0 0 0 123 1 0 0 20 0 28 0 108527357 27175628800 55986 33554432000 4194304 4196468 140726575537472 139846921858568 139847651653800 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 14123008 140726575543442 140726575543619 140726575543619 140726575546319 0
[pid=9069/tid=9086] ppid=9067 vsize=26538700 memory=7014751519633526890 CPUtime=0.56 cores=0-7
/proc/9069/task/9086/stat : 9086 (java) S 9067 9067 9023 0 -1 1077944384 3450 0 0 0 55 1 0 0 20 0 28 0 108527357 27175628800 55986 33554432000 4194304 4196468 140726575537472 139846920821360 139847666555522 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14123008 140726575543442 140726575543619 140726575543619 140726575546319 0
[pid=9069/tid=9087] ppid=9067 vsize=26538700 memory=7307487677254757231 CPUtime=0 cores=0-7
/proc/9069/task/9087/stat : 9087 (java) S 9067 9067 9023 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 108527358 27175628800 55986 33554432000 4194304 4196468 140726575537472 139846919768544 139847666554581 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14123008 140726575543442 140726575543619 140726575543619 140726575546319 0
[pid=9069/tid=9088] ppid=9067 vsize=26538700 memory=6226903154478048360 CPUtime=0 cores=0-7
/proc/9069/task/9088/stat : 9088 (java) S 9067 9067 9023 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 28 0 108527358 27175628800 55986 33554432000 4194304 4196468 140726575537472 139846918716080 139847666555522 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14123008 140726575543442 140726575543619 140726575543619 140726575546319 0
[pid=9069/tid=9089] ppid=9067 vsize=26538700 memory=7367994820020691277 CPUtime=1.23 cores=0-7
/proc/9069/task/9089/stat : 9089 (java) R 9067 9067 9023 0 -1 4202560 104 0 0 0 123 0 0 0 20 0 28 0 108527438 27175628800 55986 33554432000 4194304 4196468 140726575537472 139846910707136 139847310495063 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 14123008 140726575543442 140726575543619 140726575543619 140726575546319 0
[pid=9069/tid=9090] ppid=9067 vsize=26538700 memory=7374484305254966377 CPUtime=1.19 cores=0-7
/proc/9069/task/9090/stat : 9090 (java) R 9067 9067 9023 0 -1 4202560 120 0 0 0 119 0 0 0 20 0 28 0 108527438 27175628800 55986 33554432000 4194304 4196468 140726575537472 139846909655576 139847310495891 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 14123008 140726575543442 140726575543619 140726575543619 140726575546319 0
[pid=9069/tid=9091] ppid=9067 vsize=26538700 memory=288230596017398443 CPUtime=1.09 cores=0-7
/proc/9069/task/9091/stat : 9091 (java) R 9067 9067 9023 0 -1 4202560 137 0 0 0 109 0 0 0 20 0 28 0 108527438 27175628800 55986 33554432000 4194304 4196468 140726575537472 139846908599584 139847310799534 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 14123008 140726575543442 140726575543619 140726575543619 140726575546319 0
[pid=9069/tid=9092] ppid=9067 vsize=26538700 memory=16101459552896407 CPUtime=1.15 cores=0-7
/proc/9069/task/9092/stat : 9092 (java) R 9067 9067 9023 0 -1 4202560 225 0 0 0 115 0 0 0 20 0 28 0 108527438 27175628800 55986 33554432000 4194304 4196468 140726575537472 139846907551024 139847310495227 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 14123008 140726575543442 140726575543619 140726575543619 140726575546319 0
[pid=9069/tid=9093] ppid=9067 vsize=26538700 memory=0 CPUtime=1.11 cores=0-7
/proc/9069/task/9093/stat : 9093 (java) R 9067 9067 9023 0 -1 4202560 127 0 0 0 111 0 0 0 20 0 28 0 108527438 27175628800 55986 33554432000 4194304 4196468 140726575537472 139846906490904 139847310729618 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14123008 140726575543442 140726575543619 140726575543619 140726575546319 0
[pid=9069/tid=9094] ppid=9067 vsize=26538700 memory=0 CPUtime=1.08 cores=0-7
/proc/9069/task/9094/stat : 9094 (java) R 9067 9067 9023 0 -1 1077944384 75 0 0 0 108 0 0 0 20 0 28 0 108527438 27175628800 55986 33554432000 4194304 4196468 140726575537472 139846905445264 139847666554581 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 14123008 140726575543442 140726575543619 140726575543619 140726575546319 0
[pid=9069/tid=9095] ppid=9067 vsize=26538700 memory=0 CPUtime=1.06 cores=0-7
/proc/9069/task/9095/stat : 9095 (java) R 9067 9067 9023 0 -1 4202560 133 0 0 0 106 0 0 0 20 0 28 0 108527438 27175628800 55986 33554432000 4194304 4196468 140726575537472 139846904388384 139847310043101 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14123008 140726575543442 140726575543619 140726575543619 140726575546319 0
[pid=9069/tid=9096] ppid=9067 vsize=26538700 memory=280506328013984 CPUtime=1.15 cores=0-7
/proc/9069/task/9096/stat : 9096 (java) R 9067 9067 9023 0 -1 4202560 92 0 0 0 115 0 0 0 20 0 28 0 108527439 27175628800 55986 33554432000 4194304 4196468 140726575537472 139846903332760 139847310495269 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 14123008 140726575543442 140726575543619 140726575543619 140726575546319 0
Current children cumulated CPU time: 14.44 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 225328 KiB

[startup+2.50115 s]
/proc/loadavg: 9.00 9.57 9.69 11/209 9096
/proc/meminfo: memFree=27557244/32770624 swapFree=67108860/67108860
[pid=9067] ppid=9064 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/9067/stat : 9067 (xcsp3-exec) S 9064 9067 9023 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 108527351 9740288 346 33554432000 4194304 5098028 140732872188784 140732872186888 140557935317628 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 23261184 140732872197221 140732872197431 140732872197431 140732872200171 0
/proc/9067/statm: 2378 346 289 221 0 87 0
[pid=9069] ppid=9067 vsize=26538700 memory=227144 CPUtime=15.19 cores=0-7
/proc/9069/stat : 9069 (java) S 9067 9067 9023 0 -1 1077944320 26307 0 0 0 1499 20 0 0 20 0 19 0 108527352 27175628800 56786 33554432000 4194304 4196468 140726575537472 140726575520016 139847666544375 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 14123008 140726575543442 140726575543619 140726575543619 140726575546319 0
/proc/9069/statm: 6634675 56786 3252 1 0 6621909 0
[pid=9069/tid=9070] ppid=9067 vsize=26538700 memory=221732 CPUtime=0.84 cores=0-7
/proc/9069/task/9070/stat : 9070 (java) S 9067 9067 9023 0 -1 1077944384 6939 0 0 0 81 3 0 0 20 0 19 0 108527352 27175628800 56786 33554432000 4194304 4196468 140726575537472 139847670787216 139847666554581 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14123008 140726575543442 140726575543619 140726575543619 140726575546319 0
[pid=9069/tid=9071] ppid=9067 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/9069/task/9071/stat : 9071 (java) S 9067 9067 9023 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 19 0 108527353 27175628800 56786 33554432000 4194304 4196468 140726575537472 139847224805904 139847666554581 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14123008 140726575543442 140726575543619 140726575543619 140726575546319 0
[pid=9069/tid=9072] ppid=9067 vsize=26538700 memory=268 CPUtime=0 cores=0-7
/proc/9069/task/9072/stat : 9072 (java) S 9067 9067 9023 0 -1 1077944384 265 0 0 0 0 0 0 0 20 0 19 0 108527353 27175628800 56786 33554432000 4194304 4196468 140726575537472 139847223753360 139847666554581 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14123008 140726575543442 140726575543619 140726575543619 140726575546319 0
[pid=9069/tid=9073] ppid=9067 vsize=26538700 memory=84 CPUtime=0 cores=0-7
/proc/9069/task/9073/stat : 9073 (java) S 9067 9067 9023 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 19 0 108527353 27175628800 56786 33554432000 4194304 4196468 140726575537472 139847222700304 139847666554581 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14123008 140726575543442 140726575543619 140726575543619 140726575546319 0
[pid=9069/tid=9074] ppid=9067 vsize=26538700 memory=8112282956445269571 CPUtime=0 cores=0-7
/proc/9069/task/9074/stat : 9074 (java) S 9067 9067 9023 0 -1 1077944384 100 0 0 0 0 0 0 0 20 0 19 0 108527353 27175628800 56786 33554432000 4194304 4196468 140726575537472 139847221647760 139847666554581 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14123008 140726575543442 140726575543619 140726575543619 140726575546319 0
[pid=9069/tid=9075] ppid=9067 vsize=26538700 memory=18476 CPUtime=0 cores=0-7
/proc/9069/task/9075/stat : 9075 (java) S 9067 9067 9023 0 -1 1077944384 86 0 0 0 0 0 0 0 20 0 19 0 108527353 27175628800 56786 33554432000 4194304 4196468 140726575537472 139847220595728 139847666554581 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14123008 140726575543442 140726575543619 140726575543619 140726575546319 0
[pid=9069/tid=9076] ppid=9067 vsize=26538700 memory=18344 CPUtime=0 cores=0-7
/proc/9069/task/9076/stat : 9076 (java) S 9067 9067 9023 0 -1 1077944384 16 0 0 0 0 0 0 0 20 0 19 0 108527353 27175628800 56786 33554432000 4194304 4196468 140726575537472 139847219543184 139847666554581 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14123008 140726575543442 140726575543619 140726575543619 140726575546319 0
[pid=9069/tid=9077] ppid=9067 vsize=26538700 memory=4048 CPUtime=0.01 cores=0-7
/proc/9069/task/9077/stat : 9077 (java) S 9067 9067 9023 0 -1 1077944384 48 0 0 0 1 0 0 0 20 0 19 0 108527353 27175628800 56786 33554432000 4194304 4196468 140726575537472 139847218490128 139847666554581 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14123008 140726575543442 140726575543619 140726575543619 140726575546319 0
[pid=9069/tid=9078] ppid=9067 vsize=26538700 memory=1792 CPUtime=0.01 cores=0-7
/proc/9069/task/9078/stat : 9078 (java) S 9067 9067 9023 0 -1 1077944384 83 0 0 0 1 0 0 0 20 0 19 0 108527353 27175628800 56786 33554432000 4194304 4196468 140726575537472 139847217437584 139847666554581 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14123008 140726575543442 140726575543619 140726575543619 140726575546319 0
[pid=9069/tid=9079] ppid=9067 vsize=26538700 memory=648 CPUtime=0 cores=0-7
/proc/9069/task/9079/stat : 9079 (java) S 9067 9067 9023 0 -1 1077944384 134 0 0 0 0 0 0 0 20 0 19 0 108527354 27175628800 56786 33554432000 4194304 4196468 140726575537472 139846928189888 139847666555522 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14123008 140726575543442 140726575543619 140726575543619 140726575546319 0
[pid=9069/tid=9080] ppid=9067 vsize=26538700 memory=1240 CPUtime=0 cores=0-7
/proc/9069/task/9080/stat : 9080 (java) S 9067 9067 9023 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 19 0 108527355 27175628800 56786 33554432000 4194304 4196468 140726575537472 139846927135904 139847666554581 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14123008 140726575543442 140726575543619 140726575543619 140726575546319 0
[pid=9069/tid=9081] ppid=9067 vsize=26538700 memory=140257562482303 CPUtime=0 cores=0-7
/proc/9069/task/9081/stat : 9081 (java) S 9067 9067 9023 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 19 0 108527355 27175628800 56786 33554432000 4194304 4196468 140726575537472 139846926082800 139847666554581 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14123008 140726575543442 140726575543619 140726575543619 140726575546319 0
[pid=9069/tid=9082] ppid=9067 vsize=26538700 memory=6943526294502006880 CPUtime=0 cores=0-7
/proc/9069/task/9082/stat : 9082 (java) S 9067 9067 9023 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 19 0 108527357 27175628800 56786 33554432000 4194304 4196468 140726575537472 139846925031024 139847666554581 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14123008 140726575543442 140726575543619 140726575543619 140726575546319 0
[pid=9069/tid=9083] ppid=9067 vsize=26538700 memory=6943526294502006880 CPUtime=1.26 cores=0-7
/proc/9069/task/9083/stat : 9083 (java) S 9067 9067 9023 0 -1 1077944384 3522 0 0 0 125 1 0 0 20 0 19 0 108527357 27175628800 56786 33554432000 4194304 4196468 140726575537472 139846923959904 139847666554581 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14123008 140726575543442 140726575543619 140726575543619 140726575546319 0
[pid=9069/tid=9084] ppid=9067 vsize=26538700 memory=6944656592455360604 CPUtime=1.33 cores=0-7
/proc/9069/task/9084/stat : 9084 (java) R 9067 9067 9023 0 -1 4202560 4837 0 0 0 131 2 0 0 20 0 19 0 108527357 27175628800 56786 33554432000 4194304 4196468 140726575537472 139846922912840 139847648066901 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 14123008 140726575543442 140726575543619 140726575543619 140726575546319 0
[pid=9069/tid=9085] ppid=9067 vsize=26538700 memory=6944656592455097440 CPUtime=1.28 cores=0-7
/proc/9069/task/9085/stat : 9085 (java) R 9067 9067 9023 0 -1 4202560 4240 0 0 0 127 1 0 0 20 0 19 0 108527357 27175628800 56786 33554432000 4194304 4196468 140726575537472 139846921859928 139847648066716 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 14123008 140726575543442 140726575543619 140726575543619 140726575546319 0
[pid=9069/tid=9086] ppid=9067 vsize=26538700 memory=0 CPUtime=0.57 cores=0-7
/proc/9069/task/9086/stat : 9086 (java) S 9067 9067 9023 0 -1 1077944384 3496 0 0 0 56 1 0 0 20 0 19 0 108527357 27175628800 56786 33554432000 4194304 4196468 140726575537472 139846920821360 139847666555522 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14123008 140726575543442 140726575543619 140726575543619 140726575546319 0
[pid=9069/tid=9087] ppid=9067 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/9069/task/9087/stat : 9087 (java) S 9067 9067 9023 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 108527358 27175628800 56786 33554432000 4194304 4196468 140726575537472 139846919768544 139847666554581 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14123008 140726575543442 140726575543619 140726575543619 140726575546319 0
Current children cumulated CPU time: 15.19 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 228528 KiB

Child status: 0
Real time (s): 2.54915
CPU time (s): 15.243
CPU user time (s): 15.0324
CPU system time (s): 0.210606
CPU usage (%): 597.966
Max. virtual memory (cumulated for all children) (KiB): 26548212
Max. memory (cumulated for all children) (KiB): 228528

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 15.0324
system time used= 0.210606
maximum resident set size= 229028
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 27070
page faults= 0
swaps= 0
block input operations= 0
block output operations= 112
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3524
involuntary context switches= 383


# summary of solver processes directly reported to runsolver:
#   pid: 9067
#   total CPU time (s): 15.243
#   total CPU user time (s): 15.0324
#   total CPU system time (s): 0.210606

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.049757 second user time and 0.063393 second system time

The end

Launcher Data 

Begin job on node149 at 2017-08-15 01:33:26
IDJOB=4271086
IDBENCH=133185
IDSOLVER=2662
FILE ID=node149/4271086-1502754465
RUNJOBID= node149-1502753606-9050
PBS_JOBID= 20629079
Free space on /tmp= 61936 MiB

SOLVER NAME= choco-solver 4.0.5 par
BENCH NAME= XCSP17/Ortholatin/Ortholatin-m1-s1/Ortholatin-016.xml
COMMAND LINE= ./xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 22000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4271086-1502754465/watcher-4271086-1502754465 -o /tmp/evaluation-result-4271086-1502754465/solver-4271086-1502754465 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node149-1502753606-9050 --watchdog 2580  ./xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 22000 -tdir HOME -seed 414346206 HOME/instance-4271086-1502754465.xml

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

MD5SUM BENCH= 6d65a76f46cedd698fe2b492b618a08c
RANDOM SEED=414346206

node149.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.43
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.43
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.43
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.43
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:        27765500 kB
MemAvailable:   31969824 kB
Buffers:          307192 kB
Cached:          4169496 kB
SwapCached:            0 kB
Active:          1186564 kB
Inactive:        3344948 kB
Active(anon):      57620 kB
Inactive(anon):    24944 kB
Active(file):    1128944 kB
Inactive(file):  3320004 kB
Unevictable:        6360 kB
Mlocked:            6360 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              7588 kB
Writeback:             0 kB
AnonPages:         60828 kB
Mapped:            45096 kB
Shmem:             25224 kB
Slab:             168852 kB
SReclaimable:     142420 kB
SUnreclaim:        26432 kB
KernelStack:        3168 kB
PageTables:         4468 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     323264 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:      6144 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:       97664 kB
DirectMap2M:    33447936 kB

Free space on /tmp at the end= 61928 MiB
End job on node149 at 2017-08-15 01:33:29