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-07-26) | SAT (TO) | 155 | 2520.0801 | 2474.8101 |
| Name | GolombRuler/GolombRuler-a3-s1/ GolombRuler-14-a3.xml |
| MD5SUM | a5381fa3d98671549d41a8d043d26ba4 |
| Bench Category | COP (optimization problem) |
| Best result obtained on this benchmark | SAT TO |
| Best value of the objective obtained on this benchmark | 129 |
| Best CPU time to get the best result obtained on this benchmark | 20028.4 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 210 |
| Number of constraints | 94 |
| Number of domains | 2 |
| Minimum domain size | 500 |
| Maximum domain size | 501 |
| Distribution of domain sizes | [{"size":500,"count":91},{"size":501,"count":14}] |
| Minimum variable degree | 0 |
| Maximum variable degree | 15 |
| Distribution of variable degrees | [{"degree":0,"count":105},{"degree":2,"count":91},{"degree":14,"count":12},{"degree":15,"count":2}] |
| Minimum constraint arity | 1 |
| Maximum constraint arity | 91 |
| Distribution of constraint arities | [{"arity":1,"count":1},{"arity":3,"count":91},{"arity":14,"count":1},{"arity":91,"count":1}] |
| Number of extensional constraints | 0 |
| Number of intensional constraints | 92 |
| Distribution of constraint types | [{"type":"intension","count":92},{"type":"allDifferent","count":1},{"type":"ordered","count":1}] |
| Optimization problem | YES |
| Type of objective | min VAR |
0.00/0.09 c java -server -Xmx11000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4272016-1502769362.xml" -tl '2520s' -p 1 -x 3 0.07/0.28 c [HOME/instance-4272016-1502769362.xml, -tl, 2520s, -p, 1, -x, 3] 0.25/0.34 c simple solver 0.25/0.41 c parse instance... 0.84/0.65 c solve instance... 191.37/183.34 o 500 191.37/183.35 o 499 191.37/183.35 o 498 191.37/183.35 o 497 191.37/183.36 o 496 191.37/183.36 o 495 191.37/183.37 o 494 191.37/183.37 o 493 191.37/183.37 o 492 191.37/183.38 o 491 191.37/183.38 o 490 191.37/183.38 o 489 191.37/183.38 o 488 191.37/183.39 o 487 191.37/183.39 o 486 191.37/183.39 o 485 191.37/183.39 o 484 191.56/183.41 o 483 191.56/183.41 o 482 191.56/183.41 o 481 191.56/183.41 o 480 191.56/183.41 o 479 191.56/183.41 o 478 191.56/183.41 o 477 191.56/183.42 o 476 191.56/183.42 o 475 191.56/183.42 o 474 191.56/183.42 o 473 191.56/183.42 o 472 191.56/183.42 o 471 191.56/183.43 o 470 191.56/183.43 o 469 191.56/183.43 o 468 191.56/183.43 o 467 191.56/183.43 o 466 191.56/183.44 o 465 191.56/183.44 o 464 191.56/183.44 o 463 191.56/183.44 o 462 191.56/183.44 o 461 191.56/183.44 o 460 191.56/183.44 o 459 191.56/183.45 o 458 191.56/183.45 o 457 191.56/183.45 o 456 191.56/183.45 o 455 191.56/183.46 o 454 191.56/183.46 o 453 191.56/183.47 o 452 191.56/183.48 o 451 191.56/183.50 o 450 191.74/183.52 o 449 191.74/183.55 o 448 191.74/183.57 o 447 191.74/183.58 o 446 191.92/183.60 o 445 191.92/183.62 o 444 191.92/183.63 o 443 191.92/183.63 o 442 191.92/183.63 o 441 191.92/183.63 o 440 191.92/183.63 o 439 191.92/183.63 o 438 191.92/183.63 o 437 191.92/183.63 o 436 191.92/183.63 o 435 191.92/183.63 o 434 191.92/183.64 o 433 191.92/183.64 o 432 191.92/183.64 o 431 191.92/183.64 o 430 191.92/183.64 o 429 191.92/183.64 o 428 191.92/183.64 o 427 191.92/183.64 o 426 191.92/183.64 o 425 191.92/183.64 o 424 191.92/183.64 o 423 191.92/183.65 o 422 191.92/183.65 o 421 191.92/183.65 o 420 191.92/183.65 o 419 191.92/183.65 o 418 191.92/183.65 o 417 191.92/183.65 o 416 191.92/183.65 o 415 191.92/183.65 o 414 191.92/183.65 o 413 191.92/183.65 o 412 191.92/183.66 o 411 191.92/183.66 o 410 191.92/183.66 o 409 191.92/183.66 o 408 191.92/183.66 o 407 191.92/183.66 o 406 191.92/183.66 o 405 191.92/183.66 o 404 191.92/183.66 o 403 191.92/183.66 o 402 191.92/183.66 o 401 191.92/183.67 o 400 191.92/183.67 o 399 191.92/183.67 o 398 191.92/183.67 o 397 191.92/183.67 o 396 191.92/183.67 o 395 191.92/183.67 o 394 191.92/183.67 o 393 191.92/183.67 o 392 191.92/183.67 o 391 191.92/183.67 o 390 191.92/183.67 o 389 191.92/183.68 o 388 191.92/183.68 o 387 191.92/183.68 o 386 191.92/183.68 o 385 191.92/183.68 o 384 191.92/183.68 o 383 191.92/183.68 o 382 191.92/183.68 o 381 191.92/183.68 o 380 191.92/183.68 o 379 191.92/183.68 o 378 191.92/183.69 o 377 191.92/183.69 o 376 191.92/183.69 o 375 191.92/183.69 o 374 191.92/183.69 o 373 191.92/183.69 o 372 191.92/183.69 o 371 191.92/183.69 o 370 191.92/183.69 o 369 191.92/183.69 o 368 191.92/183.69 o 367 191.92/183.70 o 366 192.06/183.70 o 365 192.06/183.70 o 364 192.06/183.70 o 363 192.06/183.70 o 362 192.06/183.70 o 361 192.06/183.70 o 360 192.06/183.70 o 359 192.06/183.70 o 358 192.06/183.70 o 357 192.06/183.70 o 356 192.06/183.71 o 355 192.06/183.71 o 354 192.06/183.71 o 353 192.06/183.71 o 352 192.06/183.71 o 351 192.06/183.71 o 350 192.06/183.71 o 349 192.06/183.71 o 348 192.06/183.71 o 347 192.06/183.71 o 346 192.06/183.71 o 345 192.06/183.72 o 344 192.06/183.72 o 343 192.06/183.72 o 342 192.06/183.72 o 341 192.06/183.72 o 340 192.06/183.72 o 339 192.06/183.72 o 338 192.06/183.72 o 337 192.06/183.72 o 336 192.06/183.72 o 335 192.06/183.72 o 334 192.06/183.72 o 333 192.06/183.73 o 332 192.06/183.73 o 331 192.06/183.73 o 330 192.06/183.73 o 329 192.06/183.73 o 328 192.06/183.73 o 327 192.06/183.73 o 326 192.06/183.73 o 325 192.06/183.73 o 324 192.06/183.73 o 323 192.06/183.73 o 322 192.06/183.74 o 321 192.06/183.74 o 320 192.06/183.74 o 319 192.06/183.74 o 318 192.06/183.74 o 317 192.06/183.74 o 316 192.06/183.74 o 315 192.06/183.74 o 314 192.06/183.74 o 313 192.06/183.74 o 312 192.06/183.74 o 311 192.06/183.75 o 310 192.06/183.76 o 217 192.06/183.79 o 195 210.76/201.83 o 194 213.94/204.93 o 193 214.45/205.49 o 189 216.59/207.58 o 186 222.75/213.39 o 184 224.18/214.77 o 183 224.79/215.33 o 182 225.21/215.70 o 179 225.31/215.80 o 177 293.78/282.98 o 173 309.74/298.56 o 172 332.41/320.85 o 170 332.51/320.93 o 167 389.85/377.20 o 164 395.18/382.42 o 157 2370.52/2328.26 o 155 2520.06/2474.80 s SATISFIABLE 2520.06/2474.80 v <instantiation> 2520.06/2474.80 v <list>x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] y[0][1] y[0][2] y[0][3] y[0][4] y[0][5] y[0][6] y[0][7] y[0][8] y[0][9] y[0][10] y[0][11] y[0][12] y[0][13] y[1][2] y[1][3] y[1][4] y[1][5] y[1][6] y[1][7] y[1][8] y[1][9] y[1][10] y[1][11] y[1][12] y[1][13] y[2][3] y[2][4] y[2][5] y[2][6] y[2][7] y[2][8] y[2][9] y[2][10] y[2][11] y[2][12] y[2][13] y[3][4] y[3][5] y[3][6] y[3][7] y[3][8] y[3][9] y[3][10] y[3][11] y[3][12] y[3][13] y[4][5] y[4][6] y[4][7] y[4][8] y[4][9] y[4][10] y[4][11] y[4][12] y[4][13] y[5][6] y[5][7] y[5][8] y[5][9] y[5][10] y[5][11] y[5][12] y[5][13] y[6][7] y[6][8] y[6][9] y[6][10] y[6][11] y[6][12] y[6][13] y[7][8] y[7][9] y[7][10] y[7][11] y[7][12] y[7][13] y[8][9] y[8][10] y[8][11] y[8][12] y[8][13] y[9][10] y[9][11] y[9][12] y[9][13] y[10][11] y[10][12] y[10][13] y[11][12] y[11][13] y[12][13] </list> 2520.06/2474.80 v <values>0 2 6 11 14 33 62 85 100 101 125 135 142 155 2 6 11 14 33 62 85 100 101 125 135 142 155 4 9 12 31 60 83 98 99 123 133 140 153 5 8 27 56 79 94 95 119 129 136 149 3 22 51 74 89 90 114 124 131 144 19 48 71 86 87 111 121 128 141 29 52 67 68 92 102 109 122 23 38 39 63 73 80 93 15 16 40 50 57 70 1 25 35 42 55 24 34 41 54 10 17 30 7 20 13 </values> 2520.06/2474.80 v </instantiation> 2520.06/2474.80 c Unexpected resolution interruption!
OK 155
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 (15191 MiB free)
memory of node 1: 16384 MiB (14884 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4272016-1502769362/watcher-4272016-1502769362 -o /tmp/evaluation-result-4272016-1502769362/solver-4272016-1502769362 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node128-1502649221-29000 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 310523238 HOME/instance-4272016-1502769362.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 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
solver pid=25476, runsolver pid=25473
Current StackSize limit: 8192 KiB
[startup+0.100128 s]*
/proc/loadavg: 1.93 1.80 1.77 3/200 25479
/proc/meminfo: memFree=30796320/32770624 swapFree=67108860/67108860
[pid=25476] ppid=25473 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/25476/stat : 25476 (xcsp3-exec) S 25473 25476 7968 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 30818834 9740288 345 18446744073709551615 4194304 5098028 140723950725792 140723950723896 139694573302396 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 9 0 0 7196144 7232144 9371648 140723950731642 140723950731846 140723950731846 140723950735339 0
/proc/25476/statm: 2378 345 289 221 0 87 0
[pid=25478] ppid=25476 vsize=13356504 memory=10920 CPUtime=0 cores=0,2,4,6
/proc/25478/stat : 25478 (java) S 25476 25476 7968 0 -1 1077944320 2513 0 0 0 0 0 0 0 20 0 6 0 30818844 13677060096 2730 18446744073709551615 4194304 4196468 140733321574032 140733321556576 140259225407223 0 0 1 16784584 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 31211520 140733321580978 140733321581154 140733321581154 140733321584591 0
/proc/25478/statm: 3339126 2730 1261 1 0 3329096 0
[pid=25478/tid=25479] ppid=25476 vsize=13356504 memory=7078076838863583841 CPUtime=0 cores=0,2,4,6
/proc/25478/task/25479/stat : 25479 (java) R 25476 25476 7968 0 -1 4202560 1303 0 0 0 0 0 0 0 20 0 6 0 30818844 13677060096 3312 18446744073709551615 4194304 4196468 140733321574032 140259229648184 140259218124327 0 4 1 16784584 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 31211520 140733321580978 140733321581154 140733321581154 140733321584591 0
[pid=25478/tid=25480] ppid=25476 vsize=13356504 memory=4123389896250521363 CPUtime=0 cores=0,2,4,6
/proc/25478/task/25480/stat : 25480 (java) S 25476 25476 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 6 0 30818845 13677060096 3312 18446744073709551615 4194304 4196468 140733321574032 140259144821136 140259225417429 0 4 1 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31211520 140733321580978 140733321581154 140733321581154 140733321584591 0
[pid=25478/tid=25481] ppid=25476 vsize=13356504 memory=140060744115840 CPUtime=0 cores=0,2,4,6
/proc/25478/task/25481/stat : 25481 (java) S 25476 25476 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 6 0 30818845 13677060096 3312 18446744073709551615 4194304 4196468 140733321574032 140259143768336 140259225417429 0 4 1 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31211520 140733321580978 140733321581154 140733321581154 140733321584591 0
[pid=25478/tid=25482] ppid=25476 vsize=13356504 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25478/task/25482/stat : 25482 (java) S 25476 25476 7968 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 6 0 30818845 13677060096 3312 18446744073709551615 4194304 4196468 140733321574032 140259142716048 140259225417429 0 4 1 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31211520 140733321580978 140733321581154 140733321581154 140733321584591 0
[pid=25478/tid=25483] ppid=25476 vsize=13356504 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25478/task/25483/stat : 25483 (java) S 25476 25476 7968 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 6 0 30818845 13677060096 3312 18446744073709551615 4194304 4196468 140733321574032 140259141663248 140259225417429 0 4 1 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31211520 140733321580978 140733321581154 140733321581154 140733321584591 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 13366016 KiB
Current children cumulated memory: 12300 KiB
[startup+0.211548 s]*
/proc/loadavg: 1.93 1.80 1.77 3/213 25492
/proc/meminfo: memFree=30785176/32770624 swapFree=67108860/67108860
[pid=25476] ppid=25473 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/25476/stat : 25476 (xcsp3-exec) S 25473 25476 7968 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 30818834 9740288 345 18446744073709551615 4194304 5098028 140723950725792 140723950723896 139694573302396 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 9 0 0 7196144 7232144 9371648 140723950731642 140723950731846 140723950731846 140723950735339 0
/proc/25476/statm: 2378 345 289 221 0 87 0
[pid=25478] ppid=25476 vsize=13974352 memory=25548 CPUtime=0.07 cores=0,2,4,6
/proc/25478/stat : 25478 (java) S 25476 25476 7968 0 -1 1077944320 4834 0 0 0 6 1 0 0 20 0 15 0 30818844 14309736448 6387 18446744073709551615 4194304 4196468 140733321574032 140733321556576 140259225407223 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 31211520 140733321580978 140733321581154 140733321581154 140733321584591 0
/proc/25478/statm: 3493588 6387 2710 1 0 3482964 0
[pid=25478/tid=25479] ppid=25476 vsize=13974352 memory=7078076838863583841 CPUtime=0.06 cores=0,2,4,6
/proc/25478/task/25479/stat : 25479 (java) R 25476 25476 7968 0 -1 4202560 2987 0 0 0 5 1 0 0 20 0 15 0 30818844 14309736448 6387 18446744073709551615 4194304 4196468 140733321574032 140259229632912 140259225429149 0 4 1 16800974 0 0 0 -1 4 0 0 4 0 0 6293624 6294260 31211520 140733321580978 140733321581154 140733321581154 140733321584591 0
[pid=25478/tid=25480] ppid=25476 vsize=13974352 memory=4123389896250521363 CPUtime=0 cores=0,2,4,6
/proc/25478/task/25480/stat : 25480 (java) S 25476 25476 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 30818845 14309736448 6387 18446744073709551615 4194304 4196468 140733321574032 140259144821136 140259225417429 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31211520 140733321580978 140733321581154 140733321581154 140733321584591 0
[pid=25478/tid=25481] ppid=25476 vsize=13974352 memory=140060744115840 CPUtime=0 cores=0,2,4,6
/proc/25478/task/25481/stat : 25481 (java) S 25476 25476 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 30818845 14309736448 6387 18446744073709551615 4194304 4196468 140733321574032 140259143768336 140259225417429 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31211520 140733321580978 140733321581154 140733321581154 140733321584591 0
[pid=25478/tid=25482] ppid=25476 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25478/task/25482/stat : 25482 (java) S 25476 25476 7968 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 30818845 14309736448 6387 18446744073709551615 4194304 4196468 140733321574032 140259142716048 140259225417429 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31211520 140733321580978 140733321581154 140733321581154 140733321584591 0
[pid=25478/tid=25483] ppid=25476 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25478/task/25483/stat : 25483 (java) S 25476 25476 7968 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 30818845 14309736448 6387 18446744073709551615 4194304 4196468 140733321574032 140259141663248 140259225417429 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31211520 140733321580978 140733321581154 140733321581154 140733321584591 0
[pid=25478/tid=25484] ppid=25476 vsize=13974352 memory=140060744115840 CPUtime=0 cores=0,2,4,6
/proc/25478/task/25484/stat : 25484 (java) S 25476 25476 7968 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 30818846 14309736448 6387 18446744073709551615 4194304 4196468 140733321574032 140258702764656 140259225418370 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31211520 140733321580978 140733321581154 140733321581154 140733321584591 0
[pid=25478/tid=25485] ppid=25476 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25478/task/25485/stat : 25485 (java) S 25476 25476 7968 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 30818846 14309736448 6387 18446744073709551615 4194304 4196468 140733321574032 140258701710624 140259225417429 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31211520 140733321580978 140733321581154 140733321581154 140733321584591 0
[pid=25478/tid=25486] ppid=25476 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25478/task/25486/stat : 25486 (java) S 25476 25476 7968 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 30818847 14309736448 6387 18446744073709551615 4194304 4196468 140733321574032 140258700658288 140259225417429 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31211520 140733321580978 140733321581154 140733321581154 140733321584591 0
[pid=25478/tid=25487] ppid=25476 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25478/task/25487/stat : 25487 (java) S 25476 25476 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 30818849 14309736448 6387 18446744073709551615 4194304 4196468 140733321574032 140258699606608 140259225425819 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31211520 140733321580978 140733321581154 140733321581154 140733321584591 0
[pid=25478/tid=25488] ppid=25476 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25478/task/25488/stat : 25488 (java) S 25476 25476 7968 0 -1 1077944384 307 0 0 0 0 0 0 0 20 0 15 0 30818849 14309736448 6387 18446744073709551615 4194304 4196468 140733321574032 140258698553456 140259225418370 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31211520 140733321580978 140733321581154 140733321581154 140733321584591 0
[pid=25478/tid=25489] ppid=25476 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25478/task/25489/stat : 25489 (java) S 25476 25476 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 30818849 14309736448 6387 18446744073709551615 4194304 4196468 140733321574032 140258697500656 140259225418370 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31211520 140733321580978 140733321581154 140733321581154 140733321584591 0
[pid=25478/tid=25490] ppid=25476 vsize=13974352 memory=140060744115840 CPUtime=0 cores=0,2,4,6
/proc/25478/task/25490/stat : 25490 (java) S 25476 25476 7968 0 -1 1077944384 234 0 0 0 0 0 0 0 20 0 15 0 30818849 14309736448 6387 18446744073709551615 4194304 4196468 140733321574032 140258696448368 140259225418370 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31211520 140733321580978 140733321581154 140733321581154 140733321584591 0
[pid=25478/tid=25491] ppid=25476 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25478/task/25491/stat : 25491 (java) S 25476 25476 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 30818849 14309736448 6387 18446744073709551615 4194304 4196468 140733321574032 140258695395808 140259225417429 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31211520 140733321580978 140733321581154 140733321581154 140733321584591 0
[pid=25478/tid=25492] ppid=25476 vsize=13974352 memory=140060744115840 CPUtime=0 cores=0,2,4,6
/proc/25478/task/25492/stat : 25492 (java) S 25476 25476 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 30818854 14309736448 6387 18446744073709551615 4194304 4196468 140733321574032 140258694343600 140259225418370 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31211520 140733321580978 140733321581154 140733321581154 140733321584591 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 26928 KiB
[startup+0.310402 s]*
/proc/loadavg: 1.93 1.80 1.77 3/213 25492
/proc/meminfo: memFree=30769804/32770624 swapFree=67108860/67108860
[pid=25476] ppid=25473 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/25476/stat : 25476 (xcsp3-exec) S 25473 25476 7968 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 30818834 9740288 345 18446744073709551615 4194304 5098028 140723950725792 140723950723896 139694573302396 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 9 0 0 7196144 7232144 9371648 140723950731642 140723950731846 140723950731846 140723950735339 0
/proc/25476/statm: 2378 345 289 221 0 87 0
[pid=25478] ppid=25476 vsize=13974352 memory=37576 CPUtime=0.25 cores=0,2,4,6
/proc/25478/stat : 25478 (java) S 25476 25476 7968 0 -1 1077944320 8457 0 0 0 22 3 0 0 20 0 15 0 30818844 14309736448 9394 18446744073709551615 4194304 4196468 140733321574032 140733321556576 140259225407223 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 31211520 140733321580978 140733321581154 140733321581154 140733321584591 0
/proc/25478/statm: 3493588 9394 2981 1 0 3482964 0
[pid=25478/tid=25479] ppid=25476 vsize=13974352 memory=4278483708103473607 CPUtime=0.16 cores=0,2,4,6
/proc/25478/task/25479/stat : 25479 (java) R 25476 25476 7968 0 -1 4202560 5679 0 0 0 14 2 0 0 20 0 15 0 30818844 14309736448 9394 18446744073709551615 4194304 4196468 140733321574032 140259229629600 140259209487710 0 4 1 16800974 0 0 0 -1 4 0 0 4 0 0 6293624 6294260 31211520 140733321580978 140733321581154 140733321581154 140733321584591 0
[pid=25478/tid=25480] ppid=25476 vsize=13974352 memory=-7003737579269690708 CPUtime=0 cores=0,2,4,6
/proc/25478/task/25480/stat : 25480 (java) S 25476 25476 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 30818845 14309736448 9394 18446744073709551615 4194304 4196468 140733321574032 140259144821136 140259225417429 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31211520 140733321580978 140733321581154 140733321581154 140733321584591 0
[pid=25478/tid=25481] ppid=25476 vsize=13974352 memory=140060744122833 CPUtime=0 cores=0,2,4,6
/proc/25478/task/25481/stat : 25481 (java) S 25476 25476 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 30818845 14309736448 9394 18446744073709551615 4194304 4196468 140733321574032 140259143768336 140259225417429 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31211520 140733321580978 140733321581154 140733321581154 140733321584591 0
[pid=25478/tid=25482] ppid=25476 vsize=13974352 memory=7379538665450138475 CPUtime=0 cores=0,2,4,6
/proc/25478/task/25482/stat : 25482 (java) S 25476 25476 7968 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 30818845 14309736448 9394 18446744073709551615 4194304 4196468 140733321574032 140259142716048 140259225417429 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31211520 140733321580978 140733321581154 140733321581154 140733321584591 0
[pid=25478/tid=25483] ppid=25476 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25478/task/25483/stat : 25483 (java) S 25476 25476 7968 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 30818845 14309736448 9394 18446744073709551615 4194304 4196468 140733321574032 140259141663248 140259225417429 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31211520 140733321580978 140733321581154 140733321581154 140733321584591 0
[pid=25478/tid=25484] ppid=25476 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25478/task/25484/stat : 25484 (java) S 25476 25476 7968 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 30818846 14309736448 9394 18446744073709551615 4194304 4196468 140733321574032 140258702764656 140259225418370 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31211520 140733321580978 140733321581154 140733321581154 140733321584591 0
[pid=25478/tid=25485] ppid=25476 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25478/task/25485/stat : 25485 (java) S 25476 25476 7968 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 30818846 14309736448 9394 18446744073709551615 4194304 4196468 140733321574032 140258701710624 140259225417429 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31211520 140733321580978 140733321581154 140733321581154 140733321584591 0
[pid=25478/tid=25486] ppid=25476 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25478/task/25486/stat : 25486 (java) S 25476 25476 7968 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 30818847 14309736448 9394 18446744073709551615 4194304 4196468 140733321574032 140258700658288 140259225417429 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31211520 140733321580978 140733321581154 140733321581154 140733321584591 0
[pid=25478/tid=25487] ppid=25476 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25478/task/25487/stat : 25487 (java) S 25476 25476 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 30818849 14309736448 9394 18446744073709551615 4194304 4196468 140733321574032 140258699606608 140259225425819 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31211520 140733321580978 140733321581154 140733321581154 140733321584591 0
[pid=25478/tid=25488] ppid=25476 vsize=13974352 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/25478/task/25488/stat : 25488 (java) S 25476 25476 7968 0 -1 1077944384 383 0 0 0 1 0 0 0 20 0 15 0 30818849 14309736448 9394 18446744073709551615 4194304 4196468 140733321574032 140258698553456 140259225418370 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31211520 140733321580978 140733321581154 140733321581154 140733321584591 0
[pid=25478/tid=25489] ppid=25476 vsize=13974352 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/25478/task/25489/stat : 25489 (java) S 25476 25476 7968 0 -1 1077944384 406 0 0 0 1 0 0 0 20 0 15 0 30818849 14309736448 9394 18446744073709551615 4194304 4196468 140733321574032 140258697500656 140259225418370 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31211520 140733321580978 140733321581154 140733321581154 140733321584591 0
[pid=25478/tid=25490] ppid=25476 vsize=13974352 memory=0 CPUtime=0.05 cores=0,2,4,6
/proc/25478/task/25490/stat : 25490 (java) S 25476 25476 7968 0 -1 1077944384 685 0 0 0 5 0 0 0 20 0 15 0 30818849 14309736448 9394 18446744073709551615 4194304 4196468 140733321574032 140258696448368 140259225418370 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31211520 140733321580978 140733321581154 140733321581154 140733321584591 0
[pid=25478/tid=25491] ppid=25476 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25478/task/25491/stat : 25491 (java) S 25476 25476 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 30818849 14309736448 9394 18446744073709551615 4194304 4196468 140733321574032 140258695395808 140259225417429 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31211520 140733321580978 140733321581154 140733321581154 140733321584591 0
[pid=25478/tid=25492] ppid=25476 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25478/task/25492/stat : 25492 (java) S 25476 25476 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 30818854 14309736448 9394 18446744073709551615 4194304 4196468 140733321574032 140258694343600 140259225418370 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31211520 140733321580978 140733321581154 140733321581154 140733321584591 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 38956 KiB
[startup+0.700725 s]
/proc/loadavg: 1.93 1.80 1.77 6/213 25492
/proc/meminfo: memFree=30759620/32770624 swapFree=67108860/67108860
[pid=25476] ppid=25473 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/25476/stat : 25476 (xcsp3-exec) S 25473 25476 7968 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 30818834 9740288 345 18446744073709551615 4194304 5098028 140723950725792 140723950723896 139694573302396 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 9 0 0 7196144 7232144 9371648 140723950731642 140723950731846 140723950731846 140723950735339 0
/proc/25476/statm: 2378 345 289 221 0 87 0
[pid=25478] ppid=25476 vsize=13980732 memory=64048 CPUtime=1.1 cores=0,2,4,6
/proc/25478/stat : 25478 (java) S 25476 25476 7968 0 -1 1077944320 12735 0 0 0 105 5 0 0 20 0 15 0 30818844 14316269568 16012 18446744073709551615 4194304 4196468 140733321574032 140733321556576 140259225407223 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 31211520 140733321580978 140733321581154 140733321581154 140733321584591 0
/proc/25478/statm: 3495183 16012 3172 1 0 3483476 0
[pid=25478/tid=25479] ppid=25476 vsize=13980732 memory=0 CPUtime=0.54 cores=0,2,4,6
/proc/25478/task/25479/stat : 25479 (java) R 25476 25476 7968 0 -1 4202560 8246 0 0 0 50 4 0 0 20 0 15 0 30818844 14316269568 16012 18446744073709551615 4194304 4196468 140733321574032 140259229645232 140259225419158 0 4 1 16800974 0 0 0 -1 2 0 0 4 0 0 6293624 6294260 31211520 140733321580978 140733321581154 140733321581154 140733321584591 0
[pid=25478/tid=25480] ppid=25476 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25478/task/25480/stat : 25480 (java) S 25476 25476 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 30818845 14316269568 16012 18446744073709551615 4194304 4196468 140733321574032 140259144821136 140259225417429 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31211520 140733321580978 140733321581154 140733321581154 140733321584591 0
[pid=25478/tid=25481] ppid=25476 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25478/task/25481/stat : 25481 (java) S 25476 25476 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 30818845 14316269568 16012 18446744073709551615 4194304 4196468 140733321574032 140259143768336 140259225417429 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31211520 140733321580978 140733321581154 140733321581154 140733321584591 0
[pid=25478/tid=25482] ppid=25476 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25478/task/25482/stat : 25482 (java) S 25476 25476 7968 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 30818845 14316269568 16012 18446744073709551615 4194304 4196468 140733321574032 140259142716048 140259225417429 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31211520 140733321580978 140733321581154 140733321581154 140733321584591 0
[pid=25478/tid=25483] ppid=25476 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25478/task/25483/stat : 25483 (java) S 25476 25476 7968 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 30818845 14316269568 16012 18446744073709551615 4194304 4196468 140733321574032 140259141663248 140259225417429 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31211520 140733321580978 140733321581154 140733321581154 140733321584591 0
[pid=25478/tid=25484] ppid=25476 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25478/task/25484/stat : 25484 (java) S 25476 25476 7968 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 30818846 14316269568 16012 18446744073709551615 4194304 4196468 140733321574032 140258702764656 140259225418370 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31211520 140733321580978 140733321581154 140733321581154 140733321584591 0
[pid=25478/tid=25485] ppid=25476 vsize=13980732 memory=4211821575541792384 CPUtime=0 cores=0,2,4,6
/proc/25478/task/25485/stat : 25485 (java) S 25476 25476 7968 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 30818846 14316269568 16012 18446744073709551615 4194304 4196468 140733321574032 140258701710624 140259225417429 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31211520 140733321580978 140733321581154 140733321581154 140733321584591 0
[pid=25478/tid=25486] ppid=25476 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25478/task/25486/stat : 25486 (java) S 25476 25476 7968 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 30818847 14316269568 16012 18446744073709551615 4194304 4196468 140733321574032 140258700658288 140259225417429 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31211520 140733321580978 140733321581154 140733321581154 140733321584591 0
[pid=25478/tid=25487] ppid=25476 vsize=13980732 memory=4124 CPUtime=0 cores=0,2,4,6
/proc/25478/task/25487/stat : 25487 (java) S 25476 25476 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 30818849 14316269568 16012 18446744073709551615 4194304 4196468 140733321574032 140258699606608 140259225425819 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31211520 140733321580978 140733321581154 140733321581154 140733321584591 0
[pid=25478/tid=25488] ppid=25476 vsize=13980732 memory=2241 CPUtime=0.15 cores=0,2,4,6
/proc/25478/task/25488/stat : 25488 (java) R 25476 25476 7968 0 -1 1077944384 1023 0 0 0 15 0 0 0 20 0 15 0 30818849 14316269568 16012 18446744073709551615 4194304 4196468 140733321574032 140258698553456 140259225418370 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 31211520 140733321580978 140733321581154 140733321581154 140733321584591 0
[pid=25478/tid=25489] ppid=25476 vsize=13980732 memory=2244 CPUtime=0.13 cores=0,2,4,6
/proc/25478/task/25489/stat : 25489 (java) R 25476 25476 7968 0 -1 4202560 897 0 0 0 13 0 0 0 20 0 15 0 30818849 14316269568 16012 18446744073709551615 4194304 4196468 140733321574032 140258697500752 140259225419158 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 31211520 140733321580978 140733321581154 140733321581154 140733321584591 0
[pid=25478/tid=25490] ppid=25476 vsize=13980732 memory=0 CPUtime=0.25 cores=0,2,4,6
/proc/25478/task/25490/stat : 25490 (java) R 25476 25476 7968 0 -1 4202560 1264 0 0 0 25 0 0 0 20 0 15 0 30818849 14316269568 16012 18446744073709551615 4194304 4196468 140733321574032 140258696448368 140259225419158 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 31211520 140733321580978 140733321581154 140733321581154 140733321584591 0
[pid=25478/tid=25491] ppid=25476 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25478/task/25491/stat : 25491 (java) S 25476 25476 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 30818849 14316269568 16012 18446744073709551615 4194304 4196468 140733321574032 140258695395808 140259225417429 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31211520 140733321580978 140733321581154 140733321581154 140733321584591 0
[pid=25478/tid=25492] ppid=25476 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25478/task/25492/stat : 25492 (java) S 25476 25476 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 30818854 14316269568 16012 18446744073709551615 4194304 4196468 140733321574032 140258694343600 140259225418370 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31211520 140733321580978 140733321581154 140733321581154 140733321584591 0
Current children cumulated CPU time: 1.1 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 65428 KiB
[startup+1.5008 s]
/proc/loadavg: 1.93 1.80 1.77 5/213 25492
/proc/meminfo: memFree=30727984/32770624 swapFree=67108860/67108860
[pid=25476] ppid=25473 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/25476/stat : 25476 (xcsp3-exec) S 25473 25476 7968 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 30818834 9740288 345 18446744073709551615 4194304 5098028 140723950725792 140723950723896 139694573302396 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 9 0 0 7196144 7232144 9371648 140723950731642 140723950731846 140723950731846 140723950735339 0
/proc/25476/statm: 2378 345 289 221 0 87 0
[pid=25478] ppid=25476 vsize=13980732 memory=111572 CPUtime=3.6 cores=0,2,4,6
/proc/25478/stat : 25478 (java) S 25476 25476 7968 0 -1 1077944320 20872 0 0 0 353 7 0 0 20 0 15 0 30818844 14316269568 27893 18446744073709551615 4194304 4196468 140733321574032 140733321556576 140259225407223 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 31211520 140733321580978 140733321581154 140733321581154 140733321584591 0
/proc/25478/statm: 3495183 27893 3199 1 0 3483476 0
[pid=25478/tid=25479] ppid=25476 vsize=13980732 memory=4124 CPUtime=1.34 cores=0,2,4,6
/proc/25478/task/25479/stat : 25479 (java) R 25476 25476 7968 0 -1 4202560 9078 0 0 0 129 5 0 0 20 0 15 0 30818844 14316269568 27893 18446744073709551615 4194304 4196468 140733321574032 140259229644088 140258822255571 0 4 1 16800974 0 0 0 -1 4 0 0 4 0 0 6293624 6294260 31211520 140733321580978 140733321581154 140733321581154 140733321584591 0
[pid=25478/tid=25480] ppid=25476 vsize=13980732 memory=19204 CPUtime=0 cores=0,2,4,6
/proc/25478/task/25480/stat : 25480 (java) S 25476 25476 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 30818845 14316269568 27893 18446744073709551615 4194304 4196468 140733321574032 140259144821136 140259225417429 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31211520 140733321580978 140733321581154 140733321581154 140733321584591 0
[pid=25478/tid=25481] ppid=25476 vsize=13980732 memory=100960 CPUtime=0 cores=0,2,4,6
/proc/25478/task/25481/stat : 25481 (java) S 25476 25476 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 30818845 14316269568 27893 18446744073709551615 4194304 4196468 140733321574032 140259143768336 140259225417429 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31211520 140733321580978 140733321581154 140733321581154 140733321584591 0
[pid=25478/tid=25482] ppid=25476 vsize=13980732 memory=2388 CPUtime=0 cores=0,2,4,6
/proc/25478/task/25482/stat : 25482 (java) S 25476 25476 7968 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 30818845 14316269568 27893 18446744073709551615 4194304 4196468 140733321574032 140259142716048 140259225417429 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31211520 140733321580978 140733321581154 140733321581154 140733321584591 0
[pid=25478/tid=25483] ppid=25476 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25478/task/25483/stat : 25483 (java) S 25476 25476 7968 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 30818845 14316269568 27893 18446744073709551615 4194304 4196468 140733321574032 140259141663248 140259225417429 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31211520 140733321580978 140733321581154 140733321581154 140733321584591 0
[pid=25478/tid=25484] ppid=25476 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25478/task/25484/stat : 25484 (java) S 25476 25476 7968 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 30818846 14316269568 27893 18446744073709551615 4194304 4196468 140733321574032 140258702764656 140259225418370 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31211520 140733321580978 140733321581154 140733321581154 140733321584591 0
[pid=25478/tid=25485] ppid=25476 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25478/task/25485/stat : 25485 (java) S 25476 25476 7968 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 30818846 14316269568 27893 18446744073709551615 4194304 4196468 140733321574032 140258701710624 140259225417429 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31211520 140733321580978 140733321581154 140733321581154 140733321584591 0
[pid=25478/tid=25486] ppid=25476 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
################
# More data... #
################
[pid=25478/tid=25484] ppid=25476 vsize=13980732 memory=257312 CPUtime=1.94 cores=0,2,4,6
/proc/25478/task/25484/stat : 25484 (java) S 25476 25476 7968 0 -1 1077944384 28225 0 0 0 178 16 0 0 20 0 15 0 30818846 14316269568 64328 18446744073709551615 4194304 4196468 140733321574032 140258702764656 140259225418370 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31211520 140733321580978 140733321581154 140733321581154 140733321584591 0
[pid=25478/tid=25485] ppid=25476 vsize=13980732 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/25478/task/25485/stat : 25485 (java) S 25476 25476 7968 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 30818846 14316269568 64328 18446744073709551615 4194304 4196468 140733321574032 140258701710688 140259225417429 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31211520 140733321580978 140733321581154 140733321581154 140733321584591 0
[pid=25478/tid=25486] ppid=25476 vsize=13980732 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/25478/task/25486/stat : 25486 (java) S 25476 25476 7968 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 15 0 30818847 14316269568 64328 18446744073709551615 4194304 4196468 140733321574032 140258700658304 140259225417429 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31211520 140733321580978 140733321581154 140733321581154 140733321584591 0
[pid=25478/tid=25487] ppid=25476 vsize=13980732 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/25478/task/25487/stat : 25487 (java) S 25476 25476 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 30818849 14316269568 64328 18446744073709551615 4194304 4196468 140733321574032 140258699606608 140259225425819 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31211520 140733321580978 140733321581154 140733321581154 140733321584591 0
[pid=25478/tid=25488] ppid=25476 vsize=13980732 memory=1380 CPUtime=4.06 cores=0,2,4,6
/proc/25478/task/25488/stat : 25488 (java) S 25476 25476 7968 0 -1 1077944384 21440 0 0 0 404 2 0 0 20 0 15 0 30818849 14316269568 64328 18446744073709551615 4194304 4196468 140733321574032 140258698553456 140259225418370 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31211520 140733321580978 140733321581154 140733321581154 140733321584591 0
[pid=25478/tid=25489] ppid=25476 vsize=13980732 memory=260392 CPUtime=4.01 cores=0,2,4,6
/proc/25478/task/25489/stat : 25489 (java) S 25476 25476 7968 0 -1 1077944384 22849 0 0 0 398 3 0 0 20 0 15 0 30818849 14316269568 64328 18446744073709551615 4194304 4196468 140733321574032 140258697500656 140259225418370 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31211520 140733321580978 140733321581154 140733321581154 140733321584591 0
[pid=25478/tid=25490] ppid=25476 vsize=13980732 memory=1380 CPUtime=0.82 cores=0,2,4,6
/proc/25478/task/25490/stat : 25490 (java) S 25476 25476 7968 0 -1 1077944384 11686 0 0 0 80 2 0 0 20 0 15 0 30818849 14316269568 64328 18446744073709551615 4194304 4196468 140733321574032 140258696448368 140259225418370 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31211520 140733321580978 140733321581154 140733321581154 140733321584591 0
[pid=25478/tid=25491] ppid=25476 vsize=13980732 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/25478/task/25491/stat : 25491 (java) S 25476 25476 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 30818849 14316269568 64328 18446744073709551615 4194304 4196468 140733321574032 140258695395808 140259225417429 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31211520 140733321580978 140733321581154 140733321581154 140733321584591 0
[pid=25478/tid=25492] ppid=25476 vsize=13980732 memory=1380 CPUtime=0.83 cores=0,2,4,6
/proc/25478/task/25492/stat : 25492 (java) S 25476 25476 7968 0 -1 1077944384 1262 0 0 0 36 47 0 0 20 0 15 0 30818854 14316269568 64328 18446744073709551615 4194304 4196468 140733321574032 140258694343600 140259225418370 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 8 0 0 6293624 6294260 31211520 140733321580978 140733321581154 140733321581154 140733321584591 0
Current children cumulated CPU time: 2364.57 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 258692 KiB
[startup+2382.3 s]
/proc/loadavg: 1.25 1.47 1.50 3/214 25812
/proc/meminfo: memFree=30507028/32770624 swapFree=67108860/67108860
[pid=25476] ppid=25473 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/25476/stat : 25476 (xcsp3-exec) S 25473 25476 7968 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 30818834 9740288 345 18446744073709551615 4194304 5098028 140723950725792 140723950723896 139694573302396 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 9 0 0 7196144 7232144 9371648 140723950731642 140723950731846 140723950731846 140723950735339 0
/proc/25476/statm: 2378 345 289 221 0 87 0
[pid=25478] ppid=25476 vsize=13980732 memory=237984 CPUtime=2425.49 cores=0,2,4,6
/proc/25478/stat : 25478 (java) S 25476 25476 7968 0 -1 1077944320 180388 0 0 0 242376 173 0 0 20 0 15 0 30818844 14316269568 59496 18446744073709551615 4194304 4196468 140733321574032 140733321556576 140259225407223 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 31211520 140733321580978 140733321581154 140733321581154 140733321584591 0
/proc/25478/statm: 3495183 59496 3259 1 0 3483476 0
[pid=25478/tid=25479] ppid=25476 vsize=13980732 memory=1380 CPUtime=2366.88 cores=0,2,4,6
/proc/25478/task/25479/stat : 25479 (java) R 25476 25476 7968 0 -1 4202560 38891 0 0 0 236673 15 0 0 20 0 15 0 30818844 14316269568 59496 18446744073709551615 4194304 4196468 140733321574032 140259229646688 140258823363937 0 4 1 16800974 0 0 0 -1 2 0 0 4 0 0 6293624 6294260 31211520 140733321580978 140733321581154 140733321581154 140733321584591 0
[pid=25478/tid=25480] ppid=25476 vsize=13980732 memory=237984 CPUtime=11.69 cores=0,2,4,6
/proc/25478/task/25480/stat : 25480 (java) S 25476 25476 7968 0 -1 1077944384 14687 0 0 0 1144 25 0 0 20 0 15 0 30818845 14316269568 59496 18446744073709551615 4194304 4196468 140733321574032 140259144821136 140259225417429 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31211520 140733321580978 140733321581154 140733321581154 140733321584591 0
[pid=25478/tid=25481] ppid=25476 vsize=13980732 memory=237348 CPUtime=11.69 cores=0,2,4,6
/proc/25478/task/25481/stat : 25481 (java) S 25476 25476 7968 0 -1 1077944384 13662 0 0 0 1142 27 0 0 20 0 15 0 30818845 14316269568 59496 18446744073709551615 4194304 4196468 140733321574032 140259143768336 140259225417429 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31211520 140733321580978 140733321581154 140733321581154 140733321584591 0
[pid=25478/tid=25482] ppid=25476 vsize=13980732 memory=237348 CPUtime=11.69 cores=0,2,4,6
/proc/25478/task/25482/stat : 25482 (java) S 25476 25476 7968 0 -1 1077944384 12501 0 0 0 1143 26 0 0 20 0 15 0 30818845 14316269568 59496 18446744073709551615 4194304 4196468 140733321574032 140259142716048 140259225417429 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31211520 140733321580978 140733321581154 140733321581154 140733321584591 0
[pid=25478/tid=25483] ppid=25476 vsize=13980732 memory=237348 CPUtime=11.71 cores=0,2,4,6
/proc/25478/task/25483/stat : 25483 (java) S 25476 25476 7968 0 -1 1077944384 13572 0 0 0 1143 28 0 0 20 0 15 0 30818845 14316269568 59496 18446744073709551615 4194304 4196468 140733321574032 140259141663248 140259225417429 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31211520 140733321580978 140733321581154 140733321581154 140733321584591 0
[pid=25478/tid=25484] ppid=25476 vsize=13980732 memory=237348 CPUtime=1.99 cores=0,2,4,6
/proc/25478/task/25484/stat : 25484 (java) S 25476 25476 7968 0 -1 1077944384 28388 0 0 0 183 16 0 0 20 0 15 0 30818846 14316269568 59496 18446744073709551615 4194304 4196468 140733321574032 140258702764656 140259225418370 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31211520 140733321580978 140733321581154 140733321581154 140733321584591 0
[pid=25478/tid=25485] ppid=25476 vsize=13980732 memory=237348 CPUtime=0 cores=0,2,4,6
/proc/25478/task/25485/stat : 25485 (java) S 25476 25476 7968 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 30818846 14316269568 59496 18446744073709551615 4194304 4196468 140733321574032 140258701710688 140259225417429 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31211520 140733321580978 140733321581154 140733321581154 140733321584591 0
[pid=25478/tid=25486] ppid=25476 vsize=13980732 memory=237756 CPUtime=0 cores=0,2,4,6
/proc/25478/task/25486/stat : 25486 (java) S 25476 25476 7968 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 15 0 30818847 14316269568 59496 18446744073709551615 4194304 4196468 140733321574032 140258700658304 140259225417429 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31211520 140733321580978 140733321581154 140733321581154 140733321584591 0
[pid=25478/tid=25487] ppid=25476 vsize=13980732 memory=237984 CPUtime=0 cores=0,2,4,6
/proc/25478/task/25487/stat : 25487 (java) S 25476 25476 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 30818849 14316269568 59496 18446744073709551615 4194304 4196468 140733321574032 140258699606608 140259225425819 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31211520 140733321580978 140733321581154 140733321581154 140733321584591 0
[pid=25478/tid=25488] ppid=25476 vsize=13980732 memory=237984 CPUtime=4.07 cores=0,2,4,6
/proc/25478/task/25488/stat : 25488 (java) S 25476 25476 7968 0 -1 1077944384 21524 0 0 0 405 2 0 0 20 0 15 0 30818849 14316269568 59496 18446744073709551615 4194304 4196468 140733321574032 140258698553456 140259225418370 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31211520 140733321580978 140733321581154 140733321581154 140733321584591 0
[pid=25478/tid=25489] ppid=25476 vsize=13980732 memory=237984 CPUtime=4.02 cores=0,2,4,6
/proc/25478/task/25489/stat : 25489 (java) S 25476 25476 7968 0 -1 1077944384 22851 0 0 0 399 3 0 0 20 0 15 0 30818849 14316269568 59496 18446744073709551615 4194304 4196468 140733321574032 140258697500656 140259225418370 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31211520 140733321580978 140733321581154 140733321581154 140733321584591 0
[pid=25478/tid=25490] ppid=25476 vsize=13980732 memory=2353 CPUtime=0.82 cores=0,2,4,6
/proc/25478/task/25490/stat : 25490 (java) S 25476 25476 7968 0 -1 1077944384 11688 0 0 0 80 2 0 0 20 0 15 0 30818849 14316269568 59496 18446744073709551615 4194304 4196468 140733321574032 140258696448368 140259225418370 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31211520 140733321580978 140733321581154 140733321581154 140733321584591 0
[pid=25478/tid=25491] ppid=25476 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25478/task/25491/stat : 25491 (java) S 25476 25476 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 30818849 14316269568 59496 18446744073709551615 4194304 4196468 140733321574032 140258695395808 140259225417429 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31211520 140733321580978 140733321581154 140733321581154 140733321584591 0
[pid=25478/tid=25492] ppid=25476 vsize=13980732 memory=840 CPUtime=0.85 cores=0,2,4,6
/proc/25478/task/25492/stat : 25492 (java) S 25476 25476 7968 0 -1 1077944384 1277 0 0 0 37 48 0 0 20 0 15 0 30818854 14316269568 59496 18446744073709551615 4194304 4196468 140733321574032 140258694343600 140259225418370 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 8 0 0 6293624 6294260 31211520 140733321580978 140733321581154 140733321581154 140733321584591 0
Current children cumulated CPU time: 2425.49 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 239364 KiB
[startup+2442.3 s]
/proc/loadavg: 1.48 1.51 1.51 3/214 25816
/proc/meminfo: memFree=30474272/32770624 swapFree=67108860/67108860
[pid=25476] ppid=25473 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/25476/stat : 25476 (xcsp3-exec) S 25473 25476 7968 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 30818834 9740288 345 18446744073709551615 4194304 5098028 140723950725792 140723950723896 139694573302396 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 9 0 0 7196144 7232144 9371648 140723950731642 140723950731846 140723950731846 140723950735339 0
/proc/25476/statm: 2378 345 289 221 0 87 0
[pid=25478] ppid=25476 vsize=13980732 memory=230264 CPUtime=2486.73 cores=0,2,4,6
/proc/25478/stat : 25478 (java) S 25476 25476 7968 0 -1 1077944320 182268 0 0 0 248498 175 0 0 20 0 15 0 30818844 14316269568 57566 18446744073709551615 4194304 4196468 140733321574032 140733321556576 140259225407223 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 31211520 140733321580978 140733321581154 140733321581154 140733321584591 0
/proc/25478/statm: 3495183 57566 3259 1 0 3483476 0
[pid=25478/tid=25479] ppid=25476 vsize=13980732 memory=229792 CPUtime=2426.33 cores=0,2,4,6
/proc/25478/task/25479/stat : 25479 (java) R 25476 25476 7968 0 -1 4202560 39248 0 0 0 242618 15 0 0 20 0 15 0 30818844 14316269568 57566 18446744073709551615 4194304 4196468 140733321574032 140259229646592 140258822856260 0 4 1 16800974 0 0 0 -1 0 0 0 4 0 0 6293624 6294260 31211520 140733321580978 140733321581154 140733321581154 140733321584591 0
[pid=25478/tid=25480] ppid=25476 vsize=13980732 memory=229792 CPUtime=12.11 cores=0,2,4,6
/proc/25478/task/25480/stat : 25480 (java) S 25476 25476 7968 0 -1 1077944384 15055 0 0 0 1186 25 0 0 20 0 15 0 30818845 14316269568 57566 18446744073709551615 4194304 4196468 140733321574032 140259144821136 140259225417429 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31211520 140733321580978 140733321581154 140733321581154 140733321584591 0
[pid=25478/tid=25481] ppid=25476 vsize=13980732 memory=1380 CPUtime=12.11 cores=0,2,4,6
/proc/25478/task/25481/stat : 25481 (java) S 25476 25476 7968 0 -1 1077944384 13853 0 0 0 1184 27 0 0 20 0 15 0 30818845 14316269568 57566 18446744073709551615 4194304 4196468 140733321574032 140259143768336 140259225417429 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31211520 140733321580978 140733321581154 140733321581154 140733321584591 0
[pid=25478/tid=25482] ppid=25476 vsize=13980732 memory=230264 CPUtime=12.11 cores=0,2,4,6
/proc/25478/task/25482/stat : 25482 (java) S 25476 25476 7968 0 -1 1077944384 12605 0 0 0 1185 26 0 0 20 0 15 0 30818845 14316269568 57566 18446744073709551615 4194304 4196468 140733321574032 140259142716048 140259225417429 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31211520 140733321580978 140733321581154 140733321581154 140733321584591 0
[pid=25478/tid=25483] ppid=25476 vsize=13980732 memory=1380 CPUtime=12.13 cores=0,2,4,6
/proc/25478/task/25483/stat : 25483 (java) S 25476 25476 7968 0 -1 1077944384 13699 0 0 0 1185 28 0 0 20 0 15 0 30818845 14316269568 57566 18446744073709551615 4194304 4196468 140733321574032 140259141663248 140259225417429 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31211520 140733321580978 140733321581154 140733321581154 140733321584591 0
[pid=25478/tid=25484] ppid=25476 vsize=13980732 memory=2353 CPUtime=2.06 cores=0,2,4,6
/proc/25478/task/25484/stat : 25484 (java) S 25476 25476 7968 0 -1 1077944384 29117 0 0 0 190 16 0 0 20 0 15 0 30818846 14316269568 57566 18446744073709551615 4194304 4196468 140733321574032 140258702764656 140259225418370 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31211520 140733321580978 140733321581154 140733321581154 140733321584591 0
[pid=25478/tid=25485] ppid=25476 vsize=13980732 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/25478/task/25485/stat : 25485 (java) S 25476 25476 7968 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 30818846 14316269568 57566 18446744073709551615 4194304 4196468 140733321574032 140258701710688 140259225417429 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31211520 140733321580978 140733321581154 140733321581154 140733321584591 0
[pid=25478/tid=25486] ppid=25476 vsize=13980732 memory=4124 CPUtime=0 cores=0,2,4,6
/proc/25478/task/25486/stat : 25486 (java) S 25476 25476 7968 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 15 0 30818847 14316269568 57566 18446744073709551615 4194304 4196468 140733321574032 140258700658304 140259225417429 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31211520 140733321580978 140733321581154 140733321581154 140733321584591 0
[pid=25478/tid=25487] ppid=25476 vsize=13980732 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/25478/task/25487/stat : 25487 (java) S 25476 25476 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 30818849 14316269568 57566 18446744073709551615 4194304 4196468 140733321574032 140258699606608 140259225425819 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31211520 140733321580978 140733321581154 140733321581154 140733321584591 0
[pid=25478/tid=25488] ppid=25476 vsize=13980732 memory=4124 CPUtime=4.07 cores=0,2,4,6
/proc/25478/task/25488/stat : 25488 (java) S 25476 25476 7968 0 -1 1077944384 21524 0 0 0 405 2 0 0 20 0 15 0 30818849 14316269568 57566 18446744073709551615 4194304 4196468 140733321574032 140258698553456 140259225418370 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31211520 140733321580978 140733321581154 140733321581154 140733321584591 0
[pid=25478/tid=25489] ppid=25476 vsize=13980732 memory=1380 CPUtime=4.02 cores=0,2,4,6
/proc/25478/task/25489/stat : 25489 (java) S 25476 25476 7968 0 -1 1077944384 22851 0 0 0 399 3 0 0 20 0 15 0 30818849 14316269568 57566 18446744073709551615 4194304 4196468 140733321574032 140258697500656 140259225418370 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31211520 140733321580978 140733321581154 140733321581154 140733321584591 0
[pid=25478/tid=25490] ppid=25476 vsize=13980732 memory=1380 CPUtime=0.82 cores=0,2,4,6
/proc/25478/task/25490/stat : 25490 (java) S 25476 25476 7968 0 -1 1077944384 11688 0 0 0 80 2 0 0 20 0 15 0 30818849 14316269568 57566 18446744073709551615 4194304 4196468 140733321574032 140258696448368 140259225418370 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31211520 140733321580978 140733321581154 140733321581154 140733321584591 0
[pid=25478/tid=25491] ppid=25476 vsize=13980732 memory=-8774313645642428999 CPUtime=0 cores=0,2,4,6
/proc/25478/task/25491/stat : 25491 (java) S 25476 25476 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 30818849 14316269568 57566 18446744073709551615 4194304 4196468 140733321574032 140258695395808 140259225417429 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31211520 140733321580978 140733321581154 140733321581154 140733321584591 0
[pid=25478/tid=25492] ppid=25476 vsize=13980732 memory=1588 CPUtime=0.87 cores=0,2,4,6
/proc/25478/task/25492/stat : 25492 (java) S 25476 25476 7968 0 -1 1077944384 1281 0 0 0 37 50 0 0 20 0 15 0 30818854 14316269568 57566 18446744073709551615 4194304 4196468 140733321574032 140258694343600 140259225418370 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 8 0 0 6293624 6294260 31211520 140733321580978 140733321581154 140733321581154 140733321584591 0
Current children cumulated CPU time: 2486.73 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 231644 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2474.8 s]
/proc/loadavg: 1.67 1.55 1.52 3/214 25817
/proc/meminfo: memFree=30573628/32770624 swapFree=67108860/67108860
[pid=25476] ppid=25473 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/25476/stat : 25476 (xcsp3-exec) S 25473 25476 7968 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 30818834 9740288 345 18446744073709551615 4194304 5098028 140723950725792 140723950723896 139694573302396 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 9 0 0 7196144 7232144 9371648 140723950731642 140723950731846 140723950731846 140723950735339 0
/proc/25476/statm: 2378 345 289 221 0 87 0
[pid=25478] ppid=25476 vsize=13980732 memory=229980 CPUtime=2520.06 cores=0,2,4,6
/proc/25478/stat : 25478 (java) S 25476 25476 7968 0 -1 1077944320 183442 0 0 0 251828 178 0 0 20 0 15 0 30818844 14316269568 57495 18446744073709551615 4194304 4196468 140733321574032 140733321556576 140259225407223 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 31211520 140733321580978 140733321581154 140733321581154 140733321584591 0
/proc/25478/statm: 3495183 57495 3259 1 0 3483476 0
[pid=25478/tid=25479] ppid=25476 vsize=13980732 memory=288230617509003574 CPUtime=2458.46 cores=0,2,4,6
/proc/25478/task/25479/stat : 25479 (java) R 25476 25476 7968 0 -1 4202560 39561 0 0 0 245831 15 0 0 20 0 15 0 30818844 14316269568 57495 18446744073709551615 4194304 4196468 140733321574032 140259229646944 140258821371621 0 4 1 16800974 0 0 0 -1 2 0 0 4 0 0 6293624 6294260 31211520 140733321580978 140733321581154 140733321581154 140733321584591 0
[pid=25478/tid=25480] ppid=25476 vsize=13980732 memory=14410436439181270 CPUtime=12.4 cores=0,2,4,6
/proc/25478/task/25480/stat : 25480 (java) S 25476 25476 7968 0 -1 1077944384 15163 0 0 0 1214 26 0 0 20 0 15 0 30818845 14316269568 57495 18446744073709551615 4194304 4196468 140733321574032 140259144821136 140259225417429 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31211520 140733321580978 140733321581154 140733321581154 140733321584591 0
[pid=25478/tid=25481] ppid=25476 vsize=13980732 memory=1200 CPUtime=12.39 cores=0,2,4,6
/proc/25478/task/25481/stat : 25481 (java) S 25476 25476 7968 0 -1 1077944384 14065 0 0 0 1212 27 0 0 20 0 15 0 30818845 14316269568 57495 18446744073709551615 4194304 4196468 140733321574032 140259143768336 140259225417429 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31211520 140733321580978 140733321581154 140733321581154 140733321584591 0
[pid=25478/tid=25482] ppid=25476 vsize=13980732 memory=15872 CPUtime=12.39 cores=0,2,4,6
/proc/25478/task/25482/stat : 25482 (java) S 25476 25476 7968 0 -1 1077944384 12876 0 0 0 1212 27 0 0 20 0 15 0 30818845 14316269568 57495 18446744073709551615 4194304 4196468 140733321574032 140259142716048 140259225417429 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31211520 140733321580978 140733321581154 140733321581154 140733321584591 0
[pid=25478/tid=25483] ppid=25476 vsize=13980732 memory=4040 CPUtime=12.41 cores=0,2,4,6
/proc/25478/task/25483/stat : 25483 (java) S 25476 25476 7968 0 -1 1077944384 13855 0 0 0 1212 29 0 0 20 0 15 0 30818845 14316269568 57495 18446744073709551615 4194304 4196468 140733321574032 140259141663248 140259225417429 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31211520 140733321580978 140733321581154 140733321581154 140733321584591 0
[pid=25478/tid=25484] ppid=25476 vsize=13980732 memory=16444 CPUtime=2.12 cores=0,2,4,6
/proc/25478/task/25484/stat : 25484 (java) S 25476 25476 7968 0 -1 1077944384 29229 0 0 0 195 17 0 0 20 0 15 0 30818846 14316269568 57495 18446744073709551615 4194304 4196468 140733321574032 140258702764656 140259225418370 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31211520 140733321580978 140733321581154 140733321581154 140733321584591 0
[pid=25478/tid=25485] ppid=25476 vsize=13980732 memory=12168 CPUtime=0 cores=0,2,4,6
/proc/25478/task/25485/stat : 25485 (java) S 25476 25476 7968 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 30818846 14316269568 57495 18446744073709551615 4194304 4196468 140733321574032 140258701710688 140259225417429 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31211520 140733321580978 140733321581154 140733321581154 140733321584591 0
[pid=25478/tid=25486] ppid=25476 vsize=13980732 memory=1236 CPUtime=0 cores=0,2,4,6
/proc/25478/task/25486/stat : 25486 (java) S 25476 25476 7968 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 15 0 30818847 14316269568 57495 18446744073709551615 4194304 4196468 140733321574032 140258700658304 140259225417429 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31211520 140733321580978 140733321581154 140733321581154 140733321584591 0
[pid=25478/tid=25487] ppid=25476 vsize=13980732 memory=640 CPUtime=0 cores=0,2,4,6
/proc/25478/task/25487/stat : 25487 (java) S 25476 25476 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 30818849 14316269568 57495 18446744073709551615 4194304 4196468 140733321574032 140258699606608 140259225425819 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31211520 140733321580978 140733321581154 140733321581154 140733321584591 0
[pid=25478/tid=25488] ppid=25476 vsize=13980732 memory=1792 CPUtime=4.07 cores=0,2,4,6
/proc/25478/task/25488/stat : 25488 (java) S 25476 25476 7968 0 -1 1077944384 21524 0 0 0 405 2 0 0 20 0 15 0 30818849 14316269568 57495 18446744073709551615 4194304 4196468 140733321574032 140258698553456 140259225418370 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31211520 140733321580978 140733321581154 140733321581154 140733321584591 0
[pid=25478/tid=25489] ppid=25476 vsize=13980732 memory=960 CPUtime=4.02 cores=0,2,4,6
/proc/25478/task/25489/stat : 25489 (java) S 25476 25476 7968 0 -1 1077944384 22851 0 0 0 399 3 0 0 20 0 15 0 30818849 14316269568 57495 18446744073709551615 4194304 4196468 140733321574032 140258697500656 140259225418370 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31211520 140733321580978 140733321581154 140733321581154 140733321584591 0
[pid=25478/tid=25490] ppid=25476 vsize=13980732 memory=2248 CPUtime=0.82 cores=0,2,4,6
/proc/25478/task/25490/stat : 25490 (java) S 25476 25476 7968 0 -1 1077944384 11688 0 0 0 80 2 0 0 20 0 15 0 30818849 14316269568 57495 18446744073709551615 4194304 4196468 140733321574032 140258696448368 140259225418370 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31211520 140733321580978 140733321581154 140733321581154 140733321584591 0
[pid=25478/tid=25491] ppid=25476 vsize=13980732 memory=4304 CPUtime=0 cores=0,2,4,6
/proc/25478/task/25491/stat : 25491 (java) S 25476 25476 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 30818849 14316269568 57495 18446744073709551615 4194304 4196468 140733321574032 140258695395808 140259225417429 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31211520 140733321580978 140733321581154 140733321581154 140733321584591 0
[pid=25478/tid=25492] ppid=25476 vsize=13980732 memory=2756 CPUtime=0.88 cores=0,2,4,6
/proc/25478/task/25492/stat : 25492 (java) S 25476 25476 7968 0 -1 1077944384 1283 0 0 0 38 50 0 0 20 0 15 0 30818854 14316269568 57495 18446744073709551615 4194304 4196468 140733321574032 140258694343600 140259225418370 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 8 0 0 6293624 6294260 31211520 140733321580978 140733321581154 140733321581154 140733321584591 0
Current children cumulated CPU time: 2520.06 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 231360 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2474.81 s]
# the end of solver process 25476 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2518.29 s, system=1.7859 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
Real time (s): 2474.81
CPU time (s): 2520.08
CPU user time (s): 2518.29
CPU system time (s): 1.7859
CPU usage (%): 101.829
Max. virtual memory (cumulated for all children) (KiB): 13990244
Max. memory (cumulated for all children) (KiB): 469548
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2518.29
system time used= 1.7859
maximum resident set size= 473292
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 184084
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2976
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 99691
involuntary context switches= 6167
# summary of solver processes directly reported to runsolver:
# pid: 25476
# total CPU time (s): 2520.08
# total CPU user time (s): 2518.29
# total CPU system time (s): 1.7859
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 13.7534 second user time and 24.8699 second system time
The end
Begin job on node128 at 2017-08-15 05:42:05 IDJOB=4272016 IDBENCH=126210 IDSOLVER=2664 FILE ID=node128/4272016-1502769362 RUNJOBID= node128-1502649221-29000 PBS_JOBID= Free space on /tmp= 62024 MiB SOLVER NAME= choco-solver 5a BENCH NAME= XCSP17/GolombRuler/GolombRuler-a3-s1/GolombRuler-14-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-4272016-1502769362/watcher-4272016-1502769362 -o /tmp/evaluation-result-4272016-1502769362/solver-4272016-1502769362 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node128-1502649221-29000 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 310523238 HOME/instance-4272016-1502769362.xml TIME LIMIT= 2520 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= a5381fa3d98671549d41a8d043d26ba4 RANDOM SEED=310523238 node128.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.94 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.94 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.94 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.94 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: 30797500 kB MemAvailable: 31658600 kB Buffers: 216292 kB Cached: 928724 kB SwapCached: 0 kB Active: 711896 kB Inactive: 841464 kB Active(anon): 408688 kB Inactive(anon): 16764 kB Active(file): 303208 kB Inactive(file): 824700 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 8008 kB Writeback: 4 kB AnonPages: 409748 kB Mapped: 49192 kB Shmem: 17116 kB Slab: 123628 kB SReclaimable: 98056 kB SUnreclaim: 25572 kB KernelStack: 3488 kB PageTables: 6188 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 1166624 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 299008 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 132480 kB DirectMap2M: 33413120 kB Free space on /tmp at the end= 62016 MiB End job on node128 at 2017-08-15 06:23:20