Trace number 4281601

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 NameAnswerobjective functionCPU timeWall clock time
choco-solver 4.0.5 par (2017-08-18)SAT (TO)318 1986.46 252.075

General information on the benchmark

NameStillLife/StillLife-wst-s1/
StillLife-wastage-26.xml
MD5SUMa21a0b86f7fa853bf556b3925b3cd061
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT TO
Best value of the objective obtained on this benchmark338
Best CPU time to get the best result obtained on this benchmark251.815
Satisfiable
(Un)Satisfiability was proved
Number of variables1597
Number of constraints944
Number of domains4
Minimum domain size2
Maximum domain size1569
Distribution of domain sizes[{"size":2,"count":784},{"size":3,"count":784},{"size":677,"count":1},{"size":1569,"count":28}]
Minimum variable degree1
Maximum variable degree29
Distribution of variable degrees[{"degree":1,"count":4},{"degree":2,"count":781},{"degree":3,"count":31},{"degree":4,"count":104},{"degree":8,"count":100},{"degree":9,"count":576},{"degree":29,"count":1}]
Minimum constraint arity2
Maximum constraint arity30
Distribution of constraint arities[{"arity":2,"count":132},{"arity":3,"count":104},{"arity":10,"count":676},{"arity":28,"count":4},{"arity":29,"count":1},{"arity":30,"count":27}]
Number of extensional constraints780
Number of intensional constraints131
Distribution of constraint types[{"type":"extension","count":780},{"type":"intension","count":131},{"type":"sum","count":29},{"type":"instantiation","count":4}]
Optimization problemYES
Type of objectivemax VAR

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data 

0.00/0.00	c java -server -Xmx22000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4281601-1503179743.xml"  -tl '2016s' -p 8 -x 0
0.11/0.14	c [HOME/instance-4281601-1503179743.xml, -tl, 2016s, -p, 8, -x, 0]
0.11/0.20	c 8 solvers in parallel
0.34/0.26	c parse instance...
6.63/2.37	c solve instance...
10.60/2.94	o 0 
11.42/3.09	o 4 
11.93/3.12	o 6 
11.93/3.13	o 8 
11.93/3.13	o 10 
11.93/3.17	o 12 
13.79/3.55	o 14 
13.79/3.59	o 16 
14.29/3.63	o 18 
15.00/3.71	o 20 
15.00/3.77	o 21 
16.25/3.91	o 22 
18.35/4.27	o 24 
18.83/4.35	o 25 
18.83/4.36	o 26 
18.83/4.37	o 27 
18.83/4.37	o 28 
18.83/4.38	o 29 
18.83/4.39	o 30 
19.47/4.40	o 31 
19.47/4.40	o 32 
19.47/4.43	o 33 
19.47/4.44	o 34 
19.47/4.44	o 35 
19.47/4.45	o 36 
19.47/4.45	o 37 
19.47/4.46	o 38 
19.47/4.46	o 39 
19.47/4.46	o 40 
19.47/4.47	o 41 
19.47/4.48	o 42 
19.47/4.48	o 43 
19.47/4.49	o 44 
19.47/4.49	o 45 
20.06/4.50	o 46 
20.06/4.50	o 47 
20.06/4.51	o 48 
20.06/4.52	o 49 
20.06/4.52	o 50 
20.06/4.53	o 51 
20.06/4.53	o 52 
20.06/4.54	o 53 
20.06/4.54	o 54 
20.06/4.56	o 55 
20.06/4.56	o 56 
20.06/4.57	o 57 
20.06/4.59	o 58 
20.06/4.60	o 59 
20.69/4.60	o 60 
20.69/4.60	o 61 
20.69/4.61	o 62 
20.69/4.61	o 63 
20.69/4.62	o 64 
20.69/4.62	o 65 
20.69/4.62	o 66 
20.69/4.65	o 67 
20.69/4.66	o 68 
20.69/4.66	o 69 
20.69/4.66	o 70 
20.69/4.67	o 71 
20.69/4.67	o 72 
20.69/4.68	o 73 
20.69/4.68	o 74 
20.69/4.68	o 75 
20.69/4.69	o 76 
20.69/4.69	o 77 
21.26/4.70	o 78 
21.26/4.70	o 79 
21.26/4.71	o 80 
21.26/4.71	o 81 
21.26/4.72	o 82 
21.26/4.72	o 83 
21.26/4.73	o 84 
21.26/4.73	o 85 
21.26/4.74	o 86 
21.26/4.74	o 87 
21.26/4.74	o 88 
21.26/4.75	o 89 
21.26/4.75	o 90 
21.26/4.76	o 91 
21.26/4.76	o 92 
21.26/4.77	o 93 
21.26/4.77	o 94 
21.26/4.77	o 95 
21.26/4.78	o 96 
21.26/4.79	o 97 
21.26/4.79	o 98 
21.26/4.80	o 99 
21.72/4.80	o 100 
21.72/4.81	o 101 
21.72/4.81	o 102 
21.72/4.82	o 103 
21.72/4.82	o 104 
21.72/4.82	o 105 
21.72/4.83	o 106 
21.72/4.83	o 107 
21.72/4.85	o 108 
21.72/4.85	o 109 
21.72/4.88	o 110 
21.72/4.88	o 111 
21.72/4.89	o 112 
21.72/4.89	o 113 
21.72/4.89	o 114 
21.72/4.90	o 115 
22.21/4.90	o 116 
22.21/4.90	o 117 
22.21/4.91	o 118 
22.21/4.92	o 119 
22.21/4.92	o 120 
22.21/4.93	o 121 
22.21/4.93	o 122 
22.21/4.94	o 123 
22.21/4.94	o 124 
22.21/4.95	o 125 
22.21/4.95	o 126 
22.21/4.96	o 127 
22.21/4.96	o 128 
22.21/4.97	o 129 
22.21/4.97	o 130 
22.21/4.98	o 131 
22.21/4.98	o 132 
22.21/4.98	o 133 
22.21/4.99	o 134 
22.21/4.99	o 135 
22.21/5.00	o 136 
22.21/5.00	o 137 
22.78/5.01	o 138 
22.78/5.01	o 139 
22.78/5.04	o 140 
22.78/5.05	o 141 
22.78/5.05	o 142 
22.78/5.05	o 143 
22.78/5.06	o 144 
22.78/5.06	o 145 
22.78/5.07	o 146 
22.78/5.07	o 147 
22.78/5.08	o 148 
22.78/5.08	o 149 
22.78/5.09	o 150 
22.78/5.09	o 151 
22.78/5.10	o 152 
22.78/5.10	o 153 
22.78/5.10	o 154 
22.78/5.11	o 155 
23.41/5.12	o 156 
23.41/5.12	o 157 
23.41/5.12	o 158 
23.41/5.13	o 159 
23.41/5.14	o 160 
23.41/5.14	o 161 
23.41/5.15	o 162 
23.41/5.15	o 163 
23.41/5.16	o 164 
23.41/5.16	o 165 
23.41/5.17	o 166 
23.41/5.17	o 167 
23.41/5.18	o 168 
23.41/5.18	o 169 
23.41/5.19	o 170 
23.41/5.20	o 171 
23.84/5.20	o 172 
23.84/5.21	o 173 
23.84/5.21	o 174 
23.84/5.22	o 175 
23.84/5.22	o 176 
23.84/5.25	o 177 
23.84/5.26	o 178 
23.84/5.27	o 179 
23.84/5.27	o 180 
23.84/5.28	o 181 
23.84/5.28	o 182 
23.84/5.28	o 183 
23.84/5.29	o 184 
23.84/5.29	o 185 
23.84/5.30	o 186 
24.40/5.30	o 187 
24.40/5.31	o 188 
24.40/5.31	o 189 
24.40/5.31	o 190 
24.40/5.32	o 191 
24.40/5.33	o 192 
24.40/5.35	o 193 
24.96/5.55	o 194 
24.96/5.56	o 195 
24.96/5.56	o 196 
24.96/5.57	o 197 
24.96/5.57	o 198 
24.96/5.58	o 199 
24.96/5.59	o 200 
24.96/5.59	o 201 
24.96/5.60	o 202 
25.34/5.60	o 203 
25.34/5.61	o 204 
25.34/5.61	o 205 
25.34/5.62	o 206 
25.34/5.63	o 207 
25.34/5.63	o 208 
25.34/5.64	o 209 
25.34/5.64	o 210 
25.34/5.65	o 211 
25.34/5.66	o 212 
25.34/5.67	o 213 
25.34/5.67	o 214 
25.34/5.68	o 215 
25.34/5.69	o 216 
25.34/5.69	o 217 
25.83/5.70	o 218 
25.83/5.70	o 219 
25.83/5.73	o 220 
25.83/5.74	o 221 
25.83/5.74	o 222 
25.83/5.75	o 223 
25.83/5.76	o 224 
25.83/5.76	o 225 
25.83/5.77	o 226 
25.83/5.77	o 227 
25.83/5.78	o 228 
25.83/5.78	o 229 
26.43/5.80	o 230 
26.43/5.80	o 231 
26.43/5.84	o 232 
26.43/5.84	o 233 
26.43/5.85	o 234 
26.43/5.86	o 235 
26.43/5.86	o 236 
26.43/5.87	o 237 
26.43/5.87	o 238 
26.43/5.87	o 239 
26.43/5.88	o 240 
26.43/5.88	o 241 
26.43/5.89	o 242 
26.43/5.90	o 243 
27.02/5.90	o 244 
27.02/5.91	o 245 
27.02/5.92	o 246 
27.02/5.93	o 247 
27.02/5.93	o 248 
27.02/5.94	o 249 
27.02/5.94	o 250 
27.02/5.95	o 251 
27.02/5.96	o 252 
27.02/5.96	o 253 
27.02/5.97	o 254 
27.02/5.98	o 255 
27.02/5.98	o 256 
27.02/5.99	o 257 
27.02/6.00	o 258 
27.02/6.00	o 259 
27.49/6.01	o 260 
27.49/6.01	o 261 
27.49/6.02	o 262 
27.49/6.03	o 263 
27.49/6.04	o 264 
27.49/6.04	o 265 
27.49/6.05	o 266 
27.49/6.05	o 267 
27.49/6.06	o 268 
27.49/6.07	o 269 
27.49/6.07	o 270 
27.49/6.08	o 271 
27.49/6.08	o 272 
27.49/6.09	o 273 
27.49/6.10	o 274 
27.49/6.10	o 275 
27.99/6.11	o 276 
27.99/6.12	o 277 
27.99/6.13	o 278 
27.99/6.13	o 279 
27.99/6.14	o 280 
27.99/6.15	o 281 
27.99/6.15	o 282 
27.99/6.16	o 283 
27.99/6.17	o 284 
27.99/6.18	o 285 
27.99/6.18	o 286 
27.99/6.19	o 287 
27.99/6.20	o 288 
28.47/6.20	o 289 
28.47/6.21	o 290 
28.47/6.22	o 291 
28.47/6.22	o 292 
28.47/6.23	o 293 
28.47/6.24	o 294 
28.47/6.25	o 295 
28.47/6.26	o 296 
28.47/6.26	o 297 
28.47/6.27	o 298 
28.47/6.27	o 299 
28.47/6.28	o 300 
28.47/6.29	o 301 
28.47/6.30	o 302 
28.95/6.31	o 303 
28.95/6.32	o 304 
28.95/6.35	o 305 
32.88/6.81	o 306 
32.88/6.81	o 307 
40.01/7.80	o 308 
40.79/7.80	o 309 
40.79/7.81	o 310 
40.79/7.82	o 311 
40.79/7.82	o 312 
40.79/7.83	o 313 
40.79/7.85	o 314 
41.22/8.01	o 315 
41.22/8.02	o 316 
41.22/8.04	o 317 
41.51/8.20	o 318 
1986.18/252.04	s SATISFIABLE
1986.18/252.04	v <instantiation>
1986.18/252.04	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[0][16] x[0][17] x[0][18] x[0][19] x[0][20] x[0][21] x[0][22] x[0][23] x[0][24] x[0][25] x[0][26] x[0][27] 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[1][24] x[1][25] x[1][26] x[1][27] 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[2][24] x[2][25] x[2][26] x[2][27] 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[3][24] x[3][25] x[3][26] x[3][27] 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[4][24] x[4][25] x[4][26] x[4][27] 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[5][24] x[5][25] x[5][26] x[5][27] 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[6][24] x[6][25] x[6][26] x[6][27] 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[7][24] x[7][25] x[7][26] x[7][27] 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[8][24] x[8][25] x[8][26] x[8][27] 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[9][24] x[9][25] x[9][26] x[9][27] 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[10][24] x[10][25] x[10][26] x[10][27] 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[11][24] x[11][25] x[11][26] x[11][27] 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[12][24] x[12][25] x[12][26] x[12][27] 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[13][24] x[13][25] x[13][26] x[13][27] 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[14][24] x[14][25] x[14][26] x[14][27] 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[15][24] x[15][25] x[15][26] x[15][27] 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[16][24] x[16][25] x[16][26] x[16][27] 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[17][24] x[17][25] x[17][26] x[17][27] 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[18][24] x[18][25] x[18][26] x[18][27] 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[19][24] x[19][25] x[19][26] x[19][27] 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[20][24] x[20][25] x[20][26] x[20][27] 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[21][24] x[21][25] x[21][26] x[21][27] 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[22][24] x[22][25] x[22][26] x[22][27] 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] x[23][24] x[23][25] x[23][26] x[23][27] x[24][0] x[24][1] x[24][2] x[24][3] x[24][4] x[24][5] x[24][6] x[24][7] x[24][8] x[24][9] x[24][10] x[24][11] x[24][12] x[24][13] x[24][14] x[24][15] x[24][16] x[24][17] x[24][18] x[24][19] x[24][20] x[24][21] x[24][22] x[24][23] x[24][24] x[24][25] x[24][26] x[24][27] x[25][0] x[25][1] x[25][2] x[25][3] x[25][4] x[25][5] x[25][6] x[25][7] x[25][8] x[25][9] x[25][10] x[25][11] x[25][12] x[25][13] x[25][14] x[25][15] x[25][16] x[25][17] x[25][18] x[25][19] x[25][20] x[25][21] x[25][22] x[25][23] x[25][24] x[25][25] x[25][26] x[25][27] x[26][0] x[26][1] x[26][2] x[26][3] x[26][4] x[26][5] x[26][6] x[26][7] x[26][8] x[26][9] x[26][10] x[26][11] x[26][12] x[26][13] x[26][14] x[26][15] x[26][16] x[26][17] x[26][18] x[26][19] x[26][20] x[26][21] x[26][22] x[26][23] x[26][24] x[26][25] x[26][26] x[26][27] x[27][0] x[27][1] x[27][2] x[27][3] x[27][4] x[27][5] x[27][6] x[27][7] x[27][8] x[27][9] x[27][10] x[27][11] x[27][12] x[27][13] x[27][14] x[27][15] x[27][16] x[27][17] x[27][18] x[27][19] x[27][20] x[27][21] x[27][22] x[27][23] x[27][24] x[27][25] x[27][26] x[27][27] w[0][0] w[0][1] w[0][2] w[0][3] w[0][4] w[0][5] w[0][6] w[0][7] w[0][8] w[0][9] w[0][10] w[0][11] w[0][12] w[0][13] w[0][14] w[0][15] w[0][16] w[0][17] w[0][18] w[0][19] w[0][20] w[0][21] w[0][22] w[0][23] w[0][24] w[0][25] w[0][26] w[0][27] w[1][0] w[1][1] w[1][2] w[1][3] w[1][4] w[1][5] w[1][6] w[1][7] w[1][8] w[1][9] w[1][10] w[1][11] w[1][12] w[1][13] w[1][14] w[1][15] w[1][16] w[1][17] w[1][18] w[1][19] w[1][20] w[1][21] w[1][22] w[1][23] w[1][24] w[1][25] w[1][26] w[1][27] w[2][0] w[2][1] w[2][2] w[2][3] w[2][4] w[2][5] w[2][6] w[2][7] w[2][8] w[2][9] w[2][10] w[2][11] w[2][12] w[2][13] w[2][14] w[2][15] w[2][16] w[2][17] w[2][18] w[2][19] w[2][20] w[2][21] w[2][22] w[2][23] w[2][24] w[2][25] w[2][26] w[2][27] w[3][0] w[3][1] w[3][2] w[3][3] w[3][4] w[3][5] w[3][6] w[3][7] w[3][8] w[3][9] w[3][10] w[3][11] w[3][12] w[3][13] w[3][14] w[3][15] w[3][16] w[3][17] w[3][18] w[3][19] w[3][20] w[3][21] w[3][22] w[3][23] w[3][24] w[3][25] w[3][26] w[3][27] w[4][0] w[4][1] w[4][2] w[4][3] w[4][4] w[4][5] w[4][6] w[4][7] w[4][8] w[4][9] w[4][10] w[4][11] w[4][12] w[4][13] w[4][14] w[4][15] w[4][16] w[4][17] w[4][18] w[4][19] w[4][20] w[4][21] w[4][22] w[4][23] w[4][24] w[4][25] w[4][26] w[4][27] w[5][0] w[5][1] w[5][2] w[5][3] w[5][4] w[5][5] w[5][6] w[5][7] w[5][8] w[5][9] w[5][10] w[5][11] w[5][12] w[5][13] w[5][14] w[5][15] w[5][16] w[5][17] w[5][18] w[5][19] w[5][20] w[5][21] w[5][22] w[5][23] w[5][24] w[5][25] w[5][26] w[5][27] w[6][0] w[6][1] w[6][2] w[6][3] w[6][4] w[6][5] w[6][6] w[6][7] w[6][8] w[6][9] w[6][10] w[6][11] w[6][12] w[6][13] w[6][14] w[6][15] w[6][16] w[6][17] w[6][18] w[6][19] w[6][20] w[6][21] w[6][22] w[6][23] w[6][24] w[6][25] w[6][26] w[6][27] w[7][0] w[7][1] w[7][2] w[7][3] w[7][4] w[7][5] w[7][6] w[7][7] w[7][8] w[7][9] w[7][10] w[7][11] w[7][12] w[7][13] w[7][14] w[7][15] w[7][16] w[7][17] w[7][18] w[7][19] w[7][20] w[7][21] w[7][22] w[7][23] w[7][24] w[7][25] w[7][26] w[7][27] w[8][0] w[8][1] w[8][2] w[8][3] w[8][4] w[8][5] w[8][6] w[8][7] w[8][8] w[8][9] w[8][10] w[8][11] w[8][12] w[8][13] w[8][14] w[8][15] w[8][16] w[8][17] w[8][18] w[8][19] w[8][20] w[8][21] w[8][22] w[8][23] w[8][24] w[8][25] w[8][26] w[8][27] w[9][0] w[9][1] w[9][2] w[9][3] w[9][4] w[9][5] w[9][6] w[9][7] w[9][8] w[9][9] w[9][10] w[9][11] w[9][12] w[9][13] w[9][14] w[9][15] w[9][16] w[9][17] w[9][18] w[9][19] w[9][20] w[9][21] w[9][22] w[9][23] w[9][24] w[9][25] w[9][26] w[9][27] w[10][0] w[10][1] w[10][2] w[10][3] w[10][4] w[10][5] w[10][6] w[10][7] w[10][8] w[10][9] w[10][10] w[10][11] w[10][12] w[10][13] w[10][14] w[10][15] w[10][16] w[10][17] w[10][18] w[10][19] w[10][20] w[10][21] w[10][22] w[10][23] w[10][24] w[10][25] w[10][26] w[10][27] w[11][0] w[11][1] w[11][2] w[11][3] w[11][4] w[11][5] w[11][6] w[11][7] w[11][8] w[11][9] w[11][10] w[11][11] w[11][12] w[11][13] w[11][14] w[11][15] w[11][16] w[11][17] w[11][18] w[11][19] w[11][20] w[11][21] w[11][22] w[11][23] w[11][24] w[11][25] w[11][26] w[11][27] w[12][0] w[12][1] w[12][2] w[12][3] w[12][4] w[12][5] w[12][6] w[12][7] w[12][8] w[12][9] w[12][10] w[12][11] w[12][12] w[12][13] w[12][14] w[12][15] w[12][16] w[12][17] w[12][18] w[12][19] w[12][20] w[12][21] w[12][22] w[12][23] w[12][24] w[12][25] w[12][26] w[12][27] w[13][0] w[13][1] w[13][2] w[13][3] w[13][4] w[13][5] w[13][6] w[13][7] w[13][8] w[13][9] w[13][10] w[13][11] w[13][12] w[13][13] w[13][14] w[13][15] w[13][16] w[13][17] w[13][18] w[13][19] w[13][20] w[13][21] w[13][22] w[13][23] w[13][24] w[13][25] w[13][26] w[13][27] w[14][0] w[14][1] w[14][2] w[14][3] w[14][4] w[14][5] w[14][6] w[14][7] w[14][8] w[14][9] w[14][10] w[14][11] w[14][12] w[14][13] w[14][14] w[14][15] w[14][16] w[14][17] w[14][18] w[14][19] w[14][20] w[14][21] w[14][22] w[14][23] w[14][24] w[14][25] w[14][26] w[14][27] w[15][0] w[15][1] w[15][2] w[15][3] w[15][4] w[15][5] w[15][6] w[15][7] w[15][8] w[15][9] w[15][10] w[15][11] w[15][12] w[15][13] w[15][14] w[15][15] w[15][16] w[15][17] w[15][18] w[15][19] w[15][20] w[15][21] w[15][22] w[15][23] w[15][24] w[15][25] w[15][26] w[15][27] w[16][0] w[16][1] w[16][2] w[16][3] w[16][4] w[16][5] w[16][6] w[16][7] w[16][8] w[16][9] w[16][10] w[16][11] w[16][12] w[16][13] w[16][14] w[16][15] w[16][16] w[16][17] w[16][18] w[16][19] w[16][20] w[16][21] w[16][22] w[16][23] w[16][24] w[16][25] w[16][26] w[16][27] w[17][0] w[17][1] w[17][2] w[17][3] w[17][4] w[17][5] w[17][6] w[17][7] w[17][8] w[17][9] w[17][10] w[17][11] w[17][12] w[17][13] w[17][14] w[17][15] w[17][16] w[17][17] w[17][18] w[17][19] w[17][20] w[17][21] w[17][22] w[17][23] w[17][24] w[17][25] w[17][26] w[17][27] w[18][0] w[18][1] w[18][2] w[18][3] w[18][4] w[18][5] w[18][6] w[18][7] w[18][8] w[18][9] w[18][10] w[18][11] w[18][12] w[18][13] w[18][14] w[18][15] w[18][16] w[18][17] w[18][18] w[18][19] w[18][20] w[18][21] w[18][22] w[18][23] w[18][24] w[18][25] w[18][26] w[18][27] w[19][0] w[19][1] w[19][2] w[19][3] w[19][4] w[19][5] w[19][6] w[19][7] w[19][8] w[19][9] w[19][10] w[19][11] w[19][12] w[19][13] w[19][14] w[19][15] w[19][16] w[19][17] w[19][18] w[19][19] w[19][20] w[19][21] w[19][22] w[19][23] w[19][24] w[19][25] w[19][26] w[19][27] w[20][0] w[20][1] w[20][2] w[20][3] w[20][4] w[20][5] w[20][6] w[20][7] w[20][8] w[20][9] w[20][10] w[20][11] w[20][12] w[20][13] w[20][14] w[20][15] w[20][16] w[20][17] w[20][18] w[20][19] w[20][20] w[20][21] w[20][22] w[20][23] w[20][24] w[20][25] w[20][26] w[20][27] w[21][0] w[21][1] w[21][2] w[21][3] w[21][4] w[21][5] w[21][6] w[21][7] w[21][8] w[21][9] w[21][10] w[21][11] w[21][12] w[21][13] w[21][14] w[21][15] w[21][16] w[21][17] w[21][18] w[21][19] w[21][20] w[21][21] w[21][22] w[21][23] w[21][24] w[21][25] w[21][26] w[21][27] w[22][0] w[22][1] w[22][2] w[22][3] w[22][4] w[22][5] w[22][6] w[22][7] w[22][8] w[22][9] w[22][10] w[22][11] w[22][12] w[22][13] w[22][14] w[22][15] w[22][16] w[22][17] w[22][18] w[22][19] w[22][20] w[22][21] w[22][22] w[22][23] w[22][24] w[22][25] w[22][26] w[22][27] w[23][0] w[23][1] w[23][2] w[23][3] w[23][4] w[23][5] w[23][6] w[23][7] w[23][8] w[23][9] w[23][10] w[23][11] w[23][12] w[23][13] w[23][14] w[23][15] w[23][16] w[23][17] w[23][18] w[23][19] w[23][20] w[23][21] w[23][22] w[23][23] w[23][24] w[23][25] w[23][26] w[23][27] w[24][0] w[24][1] w[24][2] w[24][3] w[24][4] w[24][5] w[24][6] w[24][7] w[24][8] w[24][9] w[24][10] w[24][11] w[24][12] w[24][13] w[24][14] w[24][15] w[24][16] w[24][17] w[24][18] w[24][19] w[24][20] w[24][21] w[24][22] w[24][23] w[24][24] w[24][25] w[24][26] w[24][27] w[25][0] w[25][1] w[25][2] w[25][3] w[25][4] w[25][5] w[25][6] w[25][7] w[25][8] w[25][9] w[25][10] w[25][11] w[25][12] w[25][13] w[25][14] w[25][15] w[25][16] w[25][17] w[25][18] w[25][19] w[25][20] w[25][21] w[25][22] w[25][23] w[25][24] w[25][25] w[25][26] w[25][27] w[26][0] w[26][1] w[26][2] w[26][3] w[26][4] w[26][5] w[26][6] w[26][7] w[26][8] w[26][9] w[26][10] w[26][11] w[26][12] w[26][13] w[26][14] w[26][15] w[26][16] w[26][17] w[26][18] w[26][19] w[26][20] w[26][21] w[26][22] w[26][23] w[26][24] w[26][25] w[26][26] w[26][27] w[27][0] w[27][1] w[27][2] w[27][3] w[27][4] w[27][5] w[27][6] w[27][7] w[27][8] w[27][9] w[27][10] w[27][11] w[27][12] w[27][13] w[27][14] w[27][15] w[27][16] w[27][17] w[27][18] w[27][19] w[27][20] w[27][21] w[27][22] w[27][23] w[27][24] w[27][25] w[27][26] w[27][27] ws[0] ws[1] ws[2] ws[3] ws[4] ws[5] ws[6] ws[7] ws[8] ws[9] ws[10] ws[11] ws[12] ws[13] ws[14] ws[15] ws[16] ws[17] ws[18] ws[19] ws[20] ws[21] ws[22] ws[23] ws[24] ws[25] ws[26] ws[27] z </list>
1986.18/252.04	v 	<values>0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 0 0 0 0 0 0 0 0 0 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 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 1 1 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 1 0 0 0 0 1 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 0 1 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 0 0 0 0 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 0 0 0 0 0 1 0 1 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 1 1 0 1 1 0 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 1 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 1 1 0 0 0 0 0 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 1 1 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 1 1 1 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 0 0 0 0 0 1 0 1 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 1 0 0 0 0 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 0 1 0 0 1 1 0 0 0 0 1 0 0 1 0 0 1 0 0 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 0 0 0 0 0 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 1 0 0 1 1 1 0 0 1 0 0 0 0 1 0 0 1 0 0 1 0 0 1 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 0 1 0 0 0 0 1 0 1 0 1 1 1 1 1 1 1 1 1 1 1 1 0 0 1 0 0 1 0 1 0 1 0 0 1 1 0 0 0 0 1 0 0 1 0 0 1 0 0 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 2 2 0 2 2 0 2 2 0 2 2 0 2 2 0 2 2 0 1 0 1 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 2 1 1 2 1 1 2 1 1 2 1 1 2 1 1 0 0 0 0 1 0 1 0 0 0 0 0 1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 2 1 0 0 0 1 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 1 1 0 1 1 0 1 1 0 1 1 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 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 1 1 0 1 1 0 1 1 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 1 0 1 0 1 0 0 0 0 1 1 0 1 1 0 1 1 0 0 1 0 0 0 0 0 0 1 1 0 1 0 1 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 1 0 0 0 0 0 2 1 0 0 0 0 0 0 0 0 0 0 1 1 2 1 2 2 1 2 0 0 0 0 0 0 0 1 1 1 1 0 1 1 0 1 1 0 1 1 0 1 1 1 1 1 1 1 1 0 0 0 8 8 8 18 18 18 47 51 52 54 58 60 82 87 89 90 93 100 115 116 118 127 127 133 145 151 166 184 318 </values>
1986.18/252.04	v </instantiation>
1986.18/252.04	c Unexpected resolution interruption!

Verifier Data 

OK	318

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4281601-1503179743/watcher-4281601-1503179743 -o /tmp/evaluation-result-4281601-1503179743/solver-4281601-1503179743 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node112-1503169099-13287 --watchdog 312 ./xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 22000 -tdir HOME -seed 1597694572 HOME/instance-4281601-1503179743.xml 

running on 8 cores: 0,2,4,6,1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2016 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2046 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=23339, runsolver pid=23336

[startup+0.100154 s]*
/proc/loadavg: 7.51 7.94 8.09 2/200 23360
/proc/meminfo: memFree=26183288/32770624 swapFree=67108860/67108860
[pid=23339] ppid=23336 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/23339/stat : 23339 (xcsp3-exec) S 23336 23339 13260 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 151061925 9740288 346 33554432000 4194304 5098028 140730829256464 140730829254568 140601495188092 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 14352384 140730829263978 140730829264188 140730829264188 140730829266923 0
/proc/23339/statm: 2378 346 289 221 0 87 0
[pid=23341] ppid=23339 vsize=25999808 memory=26100 CPUtime=0.11 cores=0-7
/proc/23341/stat : 23341 (java) S 23339 23339 13260 0 -1 1077944320 5482 0 0 0 10 1 0 0 20 0 20 0 151061925 26623803392 6525 33554432000 4194304 4196468 140734777712832 140734777695376 139960244481783 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 37236736 140734777722008 140734777722184 140734777722184 140734777724879 0
/proc/23341/statm: 6499952 6525 2847 1 0 6488269 0
[pid=23341/tid=23342] ppid=23339 vsize=25999808 memory=4134930498285298233 CPUtime=0.09 cores=0-7
/proc/23341/task/23342/stat : 23342 (java) R 23339 23339 13260 0 -1 4202560 3484 0 0 0 8 1 0 0 20 0 20 0 151061926 26623803392 6525 33554432000 4194304 4196468 140734777712832 139960248708032 139960244493718 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 37236736 140734777722008 140734777722184 140734777722184 140734777724879 0
[pid=23341/tid=23343] ppid=23339 vsize=25999808 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/23341/task/23343/stat : 23343 (java) S 23339 23339 13260 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151061926 26623803392 6525 33554432000 4194304 4196468 140734777712832 139959802550800 139960244491989 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37236736 140734777722008 140734777722184 140734777722184 140734777724879 0
[pid=23341/tid=23344] ppid=23339 vsize=25999808 memory=140033740056192 CPUtime=0 cores=0-7
/proc/23341/task/23344/stat : 23344 (java) S 23339 23339 13260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151061926 26623803392 6525 33554432000 4194304 4196468 140734777712832 139959801498256 139960244491989 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37236736 140734777722008 140734777722184 140734777722184 140734777724879 0
[pid=23341/tid=23345] ppid=23339 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/23341/task/23345/stat : 23345 (java) S 23339 23339 13260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151061926 26623803392 6525 33554432000 4194304 4196468 140734777712832 139959800445200 139960244491989 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37236736 140734777722008 140734777722184 140734777722184 140734777724879 0
[pid=23341/tid=23346] ppid=23339 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/23341/task/23346/stat : 23346 (java) S 23339 23339 13260 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 20 0 151061926 26623803392 6525 33554432000 4194304 4196468 140734777712832 139959799392656 139960244491989 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37236736 140734777722008 140734777722184 140734777722184 140734777724879 0
[pid=23341/tid=23347] ppid=23339 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/23341/task/23347/stat : 23347 (java) S 23339 23339 13260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151061926 26623803392 6525 33554432000 4194304 4196468 140734777712832 139959798340624 139960244491989 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37236736 140734777722008 140734777722184 140734777722184 140734777724879 0
[pid=23341/tid=23348] ppid=23339 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/23341/task/23348/stat : 23348 (java) S 23339 23339 13260 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151061926 26623803392 6525 33554432000 4194304 4196468 140734777712832 139959797288080 139960244491989 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37236736 140734777722008 140734777722184 140734777722184 140734777724879 0
[pid=23341/tid=23349] ppid=23339 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/23341/task/23349/stat : 23349 (java) S 23339 23339 13260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151061926 26623803392 6525 33554432000 4194304 4196468 140734777712832 139959796235024 139960244491989 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37236736 140734777722008 140734777722184 140734777722184 140734777724879 0
[pid=23341/tid=23350] ppid=23339 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/23341/task/23350/stat : 23350 (java) S 23339 23339 13260 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151061926 26623803392 6525 33554432000 4194304 4196468 140734777712832 139959795182480 139960244491989 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37236736 140734777722008 140734777722184 140734777722184 140734777724879 0
[pid=23341/tid=23351] ppid=23339 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/23341/task/23351/stat : 23351 (java) S 23339 23339 13260 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151061928 26623803392 6525 33554432000 4194304 4196468 140734777712832 139959639980272 139960244492930 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37236736 140734777722008 140734777722184 140734777722184 140734777724879 0
[pid=23341/tid=23352] ppid=23339 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/23341/task/23352/stat : 23352 (java) S 23339 23339 13260 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 151061928 26623803392 6525 33554432000 4194304 4196468 140734777712832 139959638926496 139960244491989 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37236736 140734777722008 140734777722184 140734777722184 140734777724879 0
[pid=23341/tid=23353] ppid=23339 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/23341/task/23353/stat : 23353 (java) S 23339 23339 13260 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 151061929 26623803392 6525 33554432000 4194304 4196468 140734777712832 139959637873392 139960244491989 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37236736 140734777722008 140734777722184 140734777722184 140734777724879 0
[pid=23341/tid=23354] ppid=23339 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/23341/task/23354/stat : 23354 (java) S 23339 23339 13260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151061931 26623803392 6525 33554432000 4194304 4196468 140734777712832 139959636821968 139960244500379 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37236736 140734777722008 140734777722184 140734777722184 140734777724879 0
[pid=23341/tid=23355] ppid=23339 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/23341/task/23355/stat : 23355 (java) S 23339 23339 13260 0 -1 1077944384 304 0 0 0 0 0 0 0 20 0 20 0 151061931 26623803392 6525 33554432000 4194304 4196468 140734777712832 139959635770096 139960244492930 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37236736 140734777722008 140734777722184 140734777722184 140734777724879 0
[pid=23341/tid=23356] ppid=23339 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/23341/task/23356/stat : 23356 (java) S 23339 23339 13260 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 151061931 26623803392 6525 33554432000 4194304 4196468 140734777712832 139959634717552 139960244492930 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37236736 140734777722008 140734777722184 140734777722184 140734777724879 0
[pid=23341/tid=23357] ppid=23339 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/23341/task/23357/stat : 23357 (java) S 23339 23339 13260 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 20 0 151061931 26623803392 6525 33554432000 4194304 4196468 140734777712832 139959633664496 139960244492930 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37236736 140734777722008 140734777722184 140734777722184 140734777724879 0
[pid=23341/tid=23358] ppid=23339 vsize=25999808 memory=0 CPUtime=0.01 cores=0-7
/proc/23341/task/23358/stat : 23358 (java) S 23339 23339 13260 0 -1 1077944384 260 0 0 0 1 0 0 0 20 0 20 0 151061931 26623803392 6591 33554432000 4194304 4196468 140734777712832 139959632611952 139960244492930 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37236736 140734777722008 140734777722184 140734777722184 140734777724879 0
[pid=23341/tid=23359] ppid=23339 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/23341/task/23359/stat : 23359 (java) S 23339 23339 13260 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 151061931 26623803392 6591 33554432000 4194304 4196468 140734777712832 139959631559136 139960244491989 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37236736 140734777722008 140734777722184 140734777722184 140734777724879 0
[pid=23341/tid=23360] ppid=23339 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/23341/task/23360/stat : 23360 (java) S 23339 23339 13260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151061931 26623803392 6591 33554432000 4194304 4196468 140734777712832 139959428180656 139960244492930 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37236736 140734777722008 140734777722184 140734777722184 140734777724879 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 26009320 KiB
Current children cumulated memory: 27484 KiB

[startup+0.210239 s]*
/proc/loadavg: 7.51 7.94 8.09 2/200 23360
/proc/meminfo: memFree=26171876/32770624 swapFree=67108860/67108860
[pid=23339] ppid=23336 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/23339/stat : 23339 (xcsp3-exec) S 23336 23339 13260 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 151061925 9740288 346 33554432000 4194304 5098028 140730829256464 140730829254568 140601495188092 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 14352384 140730829263978 140730829264188 140730829264188 140730829266923 0
/proc/23339/statm: 2378 346 289 221 0 87 0
[pid=23341] ppid=23339 vsize=26004064 memory=38720 CPUtime=0.34 cores=0-7
/proc/23341/stat : 23341 (java) S 23339 23339 13260 0 -1 1077944320 8254 0 0 0 31 3 0 0 20 0 20 0 151061925 26628161536 9680 33554432000 4194304 4196468 140734777712832 140734777695376 139960244481783 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 37236736 140734777722008 140734777722184 140734777722184 140734777724879 0
/proc/23341/statm: 6501016 9680 3053 1 0 6488269 0
[pid=23341/tid=23342] ppid=23339 vsize=26004064 memory=8318255677412212789 CPUtime=0.2 cores=0-7
/proc/23341/task/23342/stat : 23342 (java) D 23339 23339 13260 0 -1 1077944384 5408 0 0 0 18 2 0 0 20 0 20 0 151061926 26628161536 9680 33554432000 4194304 4196468 140734777712832 139960248692576 139960237161005 0 4 0 16800975 18446744072101625380 0 0 -1 6 0 0 0 0 0 6293624 6294260 37236736 140734777722008 140734777722184 140734777722184 140734777724879 0
[pid=23341/tid=23343] ppid=23339 vsize=26004064 memory=342 CPUtime=0 cores=0-7
/proc/23341/task/23343/stat : 23343 (java) S 23339 23339 13260 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151061926 26628161536 9680 33554432000 4194304 4196468 140734777712832 139959802550800 139960244491989 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37236736 140734777722008 140734777722184 140734777722184 140734777724879 0
[pid=23341/tid=23344] ppid=23339 vsize=26004064 memory=3978850617783821984 CPUtime=0 cores=0-7
/proc/23341/task/23344/stat : 23344 (java) S 23339 23339 13260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151061926 26628161536 9680 33554432000 4194304 4196468 140734777712832 139959801498256 139960244491989 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37236736 140734777722008 140734777722184 140734777722184 140734777724879 0
[pid=23341/tid=23345] ppid=23339 vsize=26004096 memory=-1 CPUtime=0 cores=0-7
/proc/23341/task/23345/stat : 23345 (java) S 23339 23339 13260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151061926 26628194304 9680 33554432000 4194304 4196468 140734777712832 139959800445200 139960244491989 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37236736 140734777722008 140734777722184 140734777722184 140734777724879 0
[pid=23341/tid=23346] ppid=23339 vsize=26004096 memory=0 CPUtime=0 cores=0-7
/proc/23341/task/23346/stat : 23346 (java) S 23339 23339 13260 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 20 0 151061926 26628194304 9680 33554432000 4194304 4196468 140734777712832 139959799392656 139960244491989 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37236736 140734777722008 140734777722184 140734777722184 140734777724879 0
[pid=23341/tid=23347] ppid=23339 vsize=26004096 memory=0 CPUtime=0 cores=0-7
/proc/23341/task/23347/stat : 23347 (java) S 23339 23339 13260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151061926 26628194304 9680 33554432000 4194304 4196468 140734777712832 139959798340624 139960244491989 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37236736 140734777722008 140734777722184 140734777722184 140734777724879 0
[pid=23341/tid=23348] ppid=23339 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/23341/task/23348/stat : 23348 (java) S 23339 23339 13260 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151061926 26628161536 9702 33554432000 4194304 4196468 140734777712832 139959797288080 139960244491989 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37236736 140734777722008 140734777722184 140734777722184 140734777724879 0
[pid=23341/tid=23349] ppid=23339 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/23341/task/23349/stat : 23349 (java) S 23339 23339 13260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151061926 26628161536 9702 33554432000 4194304 4196468 140734777712832 139959796235024 139960244491989 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37236736 140734777722008 140734777722184 140734777722184 140734777724879 0
[pid=23341/tid=23350] ppid=23339 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/23341/task/23350/stat : 23350 (java) S 23339 23339 13260 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151061926 26628161536 9702 33554432000 4194304 4196468 140734777712832 139959795182480 139960244491989 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37236736 140734777722008 140734777722184 140734777722184 140734777724879 0
[pid=23341/tid=23351] ppid=23339 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/23341/task/23351/stat : 23351 (java) S 23339 23339 13260 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 151061928 26628161536 9702 33554432000 4194304 4196468 140734777712832 139959639980272 139960244492930 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37236736 140734777722008 140734777722184 140734777722184 140734777724879 0
[pid=23341/tid=23352] ppid=23339 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/23341/task/23352/stat : 23352 (java) S 23339 23339 13260 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 151061928 26628161536 9702 33554432000 4194304 4196468 140734777712832 139959638926496 139960244491989 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37236736 140734777722008 140734777722184 140734777722184 140734777724879 0
[pid=23341/tid=23353] ppid=23339 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/23341/task/23353/stat : 23353 (java) S 23339 23339 13260 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 151061929 26628161536 9702 33554432000 4194304 4196468 140734777712832 139959637873392 139960244491989 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37236736 140734777722008 140734777722184 140734777722184 140734777724879 0
[pid=23341/tid=23354] ppid=23339 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/23341/task/23354/stat : 23354 (java) S 23339 23339 13260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151061931 26628161536 9702 33554432000 4194304 4196468 140734777712832 139959636821968 139960244500379 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37236736 140734777722008 140734777722184 140734777722184 140734777724879 0
[pid=23341/tid=23355] ppid=23339 vsize=26004096 memory=0 CPUtime=0.01 cores=0-7
/proc/23341/task/23355/stat : 23355 (java) S 23339 23339 13260 0 -1 1077944384 328 0 0 0 1 0 0 0 20 0 20 0 151061931 26628194304 9702 33554432000 4194304 4196468 140734777712832 139959635770096 139960244492930 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37236736 140734777722008 140734777722184 140734777722184 140734777724879 0
[pid=23341/tid=23356] ppid=23339 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7
/proc/23341/task/23356/stat : 23356 (java) S 23339 23339 13260 0 -1 1077944384 119 0 0 0 1 0 0 0 20 0 20 0 151061931 26628161536 9702 33554432000 4194304 4196468 140734777712832 139959634717552 139960244492930 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37236736 140734777722008 140734777722184 140734777722184 140734777724879 0
[pid=23341/tid=23357] ppid=23339 vsize=26004064 memory=-1 CPUtime=0.01 cores=0-7
/proc/23341/task/23357/stat : 23357 (java) S 23339 23339 13260 0 -1 1077944384 347 0 0 0 1 0 0 0 20 0 20 0 151061931 26628161536 9702 33554432000 4194304 4196468 140734777712832 139959633664496 139960244492930 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37236736 140734777722008 140734777722184 140734777722184 140734777724879 0
[pid=23341/tid=23358] ppid=23339 vsize=26004064 memory=-1 CPUtime=0.08 cores=0-7
/proc/23341/task/23358/stat : 23358 (java) S 23339 23339 13260 0 -1 1077944384 744 0 0 0 8 0 0 0 20 0 20 0 151061931 26628161536 9702 33554432000 4194304 4196468 140734777712832 139959632611952 139960244492930 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37236736 140734777722008 140734777722184 140734777722184 140734777724879 0
[pid=23341/tid=23359] ppid=23339 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/23341/task/23359/stat : 23359 (java) S 23339 23339 13260 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 151061931 26628161536 9702 33554432000 4194304 4196468 140734777712832 139959631559136 139960244491989 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37236736 140734777722008 140734777722184 140734777722184 140734777724879 0
[pid=23341/tid=23360] ppid=23339 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/23341/task/23360/stat : 23360 (java) S 23339 23339 13260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151061931 26628161536 9702 33554432000 4194304 4196468 140734777712832 139959428180656 139960244492930 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37236736 140734777722008 140734777722184 140734777722184 140734777724879 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 40104 KiB

[startup+0.309694 s]*
/proc/loadavg: 7.51 7.94 8.09 3/200 23360
/proc/meminfo: memFree=26167224/32770624 swapFree=67108860/67108860
[pid=23339] ppid=23336 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/23339/stat : 23339 (xcsp3-exec) S 23336 23339 13260 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 151061925 9740288 346 33554432000 4194304 5098028 140730829256464 140730829254568 140601495188092 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 14352384 140730829263978 140730829264188 140730829264188 140730829266923 0
/proc/23339/statm: 2378 346 289 221 0 87 0
[pid=23341] ppid=23339 vsize=26004064 memory=45524 CPUtime=0.5 cores=0-7
/proc/23341/stat : 23341 (java) S 23339 23339 13260 0 -1 1077944320 9112 0 0 0 47 3 0 0 20 0 20 0 151061925 26628161536 11381 33554432000 4194304 4196468 140734777712832 140734777695376 139960244481783 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 37236736 140734777722008 140734777722184 140734777722184 140734777724879 0
/proc/23341/statm: 6501016 11381 3104 1 0 6488269 0
[pid=23341/tid=23342] ppid=23339 vsize=26004064 memory=6791534058613427641 CPUtime=0.29 cores=0-7
/proc/23341/task/23342/stat : 23342 (java) R 23339 23339 13260 0 -1 4202560 6099 0 0 0 27 2 0 0 20 0 20 0 151061926 26628161536 11381 33554432000 4194304 4196468 140734777712832 139960248721008 139960244493718 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 37236736 140734777722008 140734777722184 140734777722184 140734777724879 0
[pid=23341/tid=23343] ppid=23339 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/23341/task/23343/stat : 23343 (java) S 23339 23339 13260 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151061926 26628161536 11381 33554432000 4194304 4196468 140734777712832 139959802550800 139960244491989 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37236736 140734777722008 140734777722184 140734777722184 140734777724879 0
[pid=23341/tid=23344] ppid=23339 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/23341/task/23344/stat : 23344 (java) S 23339 23339 13260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151061926 26628161536 11381 33554432000 4194304 4196468 140734777712832 139959801498256 139960244491989 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37236736 140734777722008 140734777722184 140734777722184 140734777724879 0
[pid=23341/tid=23345] ppid=23339 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/23341/task/23345/stat : 23345 (java) S 23339 23339 13260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151061926 26628161536 11381 33554432000 4194304 4196468 140734777712832 139959800445200 139960244491989 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37236736 140734777722008 140734777722184 140734777722184 140734777724879 0
[pid=23341/tid=23346] ppid=23339 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/23341/task/23346/stat : 23346 (java) S 23339 23339 13260 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 20 0 151061926 26628161536 11381 33554432000 4194304 4196468 140734777712832 139959799392656 139960244491989 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37236736 140734777722008 140734777722184 140734777722184 140734777724879 0
[pid=23341/tid=23347] ppid=23339 vsize=26004064 memory=2244 CPUtime=0 cores=0-7
/proc/23341/task/23347/stat : 23347 (java) S 23339 23339 13260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151061926 26628161536 11381 33554432000 4194304 4196468 140734777712832 139959798340624 139960244491989 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37236736 140734777722008 140734777722184 140734777722184 140734777724879 0
[pid=23341/tid=23348] ppid=23339 vsize=26004064 memory=140033583575983 CPUtime=0 cores=0-7
/proc/23341/task/23348/stat : 23348 (java) S 23339 23339 13260 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151061926 26628161536 11381 33554432000 4194304 4196468 140734777712832 139959797288080 139960244491989 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37236736 140734777722008 140734777722184 140734777722184 140734777724879 0
[pid=23341/tid=23349] ppid=23339 vsize=26004064 memory=140033583578288 CPUtime=0 cores=0-7
/proc/23341/task/23349/stat : 23349 (java) S 23339 23339 13260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151061926 26628161536 11381 33554432000 4194304 4196468 140734777712832 139959796235024 139960244491989 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37236736 140734777722008 140734777722184 140734777722184 140734777724879 0
[pid=23341/tid=23350] ppid=23339 vsize=26004064 memory=140033583580592 CPUtime=0 cores=0-7
/proc/23341/task/23350/stat : 23350 (java) S 23339 23339 13260 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151061926 26628161536 11381 33554432000 4194304 4196468 140734777712832 139959795182480 139960244491989 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37236736 140734777722008 140734777722184 140734777722184 140734777724879 0
[pid=23341/tid=23351] ppid=23339 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/23341/task/23351/stat : 23351 (java) S 23339 23339 13260 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 151061928 26628161536 11381 33554432000 4194304 4196468 140734777712832 139959639980272 139960244492930 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37236736 140734777722008 140734777722184 140734777722184 140734777724879 0
[pid=23341/tid=23352] ppid=23339 vsize=26004064 memory=280067167168144 CPUtime=0 cores=0-7
/proc/23341/task/23352/stat : 23352 (java) S 23339 23339 13260 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 151061928 26628161536 11381 33554432000 4194304 4196468 140734777712832 139959638926496 139960244491989 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37236736 140734777722008 140734777722184 140734777722184 140734777724879 0
[pid=23341/tid=23353] ppid=23339 vsize=26004064 memory=280067167175056 CPUtime=0 cores=0-7
/proc/23341/task/23353/stat : 23353 (java) S 23339 23339 13260 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 151061929 26628161536 11381 33554432000 4194304 4196468 140734777712832 139959637873392 139960244491989 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37236736 140734777722008 140734777722184 140734777722184 140734777724879 0
[pid=23341/tid=23354] ppid=23339 vsize=26004064 memory=280067167116336 CPUtime=0 cores=0-7
/proc/23341/task/23354/stat : 23354 (java) S 23339 23339 13260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151061931 26628161536 11381 33554432000 4194304 4196468 140734777712832 139959636821968 139960244500379 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37236736 140734777722008 140734777722184 140734777722184 140734777724879 0
[pid=23341/tid=23355] ppid=23339 vsize=26004064 memory=280067167188880 CPUtime=0.01 cores=0-7
/proc/23341/task/23355/stat : 23355 (java) S 23339 23339 13260 0 -1 1077944384 328 0 0 0 1 0 0 0 20 0 20 0 151061931 26628161536 11381 33554432000 4194304 4196468 140734777712832 139959635770096 139960244492930 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37236736 140734777722008 140734777722184 140734777722184 140734777724879 0
[pid=23341/tid=23356] ppid=23339 vsize=26004064 memory=280067167195792 CPUtime=0.03 cores=0-7
/proc/23341/task/23356/stat : 23356 (java) R 23339 23339 13260 0 -1 4202560 140 0 0 0 3 0 0 0 20 0 20 0 151061931 26628161536 11381 33554432000 4194304 4196468 140734777712832 139959634717552 139960236718910 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 37236736 140734777722008 140734777722184 140734777722184 140734777724879 0
[pid=23341/tid=23357] ppid=23339 vsize=26004064 memory=280067167193488 CPUtime=0.02 cores=0-7
/proc/23341/task/23357/stat : 23357 (java) R 23339 23339 13260 0 -1 4202560 353 0 0 0 2 0 0 0 20 0 20 0 151061931 26628161536 11381 33554432000 4194304 4196468 140734777712832 139959633654416 139960244503130 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 37236736 140734777722008 140734777722184 140734777722184 140734777724879 0
[pid=23341/tid=23358] ppid=23339 vsize=26004064 memory=280067167209648 CPUtime=0.13 cores=0-7
/proc/23341/task/23358/stat : 23358 (java) R 23339 23339 13260 0 -1 4202560 887 0 0 0 13 0 0 0 20 0 20 0 151061931 26628161536 11381 33554432000 4194304 4196468 140734777712832 139959632609616 139960228562270 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 37236736 140734777722008 140734777722184 140734777722184 140734777724879 0
[pid=23341/tid=23359] ppid=23339 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/23341/task/23359/stat : 23359 (java) S 23339 23339 13260 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 151061931 26628161536 11381 33554432000 4194304 4196468 140734777712832 139959631559136 139960244491989 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37236736 140734777722008 140734777722184 140734777722184 140734777724879 0
[pid=23341/tid=23360] ppid=23339 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/23341/task/23360/stat : 23360 (java) S 23339 23339 13260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151061931 26628161536 11381 33554432000 4194304 4196468 140734777712832 139959428180656 139960244492930 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37236736 140734777722008 140734777722184 140734777722184 140734777724879 0
Current children cumulated CPU time: 0.5 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 46908 KiB

[startup+0.700957 s]
/proc/loadavg: 7.51 7.94 8.09 5/200 23360
/proc/meminfo: memFree=26146740/32770624 swapFree=67108860/67108860
[pid=23339] ppid=23336 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/23339/stat : 23339 (xcsp3-exec) S 23336 23339 13260 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 151061925 9740288 346 33554432000 4194304 5098028 140730829256464 140730829254568 140601495188092 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 14352384 140730829263978 140730829264188 140730829264188 140730829266923 0
/proc/23339/statm: 2378 346 289 221 0 87 0
[pid=23341] ppid=23339 vsize=26006188 memory=80472 CPUtime=1.84 cores=0-7
/proc/23341/stat : 23341 (java) S 23339 23339 13260 0 -1 1077944320 12737 0 0 0 179 5 0 0 20 0 20 0 151061925 26630336512 20118 33554432000 4194304 4196468 140734777712832 140734777695376 139960244481783 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 37236736 140734777722008 140734777722184 140734777722184 140734777724879 0
/proc/23341/statm: 6501547 20118 3205 1 0 6488781 0
[pid=23341/tid=23342] ppid=23339 vsize=26006188 memory=280067167567536 CPUtime=0.67 cores=0-7
/proc/23341/task/23342/stat : 23342 (java) R 23339 23339 13260 0 -1 4202560 6629 0 0 0 65 2 0 0 20 0 20 0 151061926 26630336512 20118 33554432000 4194304 4196468 140734777712832 139960248719360 139959852178241 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 37236736 140734777722008 140734777722184 140734777722184 140734777724879 0
[pid=23341/tid=23343] ppid=23339 vsize=26006188 memory=140033583784816 CPUtime=0 cores=0-7
/proc/23341/task/23343/stat : 23343 (java) S 23339 23339 13260 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151061926 26630336512 20118 33554432000 4194304 4196468 140734777712832 139959802550800 139960244491989 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37236736 140734777722008 140734777722184 140734777722184 140734777724879 0
[pid=23341/tid=23344] ppid=23339 vsize=26006188 memory=0 CPUtime=0 cores=0-7
/proc/23341/task/23344/stat : 23344 (java) S 23339 23339 13260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151061926 26630336512 20118 33554432000 4194304 4196468 140734777712832 139959801498256 139960244491989 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37236736 140734777722008 140734777722184 140734777722184 140734777724879 0
[pid=23341/tid=23345] ppid=23339 vsize=26006188 memory=1004 CPUtime=0 cores=0-7
/proc/23341/task/23345/stat : 23345 (java) S 23339 23339 13260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151061926 26630336512 20118 33554432000 4194304 4196468 140734777712832 139959800445200 139960244491989 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37236736 140734777722008 140734777722184 140734777722184 140734777724879 0

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

[pid=23341/tid=25824] ppid=23339 vsize=26673876 memory=1384 CPUtime=153.77 cores=0-7
/proc/23341/task/25824/stat : 25824 (java) R 23339 23339 13260 0 -1 4202560 3882 0 0 0 15369 8 0 0 20 0 28 0 151062746 27314049024 1873225 33554432000 4194304 4196468 140734777712832 139959420665848 139959856414999 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 37236736 140734777722008 140734777722184 140734777722184 140734777724879 0
Current children cumulated CPU time: 1270.65 s
Current children cumulated vsize: 26683388 KiB
Current children cumulated memory: 7494284 KiB

[startup+222.302 s]
/proc/loadavg: 8.26 8.20 8.18 9/207 25824
/proc/meminfo: memFree=18742472/32770624 swapFree=67108860/67108860
[pid=23339] ppid=23336 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/23339/stat : 23339 (xcsp3-exec) S 23336 23339 13260 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 151061925 9740288 346 33554432000 4194304 5098028 140730829256464 140730829254568 140601495188092 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 14352384 140730829263978 140730829264188 140730829264188 140730829266923 0
/proc/23339/statm: 2378 346 289 221 0 87 0
[pid=23341] ppid=23339 vsize=26673876 memory=7456896 CPUtime=1749.18 cores=0-7
/proc/23341/stat : 23341 (java) S 23339 23339 13260 0 -1 1077944320 155636 0 0 0 174593 325 0 0 20 0 28 0 151061925 27314049024 1864224 33554432000 4194304 4196468 140734777712832 140734777695376 139960244481783 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 37236736 140734777722008 140734777722184 140734777722184 140734777724879 0
/proc/23341/statm: 6668469 1864224 3287 1 0 6655703 0
[pid=23341/tid=23342] ppid=23339 vsize=26673876 memory=7456896 CPUtime=2.57 cores=0-7
/proc/23341/task/23342/stat : 23342 (java) S 23339 23339 13260 0 -1 1077944384 9623 0 0 0 251 6 0 0 20 0 28 0 151061926 27314049024 1864224 33554432000 4194304 4196468 140734777712832 139960248722448 139960244491989 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37236736 140734777722008 140734777722184 140734777722184 140734777724879 0
[pid=23341/tid=23343] ppid=23339 vsize=26673876 memory=7489740 CPUtime=0.21 cores=0-7
/proc/23341/task/23343/stat : 23343 (java) S 23339 23339 13260 0 -1 1077944384 802 0 0 0 14 7 0 0 20 0 28 0 151061926 27314049024 1864224 33554432000 4194304 4196468 140734777712832 139959802550800 139960244491989 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37236736 140734777722008 140734777722184 140734777722184 140734777724879 0
[pid=23341/tid=23344] ppid=23339 vsize=26673876 memory=7489740 CPUtime=0.19 cores=0-7
/proc/23341/task/23344/stat : 23344 (java) S 23339 23339 13260 0 -1 1077944384 1416 0 0 0 12 7 0 0 20 0 28 0 151061926 27314049024 1864224 33554432000 4194304 4196468 140734777712832 139959801498256 139960244491989 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37236736 140734777722008 140734777722184 140734777722184 140734777724879 0
[pid=23341/tid=23345] ppid=23339 vsize=26673876 memory=7489740 CPUtime=0.17 cores=0-7
/proc/23341/task/23345/stat : 23345 (java) S 23339 23339 13260 0 -1 1077944384 1165 0 0 0 12 5 0 0 20 0 28 0 151061926 27314049024 1864224 33554432000 4194304 4196468 140734777712832 139959800445200 139960244491989 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37236736 140734777722008 140734777722184 140734777722184 140734777724879 0
[pid=23341/tid=23346] ppid=23339 vsize=26673876 memory=7491788 CPUtime=0.17 cores=0-7
/proc/23341/task/23346/stat : 23346 (java) S 23339 23339 13260 0 -1 1077944384 774 0 0 0 12 5 0 0 20 0 28 0 151061926 27314049024 1864224 33554432000 4194304 4196468 140734777712832 139959799392656 139960244491989 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37236736 140734777722008 140734777722184 140734777722184 140734777724879 0
[pid=23341/tid=23347] ppid=23339 vsize=26673876 memory=7491788 CPUtime=0.17 cores=0-7
/proc/23341/task/23347/stat : 23347 (java) S 23339 23339 13260 0 -1 1077944384 576 0 0 0 12 5 0 0 20 0 28 0 151061926 27314049024 1864224 33554432000 4194304 4196468 140734777712832 139959798340624 139960244491989 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37236736 140734777722008 140734777722184 140734777722184 140734777724879 0
[pid=23341/tid=23348] ppid=23339 vsize=26673876 memory=7456896 CPUtime=0.19 cores=0-7
/proc/23341/task/23348/stat : 23348 (java) S 23339 23339 13260 0 -1 1077944384 761 0 0 0 13 6 0 0 20 0 28 0 151061926 27314049024 1864224 33554432000 4194304 4196468 140734777712832 139959797288080 139960244491989 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37236736 140734777722008 140734777722184 140734777722184 140734777724879 0
[pid=23341/tid=23349] ppid=23339 vsize=26673876 memory=1384 CPUtime=0.2 cores=0-7
/proc/23341/task/23349/stat : 23349 (java) S 23339 23339 13260 0 -1 1077944384 739 0 0 0 14 6 0 0 20 0 28 0 151061926 27314049024 1864224 33554432000 4194304 4196468 140734777712832 139959796235024 139960244491989 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37236736 140734777722008 140734777722184 140734777722184 140734777724879 0
[pid=23341/tid=23350] ppid=23339 vsize=26673876 memory=164 CPUtime=0.18 cores=0-7
/proc/23341/task/23350/stat : 23350 (java) S 23339 23339 13260 0 -1 1077944384 457 0 0 0 12 6 0 0 20 0 28 0 151061926 27314049024 1864224 33554432000 4194304 4196468 140734777712832 139959795182480 139960244491989 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 1 0 0 6293624 6294260 37236736 140734777722008 140734777722184 140734777722184 140734777724879 0
[pid=23341/tid=23351] ppid=23339 vsize=26673876 memory=0 CPUtime=0.06 cores=0-7
/proc/23341/task/23351/stat : 23351 (java) S 23339 23339 13260 0 -1 1077944384 5827 0 0 0 4 2 0 0 20 0 28 0 151061928 27314049024 1864224 33554432000 4194304 4196468 140734777712832 139959639980272 139960244492930 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37236736 140734777722008 140734777722184 140734777722184 140734777724879 0
[pid=23341/tid=23352] ppid=23339 vsize=26673876 memory=7489740 CPUtime=0 cores=0-7
/proc/23341/task/23352/stat : 23352 (java) S 23339 23339 13260 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 28 0 151061928 27314049024 1864224 33554432000 4194304 4196468 140734777712832 139959638926560 139960244491989 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37236736 140734777722008 140734777722184 140734777722184 140734777724879 0
[pid=23341/tid=23353] ppid=23339 vsize=26673876 memory=1384 CPUtime=0 cores=0-7
/proc/23341/task/23353/stat : 23353 (java) S 23339 23339 13260 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 28 0 151061929 27314049024 1864224 33554432000 4194304 4196468 140734777712832 139959637873408 139960244491989 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37236736 140734777722008 140734777722184 140734777722184 140734777724879 0
[pid=23341/tid=23354] ppid=23339 vsize=26673876 memory=1436 CPUtime=0 cores=0-7
/proc/23341/task/23354/stat : 23354 (java) S 23339 23339 13260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 151061931 27314049024 1864224 33554432000 4194304 4196468 140734777712832 139959636821968 139960244500379 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37236736 140734777722008 140734777722184 140734777722184 140734777724879 0
[pid=23341/tid=23355] ppid=23339 vsize=26673876 memory=1200 CPUtime=3.65 cores=0-7
/proc/23341/task/23355/stat : 23355 (java) S 23339 23339 13260 0 -1 1077944384 11412 0 0 0 361 4 0 0 20 0 28 0 151061931 27314049024 1864224 33554432000 4194304 4196468 140734777712832 139959635770096 139960244492930 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37236736 140734777722008 140734777722184 140734777722184 140734777724879 0
[pid=23341/tid=23356] ppid=23339 vsize=26673876 memory=7491788 CPUtime=3.53 cores=0-7
/proc/23341/task/23356/stat : 23356 (java) S 23339 23339 13260 0 -1 1077944384 14006 0 0 0 351 2 0 0 20 0 28 0 151061931 27314049024 1864224 33554432000 4194304 4196468 140734777712832 139959634717552 139960244492930 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37236736 140734777722008 140734777722184 140734777722184 140734777724879 0
[pid=23341/tid=23357] ppid=23339 vsize=26673876 memory=1384 CPUtime=3.83 cores=0-7
/proc/23341/task/23357/stat : 23357 (java) S 23339 23339 13260 0 -1 1077944384 18472 0 0 0 378 5 0 0 20 0 28 0 151061931 27314049024 1864224 33554432000 4194304 4196468 140734777712832 139959633664496 139960244492930 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37236736 140734777722008 140734777722184 140734777722184 140734777724879 0
[pid=23341/tid=23358] ppid=23339 vsize=26673876 memory=1384 CPUtime=1.17 cores=0-7
/proc/23341/task/23358/stat : 23358 (java) S 23339 23339 13260 0 -1 1077944384 8197 0 0 0 115 2 0 0 20 0 28 0 151061931 27314049024 1864224 33554432000 4194304 4196468 140734777712832 139959632611952 139960244492930 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37236736 140734777722008 140734777722184 140734777722184 140734777724879 0
[pid=23341/tid=23359] ppid=23339 vsize=26673876 memory=4132 CPUtime=0 cores=0-7
/proc/23341/task/23359/stat : 23359 (java) S 23339 23339 13260 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 151061931 27314049024 1864224 33554432000 4194304 4196468 140734777712832 139959631559136 139960244491989 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37236736 140734777722008 140734777722184 140734777722184 140734777724879 0
[pid=23341/tid=23360] ppid=23339 vsize=26673876 memory=1384 CPUtime=0.09 cores=0-7
/proc/23341/task/23360/stat : 23360 (java) S 23339 23339 13260 0 -1 1077944384 1115 0 0 0 6 3 0 0 20 0 28 0 151061931 27314049024 1864224 33554432000 4194304 4196468 140734777712832 139959428180656 139960244492930 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37236736 140734777722008 140734777722184 140734777722184 140734777724879 0
[pid=23341/tid=25817] ppid=23339 vsize=26673876 memory=1384 CPUtime=212.54 cores=0-7
/proc/23341/task/25817/stat : 25817 (java) R 23339 23339 13260 0 -1 4202560 2221 0 0 0 21242 12 0 0 20 0 28 0 151062745 27314049024 1864224 33554432000 4194304 4196468 140734777712832 139959413296040 139959857424104 0 4 0 16800975 0 0 0 -1 7 0 0 1 0 0 6293624 6294260 37236736 140734777722008 140734777722184 140734777722184 140734777724879 0
[pid=23341/tid=25818] ppid=23339 vsize=26673876 memory=1384 CPUtime=213.6 cores=0-7
/proc/23341/task/25818/stat : 25818 (java) R 23339 23339 13260 0 -1 4202560 1569 0 0 0 21359 1 0 0 20 0 28 0 151062745 27314049024 1864224 33554432000 4194304 4196468 140734777712832 139959416454728 139959857424104 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 37236736 140734777722008 140734777722184 140734777722184 140734777724879 0
[pid=23341/tid=25819] ppid=23339 vsize=26673876 memory=1384 CPUtime=212.62 cores=0-7
/proc/23341/task/25819/stat : 25819 (java) R 23339 23339 13260 0 -1 4202560 1467 0 0 0 21259 3 0 0 20 0 28 0 151062745 27314049024 1864224 33554432000 4194304 4196468 140734777712832 139959419612872 139959852048966 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 37236736 140734777722008 140734777722184 140734777722184 140734777724879 0
[pid=23341/tid=25820] ppid=23339 vsize=26673876 memory=1384 CPUtime=213.94 cores=0-7
/proc/23341/task/25820/stat : 25820 (java) R 23339 23339 13260 0 -1 4202560 31900 0 0 0 21259 135 0 0 20 0 28 0 151062746 27314049024 1864224 33554432000 4194304 4196468 140734777712832 139959414353120 139959854578768 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 37236736 140734777722008 140734777722184 140734777722184 140734777724879 0
[pid=23341/tid=25821] ppid=23339 vsize=26673876 memory=7496164 CPUtime=213.74 cores=0-7
/proc/23341/task/25821/stat : 25821 (java) R 23339 23339 13260 0 -1 4202560 6226 0 0 0 21346 28 0 0 20 0 28 0 151062746 27314049024 1864224 33554432000 4194304 4196468 140734777712832 139959409095880 139959856872350 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 37236736 140734777722008 140734777722184 140734777722184 140734777724879 0
[pid=23341/tid=25822] ppid=23339 vsize=26673876 memory=7489740 CPUtime=212.11 cores=0-7
/proc/23341/task/25822/stat : 25822 (java) R 23339 23339 13260 0 -1 4202560 1509 0 0 0 21208 3 0 0 20 0 28 0 151062746 27314049024 1864224 33554432000 4194304 4196468 140734777712832 139959410147352 139959857492571 0 4 0 16800975 0 0 0 -1 5 0 0 1 0 0 6293624 6294260 37236736 140734777722008 140734777722184 140734777722184 140734777724879 0
[pid=23341/tid=25823] ppid=23339 vsize=26673876 memory=1384 CPUtime=213.82 cores=0-7
/proc/23341/task/25823/stat : 25823 (java) R 23339 23339 13260 0 -1 4202560 5334 0 0 0 21377 5 0 0 20 0 28 0 151062746 27314049024 1864224 33554432000 4194304 4196468 140734777712832 139959417507936 139959852048625 0 4 0 16800975 0 0 0 -1 4 0 0 2 0 0 6293624 6294260 37236736 140734777722008 140734777722184 140734777722184 140734777724879 0
[pid=23341/tid=25824] ppid=23339 vsize=26673876 memory=1384 CPUtime=213.71 cores=0-7
/proc/23341/task/25824/stat : 25824 (java) R 23339 23339 13260 0 -1 4202560 4342 0 0 0 21362 9 0 0 20 0 28 0 151062746 27314049024 1864224 33554432000 4194304 4196468 140734777712832 139959420665368 139959857320130 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 37236736 140734777722008 140734777722184 140734777722184 140734777724879 0
Current children cumulated CPU time: 1749.18 s
Current children cumulated vsize: 26683388 KiB
Current children cumulated memory: 7458280 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+252.002 s]*
/proc/loadavg: 8.16 8.18 8.17 9/207 25824
/proc/meminfo: memFree=18777344/32770624 swapFree=67108860/67108860
[pid=23339] ppid=23336 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/23339/stat : 23339 (xcsp3-exec) S 23336 23339 13260 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 151061925 9740288 346 33554432000 4194304 5098028 140730829256464 140730829254568 140601495188092 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 14352384 140730829263978 140730829264188 140730829264188 140730829266923 0
/proc/23339/statm: 2378 346 289 221 0 87 0
[pid=23341] ppid=23339 vsize=26673876 memory=7422012 CPUtime=1986.18 cores=0-7
/proc/23341/stat : 23341 (java) S 23339 23339 13260 0 -1 1077944320 165197 0 0 0 198282 336 0 0 20 0 28 0 151061925 27314049024 1855503 33554432000 4194304 4196468 140734777712832 140734777695376 139960244481783 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 37236736 140734777722008 140734777722184 140734777722184 140734777724879 0
/proc/23341/statm: 6668469 1855503 3287 1 0 6655703 0
[pid=23341/tid=23342] ppid=23339 vsize=26673876 memory=6791534058613427641 CPUtime=2.57 cores=0-7
/proc/23341/task/23342/stat : 23342 (java) S 23339 23339 13260 0 -1 1077944384 9623 0 0 0 251 6 0 0 20 0 28 0 151061926 27314049024 1855503 33554432000 4194304 4196468 140734777712832 139960248722448 139960244491989 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37236736 140734777722008 140734777722184 140734777722184 140734777724879 0
[pid=23341/tid=23343] ppid=23339 vsize=26673876 memory=5788 CPUtime=0.21 cores=0-7
/proc/23341/task/23343/stat : 23343 (java) S 23339 23339 13260 0 -1 1077944384 842 0 0 0 14 7 0 0 20 0 28 0 151061926 27314049024 1855503 33554432000 4194304 4196468 140734777712832 139959802550800 139960244491989 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37236736 140734777722008 140734777722184 140734777722184 140734777724879 0
[pid=23341/tid=23344] ppid=23339 vsize=26673876 memory=1228 CPUtime=0.19 cores=0-7
/proc/23341/task/23344/stat : 23344 (java) S 23339 23339 13260 0 -1 1077944384 1443 0 0 0 12 7 0 0 20 0 28 0 151061926 27314049024 1855503 33554432000 4194304 4196468 140734777712832 139959801498256 139960244491989 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37236736 140734777722008 140734777722184 140734777722184 140734777724879 0
[pid=23341/tid=23345] ppid=23339 vsize=26673876 memory=796 CPUtime=0.17 cores=0-7
/proc/23341/task/23345/stat : 23345 (java) S 23339 23339 13260 0 -1 1077944384 1193 0 0 0 12 5 0 0 20 0 28 0 151061926 27314049024 1855503 33554432000 4194304 4196468 140734777712832 139959800445200 139960244491989 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37236736 140734777722008 140734777722184 140734777722184 140734777724879 0
[pid=23341/tid=23346] ppid=23339 vsize=26673876 memory=4872558044660077418 CPUtime=0.18 cores=0-7
/proc/23341/task/23346/stat : 23346 (java) S 23339 23339 13260 0 -1 1077944384 882 0 0 0 13 5 0 0 20 0 28 0 151061926 27314049024 1855503 33554432000 4194304 4196468 140734777712832 139959799392656 139960244491989 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37236736 140734777722008 140734777722184 140734777722184 140734777724879 0
[pid=23341/tid=23347] ppid=23339 vsize=26673876 memory=1720 CPUtime=0.18 cores=0-7
/proc/23341/task/23347/stat : 23347 (java) S 23339 23339 13260 0 -1 1077944384 924 0 0 0 13 5 0 0 20 0 28 0 151061926 27314049024 1855503 33554432000 4194304 4196468 140734777712832 139959798340624 139960244491989 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37236736 140734777722008 140734777722184 140734777722184 140734777724879 0
[pid=23341/tid=23348] ppid=23339 vsize=26673876 memory=1004 CPUtime=0.19 cores=0-7
/proc/23341/task/23348/stat : 23348 (java) S 23339 23339 13260 0 -1 1077944384 805 0 0 0 13 6 0 0 20 0 28 0 151061926 27314049024 1855503 33554432000 4194304 4196468 140734777712832 139959797288080 139960244491989 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37236736 140734777722008 140734777722184 140734777722184 140734777724879 0
[pid=23341/tid=23349] ppid=23339 vsize=26673876 memory=1436 CPUtime=0.2 cores=0-7
/proc/23341/task/23349/stat : 23349 (java) S 23339 23339 13260 0 -1 1077944384 752 0 0 0 14 6 0 0 20 0 28 0 151061926 27314049024 1855503 33554432000 4194304 4196468 140734777712832 139959796235024 139960244491989 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37236736 140734777722008 140734777722184 140734777722184 140734777724879 0
[pid=23341/tid=23350] ppid=23339 vsize=26673876 memory=1200 CPUtime=0.18 cores=0-7
/proc/23341/task/23350/stat : 23350 (java) S 23339 23339 13260 0 -1 1077944384 461 0 0 0 12 6 0 0 20 0 28 0 151061926 27314049024 1855503 33554432000 4194304 4196468 140734777712832 139959795182480 139960244491989 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 1 0 0 6293624 6294260 37236736 140734777722008 140734777722184 140734777722184 140734777724879 0
[pid=23341/tid=23351] ppid=23339 vsize=26673876 memory=15876 CPUtime=0.06 cores=0-7
/proc/23341/task/23351/stat : 23351 (java) S 23339 23339 13260 0 -1 1077944384 6162 0 0 0 4 2 0 0 20 0 28 0 151061928 27314049024 1855503 33554432000 4194304 4196468 140734777712832 139959639980272 139960244492930 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37236736 140734777722008 140734777722184 140734777722184 140734777724879 0
[pid=23341/tid=23352] ppid=23339 vsize=26673876 memory=4040 CPUtime=0 cores=0-7
/proc/23341/task/23352/stat : 23352 (java) S 23339 23339 13260 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 28 0 151061928 27314049024 1855503 33554432000 4194304 4196468 140734777712832 139959638926560 139960244491989 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37236736 140734777722008 140734777722184 140734777722184 140734777724879 0
[pid=23341/tid=23353] ppid=23339 vsize=26673876 memory=24024 CPUtime=0 cores=0-7
/proc/23341/task/23353/stat : 23353 (java) S 23339 23339 13260 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 28 0 151061929 27314049024 1855503 33554432000 4194304 4196468 140734777712832 139959637873408 139960244491989 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37236736 140734777722008 140734777722184 140734777722184 140734777724879 0
[pid=23341/tid=23354] ppid=23339 vsize=26673876 memory=1384 CPUtime=0 cores=0-7
/proc/23341/task/23354/stat : 23354 (java) S 23339 23339 13260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 151061931 27314049024 1855503 33554432000 4194304 4196468 140734777712832 139959636821968 139960244500379 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37236736 140734777722008 140734777722184 140734777722184 140734777724879 0
[pid=23341/tid=23355] ppid=23339 vsize=26673876 memory=1384 CPUtime=3.65 cores=0-7
/proc/23341/task/23355/stat : 23355 (java) S 23339 23339 13260 0 -1 1077944384 11417 0 0 0 361 4 0 0 20 0 28 0 151061931 27314049024 1855503 33554432000 4194304 4196468 140734777712832 139959635770096 139960244492930 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37236736 140734777722008 140734777722184 140734777722184 140734777724879 0
[pid=23341/tid=23356] ppid=23339 vsize=26673876 memory=7422012 CPUtime=3.53 cores=0-7
/proc/23341/task/23356/stat : 23356 (java) S 23339 23339 13260 0 -1 1077944384 14012 0 0 0 351 2 0 0 20 0 28 0 151061931 27314049024 1855503 33554432000 4194304 4196468 140734777712832 139959634717552 139960244492930 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37236736 140734777722008 140734777722184 140734777722184 140734777724879 0
[pid=23341/tid=23357] ppid=23339 vsize=26673876 memory=4872558044660077418 CPUtime=3.83 cores=0-7
/proc/23341/task/23357/stat : 23357 (java) S 23339 23339 13260 0 -1 1077944384 18477 0 0 0 378 5 0 0 20 0 28 0 151061931 27314049024 1855503 33554432000 4194304 4196468 140734777712832 139959633664496 139960244492930 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37236736 140734777722008 140734777722184 140734777722184 140734777724879 0
[pid=23341/tid=23358] ppid=23339 vsize=26673876 memory=2236 CPUtime=1.17 cores=0-7
/proc/23341/task/23358/stat : 23358 (java) S 23339 23339 13260 0 -1 1077944384 8207 0 0 0 115 2 0 0 20 0 28 0 151061931 27314049024 1855503 33554432000 4194304 4196468 140734777712832 139959632611952 139960244492930 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37236736 140734777722008 140734777722184 140734777722184 140734777724879 0
[pid=23341/tid=23359] ppid=23339 vsize=26673876 memory=4084 CPUtime=0 cores=0-7
/proc/23341/task/23359/stat : 23359 (java) S 23339 23339 13260 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 151061931 27314049024 1855503 33554432000 4194304 4196468 140734777712832 139959631559136 139960244491989 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37236736 140734777722008 140734777722184 140734777722184 140734777724879 0
[pid=23341/tid=23360] ppid=23339 vsize=26673876 memory=932 CPUtime=0.1 cores=0-7
/proc/23341/task/23360/stat : 23360 (java) S 23339 23339 13260 0 -1 1077944384 1178 0 0 0 7 3 0 0 20 0 28 0 151061931 27314049024 1855503 33554432000 4194304 4196468 140734777712832 139959428180656 139960244492930 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37236736 140734777722008 140734777722184 140734777722184 140734777724879 0
[pid=23341/tid=25817] ppid=23339 vsize=26673876 memory=33 CPUtime=241.64 cores=0-7
/proc/23341/task/25817/stat : 25817 (java) R 23339 23339 13260 0 -1 4202560 2522 0 0 0 24151 13 0 0 20 0 28 0 151062745 27314049024 1855503 33554432000 4194304 4196468 140734777712832 139959413295936 139959856871884 0 4 0 16800975 0 0 0 -1 7 0 0 1 0 0 6293624 6294260 37236736 140734777722008 140734777722184 140734777722184 140734777724879 0
[pid=23341/tid=25818] ppid=23339 vsize=26673876 memory=-8253362762722141311 CPUtime=243.3 cores=0-7
/proc/23341/task/25818/stat : 25818 (java) R 23339 23339 13260 0 -1 4202560 1836 0 0 0 24329 1 0 0 20 0 28 0 151062745 27314049024 1855503 33554432000 4194304 4196468 140734777712832 139959416454728 139959856873284 0 4 0 16800975 0 0 0 -1 6 0 0 1 0 0 6293624 6294260 37236736 140734777722008 140734777722184 140734777722184 140734777724879 0
[pid=23341/tid=25819] ppid=23339 vsize=26673876 memory=-7175204567652784766 CPUtime=242.31 cores=0-7
/proc/23341/task/25819/stat : 25819 (java) R 23339 23339 13260 0 -1 4202560 1709 0 0 0 24228 3 0 0 20 0 28 0 151062745 27314049024 1855503 33554432000 4194304 4196468 140734777712832 139959419612824 139959848752976 0 4 0 16800975 0 0 0 -1 1 0 0 1 0 0 6293624 6294260 37236736 140734777722008 140734777722184 140734777722184 140734777724879 0
[pid=23341/tid=25820] ppid=23339 vsize=26673876 memory=7100839861465685612 CPUtime=243.63 cores=0-7
/proc/23341/task/25820/stat : 25820 (java) R 23339 23339 13260 0 -1 4202560 37739 0 0 0 24221 142 0 0 20 0 28 0 151062746 27314049024 1855503 33554432000 4194304 4196468 140734777712832 139959414350120 139959851574951 0 4 0 16800975 0 0 0 -1 4 0 0 1 0 0 6293624 6294260 37236736 140734777722008 140734777722184 140734777722184 140734777724879 0
[pid=23341/tid=25821] ppid=23339 vsize=26673876 memory=3054156605268465310 CPUtime=243.44 cores=0-7
/proc/23341/task/25821/stat : 25821 (java) R 23339 23339 13260 0 -1 4202560 6690 0 0 0 24315 29 0 0 20 0 28 0 151062746 27314049024 1855503 33554432000 4194304 4196468 140734777712832 139959409097936 139959856872373 0 4 0 16800975 0 0 0 -1 2 0 0 1 0 0 6293624 6294260 37236736 140734777722008 140734777722184 140734777722184 140734777724879 0
[pid=23341/tid=25822] ppid=23339 vsize=26673876 memory=-8341965534556230502 CPUtime=241.8 cores=0-7
/proc/23341/task/25822/stat : 25822 (java) R 23339 23339 13260 0 -1 4202560 1777 0 0 0 24177 3 0 0 20 0 28 0 151062746 27314049024 1855503 33554432000 4194304 4196468 140734777712832 139959410147544 139959856872253 0 4 0 16800975 0 0 0 -1 5 0 0 1 0 0 6293624 6294260 37236736 140734777722008 140734777722184 140734777722184 140734777724879 0
[pid=23341/tid=25823] ppid=23339 vsize=26673876 memory=4715433313220523562 CPUtime=243.51 cores=0-7
/proc/23341/task/25823/stat : 25823 (java) R 23339 23339 13260 0 -1 4202560 6040 0 0 0 24346 5 0 0 20 0 28 0 151062746 27314049024 1855503 33554432000 4194304 4196468 140734777712832 139959417508184 139959857492942 0 4 0 16800975 0 0 0 -1 0 0 0 2 0 0 6293624 6294260 37236736 140734777722008 140734777722184 140734777722184 140734777724879 0
[pid=23341/tid=25824] ppid=23339 vsize=26673876 memory=8514726395714825349 CPUtime=243.4 cores=0-7
/proc/23341/task/25824/stat : 25824 (java) R 23339 23339 13260 0 -1 4202560 4780 0 0 0 24330 10 0 0 20 0 28 0 151062746 27314049024 1855503 33554432000 4194304 4196468 140734777712832 139959420666264 139959857302589 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 37236736 140734777722008 140734777722184 140734777722184 140734777724879 0
Current children cumulated CPU time: 1986.18 s
Current children cumulated vsize: 26683388 KiB
Current children cumulated memory: 7423396 KiB

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

[startup+252.03 s]
# the end of solver process 23339 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=0 s, system=0.001969 s

[startup+252.075 s]
# the end of solver process 23341 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=1983.06 s, system=3.40317 s
# this solver process was not waited by its parent and was adopted by runsolver

Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples

Child status: 143
Real time (s): 252.075
CPU time (s): 1986.46
CPU user time (s): 1983.06
CPU system time (s): 3.40317
CPU usage (%): 788.044
Max. virtual memory (cumulated for all children) (KiB): 26683388
Max. memory (cumulated for all children) (KiB): 7498472

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1983.06
system time used= 3.40317
maximum resident set size= 7501184
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 166329
page faults= 0
swaps= 0
block input operations= 0
block output operations= 464
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 30874
involuntary context switches= 20897


# summary of solver processes directly reported to runsolver:
#   pid: 23339,23341
#   total CPU time (s): 1986.46
#   total CPU user time (s): 1983.06
#   total CPU system time (s): 3.40317

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.45829 second user time and 2.75639 second system time

The end

Launcher Data 

Begin job on node112 at 2017-08-19 23:41:23
IDJOB=4281601
IDBENCH=115899
IDSOLVER=2676
FILE ID=node112/4281601-1503179743
RUNJOBID= node112-1503169099-13287
PBS_JOBID= 20630837
Free space on /tmp= 61856 MiB

SOLVER NAME= choco-solver 4.0.5 par
BENCH NAME= XCSP17/StillLife/StillLife-wst-s1/StillLife-wastage-26.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-4281601-1503179743/watcher-4281601-1503179743 -o /tmp/evaluation-result-4281601-1503179743/solver-4281601-1503179743 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node112-1503169099-13287 --watchdog 312  ./xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 22000 -tdir HOME -seed 1597694572 HOME/instance-4281601-1503179743.xml

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

MD5SUM BENCH= a21a0b86f7fa853bf556b3925b3cd061
RANDOM SEED=1597694572

node112.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.24
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.24
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.24
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.24
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:        26198996 kB
MemAvailable:   31971720 kB
Buffers:          251896 kB
Cached:          5811056 kB
SwapCached:            0 kB
Active:          1101536 kB
Inactive:        5014652 kB
Active(anon):       4956 kB
Inactive(anon):    84388 kB
Active(file):    1096580 kB
Inactive(file):  4930264 kB
Unevictable:        7840 kB
Mlocked:            7840 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              8000 kB
Writeback:             0 kB
AnonPages:         72956 kB
Mapped:            50992 kB
Shmem:             33416 kB
Slab:             150208 kB
SReclaimable:     123432 kB
SUnreclaim:        26776 kB
KernelStack:        3536 kB
PageTables:         4528 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     333496 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     16384 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      116096 kB
DirectMap2M:    33429504 kB

Free space on /tmp at the end= 61848 MiB
End job on node112 at 2017-08-19 23:45:35