Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| choco-solver 5a (2017-08-18) | SAT (TO) | 60 | 250.65601 | 240.024 |
| Name | GolombRuler/GolombRuler-a3-s1/ GolombRuler-10-a3.xml |
| MD5SUM | 1a91370fd3edda64a19224a97cd9d854 |
| Bench Category | COP (optimization problem) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 55 |
| Best CPU time to get the best result obtained on this benchmark | 12.032 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 110 |
| Number of constraints | 48 |
| Number of domains | 2 |
| Minimum domain size | 500 |
| Maximum domain size | 501 |
| Distribution of domain sizes | [{"size":500,"count":45},{"size":501,"count":10}] |
| Minimum variable degree | 0 |
| Maximum variable degree | 11 |
| Distribution of variable degrees | [{"degree":0,"count":55},{"degree":2,"count":45},{"degree":10,"count":8},{"degree":11,"count":2}] |
| Minimum constraint arity | 1 |
| Maximum constraint arity | 45 |
| Distribution of constraint arities | [{"arity":1,"count":1},{"arity":3,"count":45},{"arity":10,"count":1},{"arity":45,"count":1}] |
| Number of extensional constraints | 0 |
| Number of intensional constraints | 46 |
| Distribution of constraint types | [{"type":"intension","count":46},{"type":"allDifferent","count":1},{"type":"ordered","count":1}] |
| Optimization problem | YES |
| Type of objective | min VAR |
0.00/0.00 c java -server -Xmx11000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4284284-1503212443.xml" -tl '264s' -p 1 -x 3 0.12/0.14 c [HOME/instance-4284284-1503212443.xml, -tl, 264s, -p, 1, -x, 3] 0.12/0.19 c simple solver 0.33/0.26 c parse instance... 0.72/0.47 c solve instance... 1.01/0.58 o 500 1.01/0.59 o 499 1.01/0.59 o 498 1.01/0.60 o 497 1.01/0.60 o 496 1.01/0.60 o 495 1.30/0.61 o 494 1.30/0.61 o 493 1.30/0.61 o 492 1.30/0.62 o 491 1.30/0.63 o 490 3.49/1.36 o 489 3.49/1.37 o 488 3.49/1.37 o 487 3.49/1.37 o 486 3.49/1.37 o 485 3.49/1.37 o 484 3.49/1.37 o 483 3.49/1.37 o 482 3.49/1.37 o 481 3.49/1.37 o 480 3.49/1.38 o 479 3.49/1.38 o 478 3.49/1.38 o 477 3.49/1.38 o 476 3.49/1.38 o 475 3.49/1.38 o 474 3.49/1.38 o 473 3.49/1.38 o 472 3.49/1.38 o 471 3.49/1.39 o 470 3.49/1.39 o 469 3.49/1.39 o 468 3.49/1.39 o 467 3.49/1.39 o 466 3.49/1.39 o 465 3.49/1.39 o 464 3.49/1.39 o 463 3.49/1.40 o 462 3.80/1.40 o 461 3.80/1.40 o 460 3.80/1.40 o 459 3.80/1.40 o 458 3.80/1.40 o 457 3.80/1.40 o 456 3.80/1.40 o 455 3.80/1.41 o 454 3.80/1.41 o 453 3.80/1.41 o 452 3.80/1.41 o 451 3.80/1.41 o 450 3.80/1.41 o 449 3.80/1.41 o 448 3.80/1.41 o 447 3.80/1.41 o 446 3.80/1.42 o 445 3.80/1.42 o 444 3.80/1.42 o 443 3.80/1.42 o 442 3.80/1.42 o 441 3.80/1.42 o 440 3.80/1.42 o 439 3.80/1.42 o 438 3.80/1.42 o 437 3.80/1.42 o 436 3.80/1.43 o 435 3.80/1.43 o 434 3.80/1.43 o 433 3.80/1.43 o 432 3.80/1.43 o 431 3.80/1.43 o 430 3.80/1.43 o 429 3.80/1.43 o 428 3.80/1.43 o 427 3.80/1.44 o 426 3.80/1.44 o 425 3.80/1.44 o 424 3.80/1.44 o 423 3.80/1.44 o 422 3.80/1.44 o 421 3.80/1.44 o 420 3.80/1.44 o 419 3.80/1.44 o 418 3.80/1.45 o 417 3.80/1.45 o 416 3.80/1.45 o 415 3.80/1.45 o 414 3.80/1.45 o 413 3.80/1.45 o 412 3.80/1.45 o 411 3.80/1.45 o 410 3.80/1.45 o 409 3.80/1.45 o 408 3.80/1.45 o 407 3.80/1.45 o 406 3.80/1.45 o 405 3.80/1.46 o 404 3.80/1.46 o 403 3.80/1.46 o 402 3.80/1.46 o 401 3.80/1.46 o 400 3.80/1.46 o 399 3.80/1.46 o 398 3.80/1.46 o 397 3.80/1.46 o 396 3.80/1.46 o 395 3.80/1.46 o 394 3.80/1.47 o 393 3.80/1.47 o 392 3.80/1.47 o 391 3.80/1.47 o 390 3.80/1.47 o 389 3.80/1.47 o 388 3.80/1.47 o 387 3.80/1.47 o 386 3.80/1.47 o 385 3.80/1.47 o 384 3.80/1.47 o 383 3.80/1.47 o 382 3.80/1.48 o 381 3.80/1.48 o 380 3.80/1.48 o 379 3.80/1.48 o 378 3.80/1.48 o 377 3.80/1.48 o 376 3.80/1.48 o 375 3.80/1.48 o 374 3.80/1.49 o 373 3.80/1.49 o 372 3.80/1.49 o 371 3.80/1.49 o 370 3.80/1.49 o 369 3.80/1.49 o 368 3.80/1.49 o 367 3.80/1.49 o 366 3.80/1.49 o 365 3.80/1.49 o 364 3.80/1.49 o 363 3.80/1.49 o 362 3.80/1.49 o 361 4.13/1.50 o 360 4.13/1.50 o 359 4.13/1.50 o 358 4.13/1.50 o 357 4.13/1.50 o 356 4.13/1.50 o 355 4.13/1.50 o 354 4.13/1.50 o 353 4.13/1.50 o 352 4.13/1.50 o 351 4.13/1.50 o 350 4.13/1.50 o 349 4.13/1.50 o 348 4.13/1.50 o 347 4.13/1.51 o 346 4.13/1.51 o 345 4.13/1.51 o 344 4.13/1.51 o 343 4.13/1.51 o 342 4.13/1.51 o 341 4.13/1.51 o 340 4.13/1.51 o 339 4.13/1.51 o 338 4.13/1.51 o 337 4.13/1.51 o 336 4.13/1.51 o 335 4.13/1.51 o 334 4.13/1.52 o 333 4.13/1.52 o 332 4.13/1.52 o 331 4.13/1.52 o 330 4.13/1.52 o 329 4.13/1.52 o 328 4.13/1.52 o 327 4.13/1.52 o 326 4.13/1.52 o 325 4.13/1.52 o 324 4.13/1.52 o 323 4.13/1.52 o 322 4.13/1.52 o 321 4.13/1.52 o 320 4.13/1.53 o 319 4.13/1.53 o 318 4.13/1.53 o 317 4.13/1.53 o 316 4.13/1.53 o 315 4.13/1.53 o 314 4.13/1.53 o 313 4.13/1.53 o 312 4.13/1.53 o 311 4.13/1.54 o 310 4.13/1.54 o 309 4.13/1.54 o 308 4.13/1.54 o 307 4.13/1.54 o 306 4.13/1.54 o 305 4.13/1.54 o 304 4.13/1.54 o 303 4.13/1.54 o 302 4.13/1.54 o 301 4.13/1.54 o 300 4.13/1.54 o 299 4.13/1.54 o 298 4.13/1.54 o 297 4.13/1.54 o 296 4.13/1.54 o 295 4.13/1.54 o 294 4.13/1.54 o 293 4.13/1.54 o 292 4.13/1.55 o 291 4.13/1.55 o 290 4.13/1.55 o 289 4.13/1.55 o 288 4.13/1.55 o 287 4.13/1.55 o 286 4.13/1.55 o 285 4.13/1.55 o 284 4.13/1.55 o 283 4.13/1.55 o 282 4.13/1.55 o 281 4.13/1.55 o 280 4.13/1.55 o 279 4.13/1.55 o 278 4.13/1.56 o 277 4.13/1.56 o 276 4.13/1.56 o 275 4.13/1.56 o 274 4.13/1.56 o 273 4.13/1.56 o 272 4.13/1.56 o 271 4.13/1.56 o 270 4.13/1.56 o 269 4.13/1.56 o 268 4.13/1.56 o 267 4.13/1.56 o 266 4.13/1.56 o 265 4.13/1.57 o 264 4.13/1.57 o 263 4.13/1.57 o 262 4.13/1.57 o 261 4.13/1.57 o 260 4.13/1.57 o 259 4.13/1.57 o 258 4.13/1.57 o 257 4.13/1.57 o 256 4.13/1.57 o 255 4.13/1.58 o 254 4.13/1.58 o 253 4.13/1.58 o 252 4.13/1.58 o 251 4.13/1.58 o 250 4.13/1.58 o 249 4.13/1.58 o 248 4.13/1.58 o 247 4.13/1.58 o 246 4.13/1.59 o 245 4.13/1.59 o 244 4.13/1.59 o 243 4.13/1.59 o 242 4.13/1.59 o 241 4.13/1.59 o 240 4.13/1.59 o 239 4.13/1.59 o 238 4.13/1.59 o 237 4.13/1.59 o 236 4.13/1.59 o 235 4.13/1.59 o 234 4.13/1.59 o 233 4.13/1.59 o 232 4.13/1.59 o 231 4.13/1.59 o 230 4.13/1.59 o 229 4.13/1.59 o 228 4.13/1.59 o 227 4.13/1.60 o 226 4.13/1.60 o 225 4.45/1.60 o 224 4.45/1.60 o 223 4.45/1.60 o 222 4.45/1.60 o 221 4.45/1.60 o 220 4.45/1.60 o 219 4.45/1.60 o 218 4.45/1.60 o 217 4.45/1.60 o 216 4.45/1.60 o 215 4.45/1.61 o 214 4.45/1.61 o 213 4.45/1.61 o 212 4.45/1.61 o 211 4.45/1.62 o 210 4.45/1.62 o 209 4.45/1.62 o 208 4.45/1.62 o 207 4.45/1.62 o 206 4.45/1.62 o 205 4.45/1.62 o 204 4.45/1.62 o 203 4.45/1.62 o 202 4.45/1.62 o 201 4.45/1.62 o 200 4.45/1.62 o 199 4.45/1.62 o 198 4.45/1.62 o 197 4.45/1.62 o 196 4.45/1.62 o 195 4.45/1.62 o 194 4.45/1.62 o 193 4.45/1.62 o 192 4.45/1.62 o 191 4.45/1.62 o 190 4.45/1.62 o 189 4.45/1.62 o 188 4.45/1.63 o 187 4.45/1.63 o 186 4.45/1.63 o 185 4.45/1.63 o 184 4.45/1.63 o 183 4.45/1.63 o 182 4.45/1.63 o 181 4.45/1.63 o 180 4.45/1.63 o 179 4.45/1.63 o 178 4.45/1.63 o 177 4.45/1.63 o 176 4.45/1.63 o 175 4.45/1.63 o 174 4.45/1.64 o 173 4.45/1.64 o 172 4.45/1.65 o 79 4.75/1.76 o 77 4.75/1.78 o 73 14.80/7.87 o 69 18.08/10.91 o 60 250.63/240.01 s SATISFIABLE 250.63/240.01 v <instantiation> 250.63/240.01 v <list>x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] y[0][1] y[0][2] y[0][3] y[0][4] y[0][5] y[0][6] y[0][7] y[0][8] y[0][9] y[1][2] y[1][3] y[1][4] y[1][5] y[1][6] y[1][7] y[1][8] y[1][9] y[2][3] y[2][4] y[2][5] y[2][6] y[2][7] y[2][8] y[2][9] y[3][4] y[3][5] y[3][6] y[3][7] y[3][8] y[3][9] y[4][5] y[4][6] y[4][7] y[4][8] y[4][9] y[5][6] y[5][7] y[5][8] y[5][9] y[6][7] y[6][8] y[6][9] y[7][8] y[7][9] y[8][9] </list> 250.63/240.01 v <values>0 1 5 8 21 31 43 49 58 60 1 5 8 21 31 43 49 58 60 4 7 20 30 42 48 57 59 3 16 26 38 44 53 55 13 23 35 41 50 52 10 22 28 37 39 12 18 27 29 6 15 17 9 11 2 </values> 250.63/240.01 v </instantiation> 250.63/240.01 c Unexpected resolution interruption!
OK 60
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 (12775 MiB free)
memory of node 1: 16384 MiB (12967 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4284284-1503212443/watcher-4284284-1503212443 -o /tmp/evaluation-result-4284284-1503212443/solver-4284284-1503212443 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node113-1503209106-8068 --watchdog 300 ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 1239443164 HOME/instance-4284284-1503212443.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 264 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 294 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 240 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=10147, runsolver pid=10144
[startup+0.10006 s]*
/proc/loadavg: 1.97 1.91 1.80 3/216 10163
/proc/meminfo: memFree=26343792/32770624 swapFree=67108860/67108860
[pid=10147] ppid=10144 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/10147/stat : 10147 (xcsp3-exec) S 10144 10147 8036 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 154331745 9740288 346 33554432000 4194304 5098028 140730687084320 140730687082424 140503445021308 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 33419264 140730687087732 140730687087936 140730687087936 140730687090667 0
/proc/10147/statm: 2378 346 289 221 0 87 0
[pid=10149] ppid=10147 vsize=13978596 memory=28124 CPUtime=0.12 cores=1,3,5,7
/proc/10149/stat : 10149 (java) S 10147 10147 8036 0 -1 1077944320 5327 0 0 0 11 1 0 0 20 0 15 0 154331745 14314082304 7031 33554432000 4194304 4196468 140736296979392 140736296961936 139656281218807 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 30158848 140736296981661 140736296981836 140736296981836 140736296984527 0
/proc/10149/statm: 3494649 7031 2899 1 0 3482966 0
[pid=10149/tid=10150] ppid=10147 vsize=13978596 memory=8514701219881125282 CPUtime=0.09 cores=1,3,5,7
/proc/10149/task/10150/stat : 10150 (java) R 10147 10147 8036 0 -1 4202560 3323 0 0 0 8 1 0 0 20 0 15 0 154331745 14314082304 7031 33554432000 4194304 4196468 140736296979392 139656285451328 139655911668185 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 30158848 140736296981661 140736296981836 140736296981836 140736296984527 0
[pid=10149/tid=10151] ppid=10147 vsize=13978596 memory=3472467968799778000 CPUtime=0 cores=1,3,5,7
/proc/10149/task/10151/stat : 10151 (java) S 10147 10147 8036 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154331746 14314082304 7031 33554432000 4194304 4196468 140736296979392 139656233839120 139656281229013 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30158848 140736296981661 140736296981836 140736296981836 140736296984527 0
[pid=10149/tid=10152] ppid=10147 vsize=13978596 memory=139839904626304 CPUtime=0 cores=1,3,5,7
/proc/10149/task/10152/stat : 10152 (java) S 10147 10147 8036 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154331746 14314082304 7031 33554432000 4194304 4196468 140736296979392 139656232786576 139656281229013 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30158848 140736296981661 140736296981836 140736296981836 140736296984527 0
[pid=10149/tid=10153] ppid=10147 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10149/task/10153/stat : 10153 (java) S 10147 10147 8036 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154331746 14314082304 7097 33554432000 4194304 4196468 140736296979392 139656231733520 139656281229013 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30158848 140736296981661 140736296981836 140736296981836 140736296984527 0
[pid=10149/tid=10154] ppid=10147 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10149/task/10154/stat : 10154 (java) S 10147 10147 8036 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154331746 14314082304 7097 33554432000 4194304 4196468 140736296979392 139655874013584 139656281229013 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30158848 140736296981661 140736296981836 140736296981836 140736296984527 0
[pid=10149/tid=10155] ppid=10147 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10149/task/10155/stat : 10155 (java) S 10147 10147 8036 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154331747 14314082304 7097 33554432000 4194304 4196468 140736296979392 139655755307760 139656281229954 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30158848 140736296981661 140736296981836 140736296981836 140736296984527 0
[pid=10149/tid=10156] ppid=10147 vsize=13978596 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/10149/task/10156/stat : 10156 (java) S 10147 10147 8036 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154331748 14314082304 7097 33554432000 4194304 4196468 140736296979392 139655754253984 139656281229013 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30158848 140736296981661 140736296981836 140736296981836 140736296984527 0
[pid=10149/tid=10157] ppid=10147 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10149/task/10157/stat : 10157 (java) S 10147 10147 8036 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154331748 14314082304 7097 33554432000 4194304 4196468 140736296979392 139655753200880 139656281229013 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30158848 140736296981661 140736296981836 140736296981836 140736296984527 0
[pid=10149/tid=10158] ppid=10147 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10149/task/10158/stat : 10158 (java) S 10147 10147 8036 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154331750 14314082304 7097 33554432000 4194304 4196468 140736296979392 139655752149456 139656281237403 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30158848 140736296981661 140736296981836 140736296981836 140736296984527 0
[pid=10149/tid=10159] ppid=10147 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10149/task/10159/stat : 10159 (java) S 10147 10147 8036 0 -1 1077944384 419 0 0 0 0 0 0 0 20 0 15 0 154331750 14314082304 7097 33554432000 4194304 4196468 140736296979392 139655751096560 139656281229954 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30158848 140736296981661 140736296981836 140736296981836 140736296984527 0
[pid=10149/tid=10160] ppid=10147 vsize=13978596 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/10149/task/10160/stat : 10160 (java) S 10147 10147 8036 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 154331750 14314082304 7097 33554432000 4194304 4196468 140736296979392 139655750044016 139656281229954 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30158848 140736296981661 140736296981836 140736296981836 140736296984527 0
[pid=10149/tid=10161] ppid=10147 vsize=13978596 memory=139839904626304 CPUtime=0.01 cores=1,3,5,7
/proc/10149/task/10161/stat : 10161 (java) R 10147 10147 8036 0 -1 4202560 339 0 0 0 1 0 0 0 20 0 15 0 154331750 14314082304 7097 33554432000 4194304 4196468 140736296979392 139655748990960 139656260148953 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 30158848 140736296981661 140736296981836 140736296981836 140736296984527 0
[pid=10149/tid=10162] ppid=10147 vsize=13978596 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/10149/task/10162/stat : 10162 (java) S 10147 10147 8036 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154331750 14314082304 7097 33554432000 4194304 4196468 140736296979392 139655747938656 139656281229013 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30158848 140736296981661 140736296981836 140736296981836 140736296984527 0
[pid=10149/tid=10163] ppid=10147 vsize=13978596 memory=139839904626304 CPUtime=0 cores=1,3,5,7
/proc/10149/task/10163/stat : 10163 (java) S 10147 10147 8036 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154331751 14314082304 7097 33554432000 4194304 4196468 140736296979392 139655746886704 139656281229954 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30158848 140736296981661 140736296981836 140736296981836 140736296984527 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 13988108 KiB
Current children cumulated memory: 29508 KiB
[startup+0.210596 s]*
/proc/loadavg: 1.97 1.91 1.80 4/216 10163
/proc/meminfo: memFree=26331512/32770624 swapFree=67108860/67108860
[pid=10147] ppid=10144 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/10147/stat : 10147 (xcsp3-exec) S 10144 10147 8036 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 154331745 9740288 346 33554432000 4194304 5098028 140730687084320 140730687082424 140503445021308 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 33419264 140730687087732 140730687087936 140730687087936 140730687090667 0
/proc/10147/statm: 2378 346 289 221 0 87 0
[pid=10149] ppid=10147 vsize=13982884 memory=40584 CPUtime=0.33 cores=1,3,5,7
/proc/10149/stat : 10149 (java) S 10147 10147 8036 0 -1 1077944320 8294 0 0 0 30 3 0 0 20 0 15 0 154331745 14318473216 10146 33554432000 4194304 4196468 140736296979392 140736296961936 139656281218807 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 30158848 140736296981661 140736296981836 140736296981836 140736296984527 0
/proc/10149/statm: 3495713 10146 3064 1 0 3482966 0
[pid=10149/tid=10150] ppid=10147 vsize=13982852 memory=5853961137533323680 CPUtime=0.19 cores=1,3,5,7
/proc/10149/task/10150/stat : 10150 (java) R 10147 10147 8036 0 -1 4202560 5371 0 0 0 17 2 0 0 20 0 15 0 154331745 14318440448 10146 33554432000 4194304 4196468 140736296979392 139656285428544 139656265299294 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 30158848 140736296981661 140736296981836 140736296981836 140736296984527 0
[pid=10149/tid=10151] ppid=10147 vsize=13982852 memory=3472467968799778000 CPUtime=0 cores=1,3,5,7
/proc/10149/task/10151/stat : 10151 (java) S 10147 10147 8036 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154331746 14318440448 10146 33554432000 4194304 4196468 140736296979392 139656233839120 139656281229013 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30158848 140736296981661 140736296981836 140736296981836 140736296984527 0
[pid=10149/tid=10152] ppid=10147 vsize=13982852 memory=139839904626304 CPUtime=0 cores=1,3,5,7
/proc/10149/task/10152/stat : 10152 (java) S 10147 10147 8036 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154331746 14318440448 10146 33554432000 4194304 4196468 140736296979392 139656232786576 139656281229013 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30158848 140736296981661 140736296981836 140736296981836 140736296984527 0
[pid=10149/tid=10153] ppid=10147 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10149/task/10153/stat : 10153 (java) S 10147 10147 8036 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154331746 14318440448 10146 33554432000 4194304 4196468 140736296979392 139656231733520 139656281229013 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30158848 140736296981661 140736296981836 140736296981836 140736296984527 0
[pid=10149/tid=10154] ppid=10147 vsize=13982852 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/10149/task/10154/stat : 10154 (java) S 10147 10147 8036 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154331746 14318440448 10146 33554432000 4194304 4196468 140736296979392 139655874013584 139656281229013 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30158848 140736296981661 140736296981836 140736296981836 140736296984527 0
[pid=10149/tid=10155] ppid=10147 vsize=13982852 memory=139839904626304 CPUtime=0 cores=1,3,5,7
/proc/10149/task/10155/stat : 10155 (java) S 10147 10147 8036 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154331747 14318440448 10146 33554432000 4194304 4196468 140736296979392 139655755307760 139656281229954 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30158848 140736296981661 140736296981836 140736296981836 140736296984527 0
[pid=10149/tid=10156] ppid=10147 vsize=13982852 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/10149/task/10156/stat : 10156 (java) S 10147 10147 8036 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154331748 14318440448 10146 33554432000 4194304 4196468 140736296979392 139655754253984 139656281229013 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30158848 140736296981661 140736296981836 140736296981836 140736296984527 0
[pid=10149/tid=10157] ppid=10147 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10149/task/10157/stat : 10157 (java) S 10147 10147 8036 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154331748 14318440448 10146 33554432000 4194304 4196468 140736296979392 139655753200880 139656281229013 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30158848 140736296981661 140736296981836 140736296981836 140736296984527 0
[pid=10149/tid=10158] ppid=10147 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10149/task/10158/stat : 10158 (java) S 10147 10147 8036 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154331750 14318440448 10146 33554432000 4194304 4196468 140736296979392 139655752149456 139656281237403 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30158848 140736296981661 140736296981836 140736296981836 140736296984527 0
[pid=10149/tid=10159] ppid=10147 vsize=13982852 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/10149/task/10159/stat : 10159 (java) S 10147 10147 8036 0 -1 1077944384 721 0 0 0 3 0 0 0 20 0 15 0 154331750 14318440448 10146 33554432000 4194304 4196468 140736296979392 139655751096560 139656281229954 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30158848 140736296981661 140736296981836 140736296981836 140736296984527 0
[pid=10149/tid=10160] ppid=10147 vsize=13982852 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/10149/task/10160/stat : 10160 (java) S 10147 10147 8036 0 -1 1077944384 150 0 0 0 1 0 0 0 20 0 15 0 154331750 14318440448 10146 33554432000 4194304 4196468 140736296979392 139655750044016 139656281229954 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30158848 140736296981661 140736296981836 140736296981836 140736296984527 0
[pid=10149/tid=10161] ppid=10147 vsize=13982852 memory=139839904626304 CPUtime=0.08 cores=1,3,5,7
/proc/10149/task/10161/stat : 10161 (java) S 10147 10147 8036 0 -1 1077944384 757 0 0 0 8 0 0 0 20 0 15 0 154331750 14318440448 10146 33554432000 4194304 4196468 140736296979392 139655748990960 139656281229954 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30158848 140736296981661 140736296981836 140736296981836 140736296984527 0
[pid=10149/tid=10162] ppid=10147 vsize=13982852 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/10149/task/10162/stat : 10162 (java) S 10147 10147 8036 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154331750 14318440448 10146 33554432000 4194304 4196468 140736296979392 139655747938656 139656281229013 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30158848 140736296981661 140736296981836 140736296981836 140736296984527 0
[pid=10149/tid=10163] ppid=10147 vsize=13982852 memory=139839904626304 CPUtime=0 cores=1,3,5,7
/proc/10149/task/10163/stat : 10163 (java) S 10147 10147 8036 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154331751 14318440448 10146 33554432000 4194304 4196468 140736296979392 139655746886704 139656281229954 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30158848 140736296981661 140736296981836 140736296981836 140736296984527 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 13992396 KiB
Current children cumulated memory: 41968 KiB
[startup+0.312241 s]*
/proc/loadavg: 1.97 1.91 1.80 5/216 10163
/proc/meminfo: memFree=26325120/32770624 swapFree=67108860/67108860
[pid=10147] ppid=10144 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/10147/stat : 10147 (xcsp3-exec) S 10144 10147 8036 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 154331745 9740288 346 33554432000 4194304 5098028 140730687084320 140730687082424 140503445021308 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 33419264 140730687087732 140730687087936 140730687087936 140730687090667 0
/proc/10147/statm: 2378 346 289 221 0 87 0
[pid=10149] ppid=10147 vsize=13982928 memory=48092 CPUtime=0.51 cores=1,3,5,7
/proc/10149/stat : 10149 (java) S 10147 10147 8036 0 -1 1077944320 9171 0 0 0 47 4 0 0 20 0 15 0 154331745 14318518272 12023 33554432000 4194304 4196468 140736296979392 140736296961936 139656281218807 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 30158848 140736296981661 140736296981836 140736296981836 140736296984527 0
/proc/10149/statm: 3495732 12023 3134 1 0 3482966 0
[pid=10149/tid=10150] ppid=10147 vsize=13982928 memory=5855080444665366944 CPUtime=0.29 cores=1,3,5,7
/proc/10149/task/10150/stat : 10150 (java) R 10147 10147 8036 0 -1 4202560 6063 0 0 0 26 3 0 0 20 0 15 0 154331745 14318518272 12023 33554432000 4194304 4196468 140736296979392 139656285453664 139656265262437 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 30158848 140736296981661 140736296981836 140736296981836 140736296984527 0
[pid=10149/tid=10151] ppid=10147 vsize=13982928 memory=3472468136132306608 CPUtime=0 cores=1,3,5,7
/proc/10149/task/10151/stat : 10151 (java) S 10147 10147 8036 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154331746 14318518272 12023 33554432000 4194304 4196468 140736296979392 139656233839120 139656281229013 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30158848 140736296981661 140736296981836 140736296981836 140736296984527 0
[pid=10149/tid=10152] ppid=10147 vsize=13982928 memory=139839904626304 CPUtime=0 cores=1,3,5,7
/proc/10149/task/10152/stat : 10152 (java) S 10147 10147 8036 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154331746 14318518272 12023 33554432000 4194304 4196468 140736296979392 139656232786576 139656281229013 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30158848 140736296981661 140736296981836 140736296981836 140736296984527 0
[pid=10149/tid=10153] ppid=10147 vsize=13982928 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10149/task/10153/stat : 10153 (java) S 10147 10147 8036 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154331746 14318518272 12023 33554432000 4194304 4196468 140736296979392 139656231733520 139656281229013 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30158848 140736296981661 140736296981836 140736296981836 140736296984527 0
[pid=10149/tid=10154] ppid=10147 vsize=13982928 memory=139839773220639 CPUtime=0 cores=1,3,5,7
/proc/10149/task/10154/stat : 10154 (java) S 10147 10147 8036 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154331746 14318518272 12023 33554432000 4194304 4196468 140736296979392 139655874013584 139656281229013 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30158848 140736296981661 140736296981836 140736296981836 140736296984527 0
[pid=10149/tid=10155] ppid=10147 vsize=13982928 memory=279679546420512 CPUtime=0 cores=1,3,5,7
/proc/10149/task/10155/stat : 10155 (java) S 10147 10147 8036 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154331747 14318518272 12023 33554432000 4194304 4196468 140736296979392 139655755307760 139656281229954 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30158848 140736296981661 140736296981836 140736296981836 140736296984527 0
[pid=10149/tid=10156] ppid=10147 vsize=13982928 memory=139839773197583 CPUtime=0 cores=1,3,5,7
/proc/10149/task/10156/stat : 10156 (java) S 10147 10147 8036 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154331748 14318518272 12023 33554432000 4194304 4196468 140736296979392 139655754253984 139656281229013 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30158848 140736296981661 140736296981836 140736296981836 140736296984527 0
[pid=10149/tid=10157] ppid=10147 vsize=13982928 memory=279679677833056 CPUtime=0 cores=1,3,5,7
/proc/10149/task/10157/stat : 10157 (java) S 10147 10147 8036 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154331748 14318518272 12023 33554432000 4194304 4196468 140736296979392 139655753200880 139656281229013 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30158848 140736296981661 140736296981836 140736296981836 140736296984527 0
[pid=10149/tid=10158] ppid=10147 vsize=13982928 memory=139839773202191 CPUtime=0 cores=1,3,5,7
/proc/10149/task/10158/stat : 10158 (java) S 10147 10147 8036 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154331750 14318518272 12023 33554432000 4194304 4196468 140736296979392 139655752149456 139656281237403 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30158848 140736296981661 140736296981836 140736296981836 140736296984527 0
[pid=10149/tid=10159] ppid=10147 vsize=13982928 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/10149/task/10159/stat : 10159 (java) S 10147 10147 8036 0 -1 1077944384 793 0 0 0 4 0 0 0 20 0 15 0 154331750 14318518272 12023 33554432000 4194304 4196468 140736296979392 139655751096560 139656281229954 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30158848 140736296981661 140736296981836 140736296981836 140736296984527 0
[pid=10149/tid=10160] ppid=10147 vsize=13982928 memory=-1 CPUtime=0.03 cores=1,3,5,7
/proc/10149/task/10160/stat : 10160 (java) S 10147 10147 8036 0 -1 1077944384 169 0 0 0 3 0 0 0 20 0 15 0 154331750 14318518272 12023 33554432000 4194304 4196468 140736296979392 139655750044016 139656281229954 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30158848 140736296981661 140736296981836 140736296981836 140736296984527 0
[pid=10149/tid=10161] ppid=10147 vsize=13982928 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/10149/task/10161/stat : 10161 (java) R 10147 10147 8036 0 -1 4202560 848 0 0 0 12 0 0 0 20 0 15 0 154331750 14318518272 12023 33554432000 4194304 4196468 140736296979392 139655748990960 139656259352232 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 30158848 140736296981661 140736296981836 140736296981836 140736296984527 0
[pid=10149/tid=10162] ppid=10147 vsize=13982928 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10149/task/10162/stat : 10162 (java) S 10147 10147 8036 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154331750 14318518272 12023 33554432000 4194304 4196468 140736296979392 139655747938656 139656281229013 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30158848 140736296981661 140736296981836 140736296981836 140736296984527 0
[pid=10149/tid=10163] ppid=10147 vsize=13982928 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/10149/task/10163/stat : 10163 (java) S 10147 10147 8036 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154331751 14318518272 12023 33554432000 4194304 4196468 140736296979392 139655746886704 139656281229954 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30158848 140736296981661 140736296981836 140736296981836 140736296984527 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 13992440 KiB
Current children cumulated memory: 49476 KiB
[startup+0.701102 s]
/proc/loadavg: 1.97 1.91 1.80 6/216 10163
/proc/meminfo: memFree=26310232/32770624 swapFree=67108860/67108860
[pid=10147] ppid=10144 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/10147/stat : 10147 (xcsp3-exec) S 10144 10147 8036 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 154331745 9740288 346 33554432000 4194304 5098028 140730687084320 140730687082424 140503445021308 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 33419264 140730687087732 140730687087936 140730687087936 140730687090667 0
/proc/10147/statm: 2378 346 289 221 0 87 0
[pid=10149] ppid=10147 vsize=13984976 memory=83552 CPUtime=1.62 cores=1,3,5,7
/proc/10149/stat : 10149 (java) S 10147 10147 8036 0 -1 1077944320 15158 0 0 0 157 5 0 0 20 0 15 0 154331745 14320615424 20888 33554432000 4194304 4196468 140736296979392 140736296961936 139656281218807 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 30158848 140736296981661 140736296981836 140736296981836 140736296984527 0
/proc/10149/statm: 3496244 20888 3208 1 0 3483478 0
[pid=10149/tid=10150] ppid=10147 vsize=13984976 memory=7295942831016923217 CPUtime=0.66 cores=1,3,5,7
/proc/10149/task/10150/stat : 10150 (java) R 10147 10147 8036 0 -1 4202560 6762 0 0 0 63 3 0 0 20 0 15 0 154331745 14320615424 20888 33554432000 4194304 4196468 140736296979392 139656285453920 139656281230742 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 30158848 140736296981661 140736296981836 140736296981836 140736296984527 0
[pid=10149/tid=10151] ppid=10147 vsize=13984976 memory=7662144047788938346 CPUtime=0 cores=1,3,5,7
/proc/10149/task/10151/stat : 10151 (java) S 10147 10147 8036 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154331746 14320615424 20888 33554432000 4194304 4196468 140736296979392 139656233839120 139656281229013 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30158848 140736296981661 140736296981836 140736296981836 140736296984527 0
[pid=10149/tid=10152] ppid=10147 vsize=13984976 memory=7739276948478193513 CPUtime=0 cores=1,3,5,7
/proc/10149/task/10152/stat : 10152 (java) S 10147 10147 8036 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154331746 14320615424 20888 33554432000 4194304 4196468 140736296979392 139656232786576 139656281229013 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30158848 140736296981661 140736296981836 140736296981836 140736296984527 0
[pid=10149/tid=10153] ppid=10147 vsize=13984976 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10149/task/10153/stat : 10153 (java) S 10147 10147 8036 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154331746 14320615424 20888 33554432000 4194304 4196468 140736296979392 139656231733520 139656281229013 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30158848 140736296981661 140736296981836 140736296981836 140736296984527 0
[pid=10149/tid=10154] ppid=10147 vsize=13984976 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10149/task/10154/stat : 10154 (java) S 10147 10147 8036 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154331746 14320615424 20888 33554432000 4194304 4196468 140736296979392 139655874013584 139656281229013 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30158848 140736296981661 140736296981836 140736296981836 140736296984527 0
[pid=10149/tid=10155] ppid=10147 vsize=13984976 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10149/task/10155/stat : 10155 (java) S 10147 10147 8036 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 154331747 14320615424 20888 33554432000 4194304 4196468 140736296979392 139655755307760 139656281229954 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30158848 140736296981661 140736296981836 140736296981836 140736296984527 0
[pid=10149/tid=10156] ppid=10147 vsize=13984976 memory=5796 CPUtime=0 cores=1,3,5,7
/proc/10149/task/10156/stat : 10156 (java) S 10147 10147 8036 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154331748 14320615424 20888 33554432000 4194304 4196468 140736296979392 139655754253984 139656281229013 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30158848 140736296981661 140736296981836 140736296981836 140736296984527 0
[pid=10149/tid=10157] ppid=10147 vsize=13984976 memory=1224 CPUtime=0 cores=1,3,5,7
/proc/10149/task/10157/stat : 10157 (java) S 10147 10147 8036 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154331748 14320615424 20888 33554432000 4194304 4196468 140736296979392 139655753200880 139656281229013 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30158848 140736296981661 140736296981836 140736296981836 140736296984527 0
[pid=10149/tid=10158] ppid=10147 vsize=13984976 memory=8716 CPUtime=0 cores=1,3,5,7
/proc/10149/task/10158/stat : 10158 (java) S 10147 10147 8036 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154331750 14320615424 20888 33554432000 4194304 4196468 140736296979392 139655752149456 139656281237403 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30158848 140736296981661 140736296981836 140736296981836 140736296984527 0
[pid=10149/tid=10159] ppid=10147 vsize=13984976 memory=1712 CPUtime=0.29 cores=1,3,5,7
/proc/10149/task/10159/stat : 10159 (java) R 10147 10147 8036 0 -1 4202560 2718 0 0 0 29 0 0 0 20 0 15 0 154331750 14320615424 20888 33554432000 4194304 4196468 140736296979392 139655751076488 139656265607355 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 30158848 140736296981661 140736296981836 140736296981836 140736296984527 0
[pid=10149/tid=10160] ppid=10147 vsize=13984976 memory=4612 CPUtime=0.27 cores=1,3,5,7
/proc/10149/task/10160/stat : 10160 (java) R 10147 10147 8036 0 -1 4202560 1773 0 0 0 27 0 0 0 20 0 15 0 154331750 14320615424 20888 33554432000 4194304 4196468 140736296979392 139655750025032 139656261919511 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 30158848 140736296981661 140736296981836 140736296981836 140736296984527 0
[pid=10149/tid=10161] ppid=10147 vsize=13984976 memory=1004 CPUtime=0.36 cores=1,3,5,7
/proc/10149/task/10161/stat : 10161 (java) R 10147 10147 8036 0 -1 4202560 2599 0 0 0 36 0 0 0 20 0 15 0 154331750 14320615424 20888 33554432000 4194304 4196468 140736296979392 139655748990960 139656281240154 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 30158848 140736296981661 140736296981836 140736296981836 140736296984527 0
[pid=10149/tid=10162] ppid=10147 vsize=13984976 memory=1200 CPUtime=0 cores=1,3,5,7
/proc/10149/task/10162/stat : 10162 (java) S 10147 10147 8036 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154331750 14320615424 20888 33554432000 4194304 4196468 140736296979392 139655747938656 139656281229013 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30158848 140736296981661 140736296981836 140736296981836 140736296984527 0
[pid=10149/tid=10163] ppid=10147 vsize=13984976 memory=15876 CPUtime=0 cores=1,3,5,7
/proc/10149/task/10163/stat : 10163 (java) S 10147 10147 8036 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154331751 14320615424 20888 33554432000 4194304 4196468 140736296979392 139655746886704 139656281229954 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30158848 140736296981661 140736296981836 140736296981836 140736296984527 0
Current children cumulated CPU time: 1.62 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 84936 KiB
[startup+1.50131 s]
/proc/loadavg: 1.97 1.91 1.80 5/216 10163
/proc/meminfo: memFree=26255580/32770624 swapFree=67108860/67108860
[pid=10147] ppid=10144 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/10147/stat : 10147 (xcsp3-exec) S 10144 10147 8036 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 154331745 9740288 346 33554432000 4194304 5098028 140730687084320 140730687082424 140503445021308 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 33419264 140730687087732 140730687087936 140730687087936 140730687090667 0
/proc/10147/statm: 2378 346 289 221 0 87 0
################
# More data... #
################
/proc/10149/task/10157/stat : 10157 (java) S 10147 10147 8036 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 15 0 154331748 14320615424 57937 33554432000 4194304 4196468 140736296979392 139655753200880 139656281229013 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30158848 140736296981661 140736296981836 140736296981836 140736296984527 0
[pid=10149/tid=10158] ppid=10147 vsize=13984976 memory=236368 CPUtime=0 cores=1,3,5,7
/proc/10149/task/10158/stat : 10158 (java) S 10147 10147 8036 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154331750 14320615424 57937 33554432000 4194304 4196468 140736296979392 139655752149456 139656281237403 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30158848 140736296981661 140736296981836 140736296981836 140736296984527 0
[pid=10149/tid=10159] ppid=10147 vsize=13984976 memory=139839773671962 CPUtime=4.31 cores=1,3,5,7
/proc/10149/task/10159/stat : 10159 (java) S 10147 10147 8036 0 -1 1077944384 34939 0 0 0 427 4 0 0 20 0 15 0 154331750 14320615424 57937 33554432000 4194304 4196468 140736296979392 139655751096560 139656281229954 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30158848 140736296981661 140736296981836 140736296981836 140736296984527 0
[pid=10149/tid=10160] ppid=10147 vsize=13984976 memory=7954881304521565797 CPUtime=3.89 cores=1,3,5,7
/proc/10149/task/10160/stat : 10160 (java) S 10147 10147 8036 0 -1 1077944384 36162 0 0 0 384 5 0 0 20 0 15 0 154331750 14320615424 57937 33554432000 4194304 4196468 140736296979392 139655750044016 139656281229954 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30158848 140736296981661 140736296981836 140736296981836 140736296984527 0
[pid=10149/tid=10161] ppid=10147 vsize=13984976 memory=248608 CPUtime=0.78 cores=1,3,5,7
/proc/10149/task/10161/stat : 10161 (java) S 10147 10147 8036 0 -1 1077944384 9290 0 0 0 76 2 0 0 20 0 15 0 154331750 14320615424 57937 33554432000 4194304 4196468 140736296979392 139655748990960 139656281229954 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30158848 140736296981661 140736296981836 140736296981836 140736296984527 0
[pid=10149/tid=10162] ppid=10147 vsize=13984976 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/10149/task/10162/stat : 10162 (java) S 10147 10147 8036 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154331750 14320615424 57937 33554432000 4194304 4196468 140736296979392 139655747938656 139656281229013 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30158848 140736296981661 140736296981836 140736296981836 140736296984527 0
[pid=10149/tid=10163] ppid=10147 vsize=13984976 memory=258344 CPUtime=0.02 cores=1,3,5,7
/proc/10149/task/10163/stat : 10163 (java) S 10147 10147 8036 0 -1 1077944384 1425 0 0 0 1 1 0 0 20 0 15 0 154331751 14320615424 57937 33554432000 4194304 4196468 140736296979392 139655746886704 139656281229954 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30158848 140736296981661 140736296981836 140736296981836 140736296984527 0
Current children cumulated CPU time: 111.65 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 233132 KiB
[startup+162.301 s]
/proc/loadavg: 1.77 1.95 1.84 3/217 10166
/proc/meminfo: memFree=26124580/32770624 swapFree=67108860/67108860
[pid=10147] ppid=10144 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/10147/stat : 10147 (xcsp3-exec) S 10144 10147 8036 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 154331745 9740288 346 33554432000 4194304 5098028 140730687084320 140730687082424 140503445021308 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 33419264 140730687087732 140730687087936 140730687087936 140730687090667 0
/proc/10147/statm: 2378 346 289 221 0 87 0
[pid=10149] ppid=10147 vsize=13984976 memory=220132 CPUtime=172.01 cores=1,3,5,7
/proc/10149/stat : 10149 (java) S 10147 10147 8036 0 -1 1077944320 106209 0 0 0 17170 31 0 0 20 0 15 0 154331745 14320615424 55033 33554432000 4194304 4196468 140736296979392 140736296961936 139656281218807 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 30158848 140736296981661 140736296981836 140736296981836 140736296984527 0
/proc/10149/statm: 3496244 55033 3265 1 0 3483478 0
[pid=10149/tid=10150] ppid=10147 vsize=13984976 memory=1384 CPUtime=161.94 cores=1,3,5,7
/proc/10149/task/10150/stat : 10150 (java) R 10147 10147 8036 0 -1 4202560 13659 0 0 0 16188 6 0 0 20 0 15 0 154331745 14320615424 55033 33554432000 4194304 4196468 140736296979392 139656285458048 139655917484558 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 30158848 140736296981661 140736296981836 140736296981836 140736296984527 0
[pid=10149/tid=10151] ppid=10147 vsize=13984976 memory=1384 CPUtime=0.22 cores=1,3,5,7
/proc/10149/task/10151/stat : 10151 (java) S 10147 10147 8036 0 -1 1077944384 1336 0 0 0 20 2 0 0 20 0 15 0 154331746 14320615424 55033 33554432000 4194304 4196468 140736296979392 139656233839120 139656281229013 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30158848 140736296981661 140736296981836 140736296981836 140736296984527 0
[pid=10149/tid=10152] ppid=10147 vsize=13984976 memory=220132 CPUtime=0.22 cores=1,3,5,7
/proc/10149/task/10152/stat : 10152 (java) S 10147 10147 8036 0 -1 1077944384 1538 0 0 0 20 2 0 0 20 0 15 0 154331746 14320615424 55033 33554432000 4194304 4196468 140736296979392 139656232786576 139656281229013 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30158848 140736296981661 140736296981836 140736296981836 140736296984527 0
[pid=10149/tid=10153] ppid=10147 vsize=13984976 memory=1384 CPUtime=0.23 cores=1,3,5,7
/proc/10149/task/10153/stat : 10153 (java) S 10147 10147 8036 0 -1 1077944384 1278 0 0 0 21 2 0 0 20 0 15 0 154331746 14320615424 55033 33554432000 4194304 4196468 140736296979392 139656231733520 139656281229013 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30158848 140736296981661 140736296981836 140736296981836 140736296984527 0
[pid=10149/tid=10154] ppid=10147 vsize=13984976 memory=218960 CPUtime=0.22 cores=1,3,5,7
/proc/10149/task/10154/stat : 10154 (java) S 10147 10147 8036 0 -1 1077944384 784 0 0 0 20 2 0 0 20 0 15 0 154331746 14320615424 55033 33554432000 4194304 4196468 140736296979392 139655874013584 139656281229013 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30158848 140736296981661 140736296981836 140736296981836 140736296984527 0
[pid=10149/tid=10155] ppid=10147 vsize=13984976 memory=219884 CPUtime=0.04 cores=1,3,5,7
/proc/10149/task/10155/stat : 10155 (java) S 10147 10147 8036 0 -1 1077944384 1501 0 0 0 4 0 0 0 20 0 15 0 154331747 14320615424 55033 33554432000 4194304 4196468 140736296979392 139655755307760 139656281229954 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30158848 140736296981661 140736296981836 140736296981836 140736296984527 0
[pid=10149/tid=10156] ppid=10147 vsize=13984976 memory=1160 CPUtime=0 cores=1,3,5,7
/proc/10149/task/10156/stat : 10156 (java) S 10147 10147 8036 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 15 0 154331748 14320615424 55033 33554432000 4194304 4196468 140736296979392 139655754253984 139656281229013 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30158848 140736296981661 140736296981836 140736296981836 140736296984527 0
[pid=10149/tid=10157] ppid=10147 vsize=13984976 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/10149/task/10157/stat : 10157 (java) S 10147 10147 8036 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 15 0 154331748 14320615424 55033 33554432000 4194304 4196468 140736296979392 139655753200880 139656281229013 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30158848 140736296981661 140736296981836 140736296981836 140736296984527 0
[pid=10149/tid=10158] ppid=10147 vsize=13984976 memory=132 CPUtime=0 cores=1,3,5,7
/proc/10149/task/10158/stat : 10158 (java) S 10147 10147 8036 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154331750 14320615424 55033 33554432000 4194304 4196468 140736296979392 139655752149456 139656281237403 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30158848 140736296981661 140736296981836 140736296981836 140736296984527 0
[pid=10149/tid=10159] ppid=10147 vsize=13984976 memory=1384 CPUtime=4.33 cores=1,3,5,7
/proc/10149/task/10159/stat : 10159 (java) S 10147 10147 8036 0 -1 1077944384 35842 0 0 0 429 4 0 0 20 0 15 0 154331750 14320615424 55033 33554432000 4194304 4196468 140736296979392 139655751096560 139656281229954 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30158848 140736296981661 140736296981836 140736296981836 140736296984527 0
[pid=10149/tid=10160] ppid=10147 vsize=13984976 memory=220876 CPUtime=3.9 cores=1,3,5,7
/proc/10149/task/10160/stat : 10160 (java) S 10147 10147 8036 0 -1 1077944384 36569 0 0 0 385 5 0 0 20 0 15 0 154331750 14320615424 55033 33554432000 4194304 4196468 140736296979392 139655750044016 139656281229954 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30158848 140736296981661 140736296981836 140736296981836 140736296984527 0
[pid=10149/tid=10161] ppid=10147 vsize=13984976 memory=1796 CPUtime=0.79 cores=1,3,5,7
/proc/10149/task/10161/stat : 10161 (java) S 10147 10147 8036 0 -1 1077944384 10895 0 0 0 77 2 0 0 20 0 15 0 154331750 14320615424 55033 33554432000 4194304 4196468 140736296979392 139655748990960 139656281229954 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30158848 140736296981661 140736296981836 140736296981836 140736296984527 0
[pid=10149/tid=10162] ppid=10147 vsize=13984976 memory=644 CPUtime=0 cores=1,3,5,7
/proc/10149/task/10162/stat : 10162 (java) S 10147 10147 8036 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154331750 14320615424 55033 33554432000 4194304 4196468 140736296979392 139655747938656 139656281229013 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30158848 140736296981661 140736296981836 140736296981836 140736296984527 0
[pid=10149/tid=10163] ppid=10147 vsize=13984976 memory=1384 CPUtime=0.03 cores=1,3,5,7
/proc/10149/task/10163/stat : 10163 (java) S 10147 10147 8036 0 -1 1077944384 1460 0 0 0 1 2 0 0 20 0 15 0 154331751 14320615424 55033 33554432000 4194304 4196468 140736296979392 139655746886704 139656281229954 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30158848 140736296981661 140736296981836 140736296981836 140736296984527 0
Current children cumulated CPU time: 172.01 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 221516 KiB
[startup+222.301 s]
/proc/loadavg: 1.67 1.89 1.83 3/217 10328
/proc/meminfo: memFree=25819100/32770624 swapFree=67108860/67108860
[pid=10147] ppid=10144 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/10147/stat : 10147 (xcsp3-exec) S 10144 10147 8036 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 154331745 9740288 346 33554432000 4194304 5098028 140730687084320 140730687082424 140503445021308 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 33419264 140730687087732 140730687087936 140730687087936 140730687090667 0
/proc/10147/statm: 2378 346 289 221 0 87 0
[pid=10149] ppid=10147 vsize=13984976 memory=235192 CPUtime=232.74 cores=1,3,5,7
/proc/10149/stat : 10149 (java) S 10147 10147 8036 0 -1 1077944320 111850 0 0 0 23235 39 0 0 20 0 15 0 154331745 14320615424 58798 33554432000 4194304 4196468 140736296979392 140736296961936 139656281218807 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 30158848 140736296981661 140736296981836 140736296981836 140736296984527 0
/proc/10149/statm: 3496244 58798 3265 1 0 3483478 0
[pid=10149/tid=10150] ppid=10147 vsize=13984976 memory=1384 CPUtime=221.72 cores=1,3,5,7
/proc/10149/task/10150/stat : 10150 (java) R 10147 10147 8036 0 -1 4202560 14492 0 0 0 22166 6 0 0 20 0 15 0 154331745 14320615424 58798 33554432000 4194304 4196468 140736296979392 139656285458224 139655915381959 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 30158848 140736296981661 140736296981836 140736296981836 140736296984527 0
[pid=10149/tid=10151] ppid=10147 vsize=13984976 memory=233656 CPUtime=0.38 cores=1,3,5,7
/proc/10149/task/10151/stat : 10151 (java) S 10147 10147 8036 0 -1 1077944384 1811 0 0 0 35 3 0 0 20 0 15 0 154331746 14320615424 58798 33554432000 4194304 4196468 140736296979392 139656233839120 139656281229013 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30158848 140736296981661 140736296981836 140736296981836 140736296984527 0
[pid=10149/tid=10152] ppid=10147 vsize=13984976 memory=233656 CPUtime=0.38 cores=1,3,5,7
/proc/10149/task/10152/stat : 10152 (java) S 10147 10147 8036 0 -1 1077944384 1688 0 0 0 35 3 0 0 20 0 15 0 154331746 14320615424 58798 33554432000 4194304 4196468 140736296979392 139656232786576 139656281229013 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30158848 140736296981661 140736296981836 140736296981836 140736296984527 0
[pid=10149/tid=10153] ppid=10147 vsize=13984976 memory=227484 CPUtime=0.38 cores=1,3,5,7
/proc/10149/task/10153/stat : 10153 (java) S 10147 10147 8036 0 -1 1077944384 1505 0 0 0 35 3 0 0 20 0 15 0 154331746 14320615424 58798 33554432000 4194304 4196468 140736296979392 139656231733520 139656281229013 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30158848 140736296981661 140736296981836 140736296981836 140736296984527 0
[pid=10149/tid=10154] ppid=10147 vsize=13984976 memory=225364 CPUtime=0.38 cores=1,3,5,7
/proc/10149/task/10154/stat : 10154 (java) S 10147 10147 8036 0 -1 1077944384 873 0 0 0 35 3 0 0 20 0 15 0 154331746 14320615424 58798 33554432000 4194304 4196468 140736296979392 139655874013584 139656281229013 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30158848 140736296981661 140736296981836 140736296981836 140736296984527 0
[pid=10149/tid=10155] ppid=10147 vsize=13984976 memory=960 CPUtime=0.07 cores=1,3,5,7
/proc/10149/task/10155/stat : 10155 (java) S 10147 10147 8036 0 -1 1077944384 1760 0 0 0 6 1 0 0 20 0 15 0 154331747 14320615424 58798 33554432000 4194304 4196468 140736296979392 139655755307760 139656281229954 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30158848 140736296981661 140736296981836 140736296981836 140736296984527 0
[pid=10149/tid=10156] ppid=10147 vsize=13984976 memory=4472 CPUtime=0 cores=1,3,5,7
/proc/10149/task/10156/stat : 10156 (java) S 10147 10147 8036 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 15 0 154331748 14320615424 58798 33554432000 4194304 4196468 140736296979392 139655754253984 139656281229013 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30158848 140736296981661 140736296981836 140736296981836 140736296984527 0
[pid=10149/tid=10157] ppid=10147 vsize=13984976 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/10149/task/10157/stat : 10157 (java) S 10147 10147 8036 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 15 0 154331748 14320615424 58798 33554432000 4194304 4196468 140736296979392 139655753200880 139656281229013 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30158848 140736296981661 140736296981836 140736296981836 140736296984527 0
[pid=10149/tid=10158] ppid=10147 vsize=13984976 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/10149/task/10158/stat : 10158 (java) S 10147 10147 8036 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154331750 14320615424 58798 33554432000 4194304 4196468 140736296979392 139655752149456 139656281237403 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30158848 140736296981661 140736296981836 140736296981836 140736296984527 0
[pid=10149/tid=10159] ppid=10147 vsize=13984976 memory=916 CPUtime=4.46 cores=1,3,5,7
/proc/10149/task/10159/stat : 10159 (java) S 10147 10147 8036 0 -1 1077944384 37876 0 0 0 442 4 0 0 20 0 15 0 154331750 14320615424 58798 33554432000 4194304 4196468 140736296979392 139655751096560 139656281229954 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30158848 140736296981661 140736296981836 140736296981836 140736296984527 0
[pid=10149/tid=10160] ppid=10147 vsize=13984976 memory=3828 CPUtime=4.02 cores=1,3,5,7
/proc/10149/task/10160/stat : 10160 (java) S 10147 10147 8036 0 -1 1077944384 38045 0 0 0 397 5 0 0 20 0 15 0 154331750 14320615424 58798 33554432000 4194304 4196468 140736296979392 139655750044016 139656281229954 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30158848 140736296981661 140736296981836 140736296981836 140736296984527 0
[pid=10149/tid=10161] ppid=10147 vsize=13984976 memory=2548 CPUtime=0.79 cores=1,3,5,7
/proc/10149/task/10161/stat : 10161 (java) S 10147 10147 8036 0 -1 1077944384 10954 0 0 0 77 2 0 0 20 0 15 0 154331750 14320615424 58798 33554432000 4194304 4196468 140736296979392 139655748990960 139656281229954 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30158848 140736296981661 140736296981836 140736296981836 140736296984527 0
[pid=10149/tid=10162] ppid=10147 vsize=13984976 memory=4100 CPUtime=0 cores=1,3,5,7
/proc/10149/task/10162/stat : 10162 (java) S 10147 10147 8036 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154331750 14320615424 58798 33554432000 4194304 4196468 140736296979392 139655747938656 139656281229013 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30158848 140736296981661 140736296981836 140736296981836 140736296984527 0
[pid=10149/tid=10163] ppid=10147 vsize=13984976 memory=42592 CPUtime=0.05 cores=1,3,5,7
/proc/10149/task/10163/stat : 10163 (java) S 10147 10147 8036 0 -1 1077944384 1499 0 0 0 2 3 0 0 20 0 15 0 154331751 14320615424 58798 33554432000 4194304 4196468 140736296979392 139655746886704 139656281229954 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30158848 140736296981661 140736296981836 140736296981836 140736296984527 0
Current children cumulated CPU time: 232.74 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 236576 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+240.001 s]*
/proc/loadavg: 1.74 1.89 1.83 3/217 10328
/proc/meminfo: memFree=25564540/32770624 swapFree=67108860/67108860
[pid=10147] ppid=10144 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/10147/stat : 10147 (xcsp3-exec) S 10144 10147 8036 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 154331745 9740288 346 33554432000 4194304 5098028 140730687084320 140730687082424 140503445021308 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 33419264 140730687087732 140730687087936 140730687087936 140730687090667 0
/proc/10147/statm: 2378 346 289 221 0 87 0
[pid=10149] ppid=10147 vsize=13984976 memory=246844 CPUtime=250.63 cores=1,3,5,7
/proc/10149/stat : 10149 (java) S 10147 10147 8036 0 -1 1077944320 112122 0 0 0 25023 40 0 0 20 0 15 0 154331745 14320615424 61711 33554432000 4194304 4196468 140736296979392 140736296961936 139656281218807 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 30158848 140736296981661 140736296981836 140736296981836 140736296984527 0
/proc/10149/statm: 3496244 61711 3265 1 0 3483478 0
[pid=10149/tid=10150] ppid=10147 vsize=13984976 memory=6791534058613427641 CPUtime=239.36 cores=1,3,5,7
/proc/10149/task/10150/stat : 10150 (java) R 10147 10147 8036 0 -1 4202560 14551 0 0 0 23930 6 0 0 20 0 15 0 154331745 14320615424 61711 33554432000 4194304 4196468 140736296979392 139656285458432 139655917275457 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 30158848 140736296981661 140736296981836 140736296981836 140736296984527 0
[pid=10149/tid=10151] ppid=10147 vsize=13984976 memory=-7003737579269690708 CPUtime=0.43 cores=1,3,5,7
/proc/10149/task/10151/stat : 10151 (java) S 10147 10147 8036 0 -1 1077944384 1830 0 0 0 39 4 0 0 20 0 15 0 154331746 14320615424 61711 33554432000 4194304 4196468 140736296979392 139656233839120 139656281229013 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30158848 140736296981661 140736296981836 140736296981836 140736296984527 0
[pid=10149/tid=10152] ppid=10147 vsize=13984976 memory=1004 CPUtime=0.44 cores=1,3,5,7
/proc/10149/task/10152/stat : 10152 (java) S 10147 10147 8036 0 -1 1077944384 1724 0 0 0 40 4 0 0 20 0 15 0 154331746 14320615424 61711 33554432000 4194304 4196468 140736296979392 139656232786576 139656281229013 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30158848 140736296981661 140736296981836 140736296981836 140736296984527 0
[pid=10149/tid=10153] ppid=10147 vsize=13984976 memory=1200 CPUtime=0.44 cores=1,3,5,7
/proc/10149/task/10153/stat : 10153 (java) S 10147 10147 8036 0 -1 1077944384 1537 0 0 0 40 4 0 0 20 0 15 0 154331746 14320615424 61711 33554432000 4194304 4196468 140736296979392 139656231733520 139656281229013 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30158848 140736296981661 140736296981836 140736296981836 140736296984527 0
[pid=10149/tid=10154] ppid=10147 vsize=13984976 memory=15876 CPUtime=0.44 cores=1,3,5,7
/proc/10149/task/10154/stat : 10154 (java) S 10147 10147 8036 0 -1 1077944384 908 0 0 0 40 4 0 0 20 0 15 0 154331746 14320615424 61711 33554432000 4194304 4196468 140736296979392 139655874013584 139656281229013 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30158848 140736296981661 140736296981836 140736296981836 140736296984527 0
[pid=10149/tid=10155] ppid=10147 vsize=13984976 memory=6791534058613427641 CPUtime=0.07 cores=1,3,5,7
/proc/10149/task/10155/stat : 10155 (java) S 10147 10147 8036 0 -1 1077944384 1761 0 0 0 6 1 0 0 20 0 15 0 154331747 14320615424 61711 33554432000 4194304 4196468 140736296979392 139655755307760 139656281229954 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30158848 140736296981661 140736296981836 140736296981836 140736296984527 0
[pid=10149/tid=10156] ppid=10147 vsize=13984976 memory=2548 CPUtime=0 cores=1,3,5,7
/proc/10149/task/10156/stat : 10156 (java) S 10147 10147 8036 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 15 0 154331748 14320615424 61711 33554432000 4194304 4196468 140736296979392 139655754253984 139656281229013 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30158848 140736296981661 140736296981836 140736296981836 140736296984527 0
[pid=10149/tid=10157] ppid=10147 vsize=13984976 memory=1156 CPUtime=0 cores=1,3,5,7
/proc/10149/task/10157/stat : 10157 (java) S 10147 10147 8036 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 15 0 154331748 14320615424 61711 33554432000 4194304 4196468 140736296979392 139655753200880 139656281229013 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30158848 140736296981661 140736296981836 140736296981836 140736296984527 0
[pid=10149/tid=10158] ppid=10147 vsize=13984976 memory=3128 CPUtime=0 cores=1,3,5,7
/proc/10149/task/10158/stat : 10158 (java) S 10147 10147 8036 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154331750 14320615424 61711 33554432000 4194304 4196468 140736296979392 139655752149456 139656281237403 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30158848 140736296981661 140736296981836 140736296981836 140736296984527 0
[pid=10149/tid=10159] ppid=10147 vsize=13984976 memory=1384 CPUtime=4.49 cores=1,3,5,7
/proc/10149/task/10159/stat : 10159 (java) S 10147 10147 8036 0 -1 1077944384 37966 0 0 0 445 4 0 0 20 0 15 0 154331750 14320615424 61711 33554432000 4194304 4196468 140736296979392 139655751096560 139656281229954 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30158848 140736296981661 140736296981836 140736296981836 140736296984527 0
[pid=10149/tid=10160] ppid=10147 vsize=13984976 memory=243584 CPUtime=4.02 cores=1,3,5,7
/proc/10149/task/10160/stat : 10160 (java) S 10147 10147 8036 0 -1 1077944384 38045 0 0 0 397 5 0 0 20 0 15 0 154331750 14320615424 61711 33554432000 4194304 4196468 140736296979392 139655750044016 139656281229954 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30158848 140736296981661 140736296981836 140736296981836 140736296984527 0
[pid=10149/tid=10161] ppid=10147 vsize=13984976 memory=4104 CPUtime=0.79 cores=1,3,5,7
/proc/10149/task/10161/stat : 10161 (java) S 10147 10147 8036 0 -1 1077944384 10954 0 0 0 77 2 0 0 20 0 15 0 154331750 14320615424 61711 33554432000 4194304 4196468 140736296979392 139655748990960 139656281229954 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30158848 140736296981661 140736296981836 140736296981836 140736296984527 0
[pid=10149/tid=10162] ppid=10147 vsize=13984976 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/10149/task/10162/stat : 10162 (java) S 10147 10147 8036 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154331750 14320615424 61711 33554432000 4194304 4196468 140736296979392 139655747938656 139656281229013 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30158848 140736296981661 140736296981836 140736296981836 140736296984527 0
[pid=10149/tid=10163] ppid=10147 vsize=13984976 memory=245824 CPUtime=0.05 cores=1,3,5,7
/proc/10149/task/10163/stat : 10163 (java) S 10147 10147 8036 0 -1 1077944384 1499 0 0 0 2 3 0 0 20 0 15 0 154331751 14320615424 61711 33554432000 4194304 4196468 140736296979392 139655746886704 139656281229954 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30158848 140736296981661 140736296981836 140736296981836 140736296984527 0
Current children cumulated CPU time: 250.63 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 248228 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+240.02 s]
# the end of solver process 10147 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0.001899 s, system=0 s
[startup+240.024 s]
# the end of solver process 10149 was just reported to runsolver
# cumulated CPU time of all completed processes: user=250.243 s, system=0.413184 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): 240.024
CPU time (s): 250.656
CPU user time (s): 250.243
CPU system time (s): 0.413184
CPU usage (%): 104.429
Max. virtual memory (cumulated for all children) (KiB): 13997952
Max. memory (cumulated for all children) (KiB): 259736
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 250.243
system time used= 0.413184
maximum resident set size= 262068
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 113067
page faults= 0
swaps= 0
block input operations= 0
block output operations= 392
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 9949
involuntary context switches= 351
# summary of solver processes directly reported to runsolver:
# pid: 10147,10149
# total CPU time (s): 250.656
# total CPU user time (s): 250.243
# total CPU system time (s): 0.413184
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.46661 second user time and 2.34777 second system time
The end
Begin job on node113 at 2017-08-20 08:46:23 IDJOB=4284284 IDBENCH=126224 IDSOLVER=2680 FILE ID=node113/4284284-1503212443 RUNJOBID= node113-1503209106-8068 PBS_JOBID= 20630874 Free space on /tmp= 61588 MiB SOLVER NAME= choco-solver 5a BENCH NAME= XCSP17/GolombRuler/GolombRuler-a3-s1/GolombRuler-10-a3.xml COMMAND LINE= ./xcsp3-exec -dir DIR -tl TIMEOUT -ml 11000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4284284-1503212443/watcher-4284284-1503212443 -o /tmp/evaluation-result-4284284-1503212443/solver-4284284-1503212443 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node113-1503209106-8068 --watchdog 300 ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 1239443164 HOME/instance-4284284-1503212443.xml TIME LIMIT= 264 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 1a91370fd3edda64a19224a97cd9d854 RANDOM SEED=1239443164 node113.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.89 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.89 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.89 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.89 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: 26360228 kB MemAvailable: 31727908 kB Buffers: 257700 kB Cached: 5399988 kB SwapCached: 0 kB Active: 1554864 kB Inactive: 4401264 kB Active(anon): 249000 kB Inactive(anon): 85940 kB Active(file): 1305864 kB Inactive(file): 4315324 kB Unevictable: 7460 kB Mlocked: 7460 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 8072 kB Writeback: 0 kB AnonPages: 167084 kB Mapped: 63764 kB Shmem: 33416 kB Slab: 151848 kB SReclaimable: 124652 kB SUnreclaim: 27196 kB KernelStack: 3792 kB PageTables: 5876 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 1283796 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 47104 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= 61580 MiB End job on node113 at 2017-08-20 08:50:23