Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
choco-solver 4.0.5 par (2017-08-18) | SAT (TO) | 438 | 1928.91 | 252.11 |
Name | Scheduling/Scheduling-os-taillard/ Taillard-os-07-07-6.xml |
MD5SUM | c933cd09e9acfeb17baa8719fd3b3e7c |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | SAT TO |
Best value of the objective obtained on this benchmark | 436 |
Best CPU time to get the best result obtained on this benchmark | 251.933 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 203 |
Number of constraints | 168 |
Number of domains | 9 |
Minimum domain size | 6 |
Maximum domain size | 535 |
Distribution of domain sizes | [{"size":6,"count":7},{"size":7,"count":91},{"size":535,"count":105}] |
Minimum variable degree | 2 |
Maximum variable degree | 8 |
Distribution of variable degrees | [{"degree":2,"count":56},{"degree":3,"count":98},{"degree":8,"count":49}] |
Minimum constraint arity | 1 |
Maximum constraint arity | 9 |
Distribution of constraint arities | [{"arity":1,"count":7},{"arity":2,"count":49},{"arity":3,"count":49},{"arity":7,"count":14},{"arity":9,"count":49}] |
Number of extensional constraints | 49 |
Number of intensional constraints | 56 |
Distribution of constraint types | [{"type":"extension","count":49},{"type":"intension","count":56},{"type":"allDifferent","count":7},{"type":"noOverlap","count":7},{"type":"element","count":49}] |
Optimization problem | YES |
Type of objective | min MAXIMUM |
0.00/0.00 c java -server -Xmx22000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4281668-1503176722.xml" -tl '2016s' -p 8 -x 0 0.11/0.16 c [HOME/instance-4281668-1503176722.xml, -tl, 2016s, -p, 8, -x, 0] 0.11/0.21 c 8 solvers in parallel 0.31/0.28 c parse instance... 1.59/0.76 c solve instance... 17.77/2.80 o 534 20.71/3.22 o 533 21.98/3.42 o 532 28.25/4.28 o 529 42.82/6.11 o 528 42.82/6.12 o 527 42.82/6.14 o 526 42.82/6.14 o 525 43.21/6.24 o 524 43.21/6.24 o 523 43.72/6.38 o 522 47.12/6.80 o 521 47.12/6.81 o 520 47.12/6.82 o 519 47.12/6.82 o 518 47.12/6.83 o 517 47.12/6.83 o 516 47.12/6.84 o 515 47.12/6.84 o 514 47.12/6.84 o 513 47.12/6.85 o 512 47.12/6.85 o 511 47.12/6.85 o 510 47.12/6.86 o 509 47.12/6.87 o 508 47.12/6.87 o 507 47.12/6.87 o 506 47.12/6.89 o 505 47.12/6.89 o 504 47.12/6.90 o 503 47.66/6.90 o 502 48.17/7.12 o 501 48.17/7.14 o 500 48.17/7.17 o 499 48.17/7.18 o 498 48.54/7.20 o 497 48.54/7.22 o 496 48.54/7.25 o 495 48.54/7.25 o 494 48.54/7.26 o 493 48.54/7.26 o 492 48.54/7.26 o 491 48.54/7.29 o 490 49.02/7.30 o 489 49.02/7.32 o 488 49.02/7.33 o 487 49.02/7.35 o 486 49.02/7.35 o 485 49.02/7.35 o 484 49.02/7.36 o 483 49.02/7.36 o 482 49.02/7.36 o 481 50.23/7.82 o 480 50.23/7.82 o 479 50.23/7.82 o 478 50.23/7.82 o 477 50.23/7.83 o 476 50.23/7.85 o 475 50.61/8.04 o 474 50.61/8.05 o 473 50.61/8.05 o 472 50.61/8.05 o 471 50.61/8.06 o 470 50.61/8.06 o 469 51.40/8.27 o 468 51.40/8.28 o 467 51.40/8.28 o 466 51.40/8.28 o 465 51.40/8.28 o 464 51.40/8.29 o 463 52.51/8.44 o 462 52.51/8.45 o 461 57.24/9.14 o 460 57.24/9.15 o 459 57.24/9.15 o 458 66.29/10.35 o 457 70.29/10.92 o 456 71.33/11.20 o 455 72.63/11.69 o 454 77.06/12.35 o 453 84.80/13.66 o 452 91.80/15.10 o 451 102.19/16.48 o 450 107.89/17.46 o 449 156.24/23.75 o 448 184.27/27.50 o 447 203.40/30.10 o 446 218.24/32.32 o 445 244.33/35.70 o 444 377.14/52.74 o 443 411.56/57.53 o 442 417.67/58.30 o 441 420.00/59.89 o 440 651.77/89.23 o 439 729.65/100.30 o 438 1928.20/252.08 s SATISFIABLE 1928.20/252.08 v <instantiation> 1928.20/252.08 v <list>s[0][0] s[0][1] s[0][2] s[0][3] s[0][4] s[0][5] s[0][6] s[1][0] s[1][1] s[1][2] s[1][3] s[1][4] s[1][5] s[1][6] s[2][0] s[2][1] s[2][2] s[2][3] s[2][4] s[2][5] s[2][6] s[3][0] s[3][1] s[3][2] s[3][3] s[3][4] s[3][5] s[3][6] s[4][0] s[4][1] s[4][2] s[4][3] s[4][4] s[4][5] s[4][6] s[5][0] s[5][1] s[5][2] s[5][3] s[5][4] s[5][5] s[5][6] s[6][0] s[6][1] s[6][2] s[6][3] s[6][4] s[6][5] s[6][6] e[0] e[1] e[2] e[3] e[4] e[5] e[6] d[0][0] d[0][1] d[0][2] d[0][3] d[0][4] d[0][5] d[0][6] d[1][0] d[1][1] d[1][2] d[1][3] d[1][4] d[1][5] d[1][6] d[2][0] d[2][1] d[2][2] d[2][3] d[2][4] d[2][5] d[2][6] d[3][0] d[3][1] d[3][2] d[3][3] d[3][4] d[3][5] d[3][6] d[4][0] d[4][1] d[4][2] d[4][3] d[4][4] d[4][5] d[4][6] d[5][0] d[5][1] d[5][2] d[5][3] d[5][4] d[5][5] d[5][6] d[6][0] d[6][1] d[6][2] d[6][3] d[6][4] d[6][5] d[6][6] w[0][0] w[0][1] w[0][2] w[0][3] w[0][4] w[0][5] w[0][6] w[1][0] w[1][1] w[1][2] w[1][3] w[1][4] w[1][5] w[1][6] w[2][0] w[2][1] w[2][2] w[2][3] w[2][4] w[2][5] w[2][6] w[3][0] w[3][1] w[3][2] w[3][3] w[3][4] w[3][5] w[3][6] w[4][0] w[4][1] w[4][2] w[4][3] w[4][4] w[4][5] w[4][6] w[5][0] w[5][1] w[5][2] w[5][3] w[5][4] w[5][5] w[5][6] w[6][0] w[6][1] w[6][2] w[6][3] w[6][4] w[6][5] w[6][6] sd[0][0] sd[0][1] sd[0][2] sd[0][3] sd[0][4] sd[0][5] sd[0][6] sd[1][0] sd[1][1] sd[1][2] sd[1][3] sd[1][4] sd[1][5] sd[1][6] sd[2][0] sd[2][1] sd[2][2] sd[2][3] sd[2][4] sd[2][5] sd[2][6] sd[3][0] sd[3][1] sd[3][2] sd[3][3] sd[3][4] sd[3][5] sd[3][6] sd[4][0] sd[4][1] sd[4][2] sd[4][3] sd[4][4] sd[4][5] sd[4][6] sd[5][0] sd[5][1] sd[5][2] sd[5][3] sd[5][4] sd[5][5] sd[5][6] sd[6][0] sd[6][1] sd[6][2] sd[6][3] sd[6][4] sd[6][5] sd[6][6] </list> 1928.20/252.08 v <values>4 13 119 196 282 378 433 18 96 171 200 259 320 379 2 86 180 195 260 325 357 0 25 53 146 221 308 336 1 11 83 102 216 320 376 12 86 111 148 211 282 358 19 64 165 212 262 319 406 438 437 438 433 435 438 437 9 98 76 66 94 25 5 46 69 25 56 59 30 58 82 84 15 64 60 6 81 10 28 93 66 61 28 97 10 72 19 78 99 56 59 71 10 32 63 69 76 80 34 95 47 48 46 87 31 1 3 4 5 2 6 0 0 2 5 6 4 1 3 2 5 6 4 3 0 1 4 6 1 3 2 5 0 0 5 4 6 1 3 2 4 2 3 1 0 6 5 1 0 2 3 5 4 6 433 4 282 13 119 196 378 18 320 96 379 259 171 200 325 357 2 260 195 86 180 336 53 221 146 0 308 25 1 216 376 320 83 11 102 211 148 86 111 12 358 282 64 19 165 212 319 262 406 </values> 1928.20/252.08 v </instantiation> 1928.20/252.08 c Unexpected resolution interruption!
OK 438
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 (11835 MiB free) memory of node 1: 16384 MiB (11200 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4281668-1503176722/watcher-4281668-1503176722 -o /tmp/evaluation-result-4281668-1503176722/solver-4281668-1503176722 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node149-1503165268-26491 --watchdog 312 ./xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 22000 -tdir HOME -seed 2141790350 HOME/instance-4281668-1503176722.xml running on 8 cores: 0,2,4,6,1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2016 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2046 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB Linux 3.10.0-514.16.1.el7.x86_64 Starting watchdog thread Current StackSize limit: 8192 KiB solver pid=29237, runsolver pid=29234 [startup+0.110272 s]* /proc/loadavg: 6.15 7.26 7.86 2/199 29258 /proc/meminfo: memFree=23573708/32770624 swapFree=67108860/67108860 [pid=29237] ppid=29234 vsize=9512 memory=1384 CPUtime=0 cores=0-7 /proc/29237/stat : 29237 (xcsp3-exec) S 29234 29237 26464 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 150752905 9740288 346 33554432000 4194304 5098028 140734083684112 140734083682216 140333098754684 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 39161856 140734083687530 140734083687740 140734083687740 140734083690475 0 /proc/29237/statm: 2378 346 289 221 0 87 0 [pid=29239] ppid=29237 vsize=25999808 memory=26560 CPUtime=0.11 cores=0-7 /proc/29239/stat : 29239 (java) S 29237 29237 26464 0 -1 1077944320 5557 0 0 0 9 2 0 0 20 0 20 0 150752905 26623803392 6640 33554432000 4194304 4196468 140729218884336 140729218866880 140356952723191 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 36380672 140729218888856 140729218889032 140729218889032 140729218891727 0 /proc/29239/statm: 6499952 6640 2838 1 0 6488269 0 [pid=29239/tid=29240] ppid=29237 vsize=25999808 memory=4134930498285298233 CPUtime=0.08 cores=0-7 /proc/29239/task/29240/stat : 29240 (java) R 29237 29237 26464 0 -1 4202560 3549 0 0 0 7 1 0 0 20 0 20 0 150752905 26623803392 6640 33554432000 4194304 4196468 140729218884336 140356956941056 140356936766821 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 36380672 140729218888856 140729218889032 140729218889032 140729218891727 0 [pid=29239/tid=29241] ppid=29237 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/29239/task/29241/stat : 29241 (java) S 29237 29237 26464 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 150752906 26623803392 6640 33554432000 4194304 4196468 140729218884336 140356915829008 140356952733397 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36380672 140729218888856 140729218889032 140729218889032 140729218891727 0 [pid=29239/tid=29242] ppid=29237 vsize=25999808 memory=140367400629888 CPUtime=0 cores=0-7 /proc/29239/task/29242/stat : 29242 (java) S 29237 29237 26464 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 150752906 26623803392 6640 33554432000 4194304 4196468 140729218884336 140356509628816 140356952733397 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36380672 140729218888856 140729218889032 140729218889032 140729218891727 0 [pid=29239/tid=29243] ppid=29237 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/29239/task/29243/stat : 29243 (java) S 29237 29237 26464 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 150752906 26623803392 6640 33554432000 4194304 4196468 140729218884336 140356508576272 140356952733397 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36380672 140729218888856 140729218889032 140729218889032 140729218891727 0 [pid=29239/tid=29244] ppid=29237 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/29239/task/29244/stat : 29244 (java) S 29237 29237 26464 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150752906 26623803392 6640 33554432000 4194304 4196468 140729218884336 140356507523728 140356952733397 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36380672 140729218888856 140729218889032 140729218889032 140729218891727 0 [pid=29239/tid=29245] ppid=29237 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/29239/task/29245/stat : 29245 (java) S 29237 29237 26464 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150752906 26623803392 6640 33554432000 4194304 4196468 140729218884336 140356506471184 140356952733397 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36380672 140729218888856 140729218889032 140729218889032 140729218891727 0 [pid=29239/tid=29246] ppid=29237 vsize=25999808 memory=-1 CPUtime=0 cores=0-7 /proc/29239/task/29246/stat : 29246 (java) S 29237 29237 26464 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 150752906 26623803392 6640 33554432000 4194304 4196468 140729218884336 140356505418640 140356952733397 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36380672 140729218888856 140729218889032 140729218889032 140729218891727 0 [pid=29239/tid=29247] ppid=29237 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/29239/task/29247/stat : 29247 (java) S 29237 29237 26464 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150752906 26623803392 6640 33554432000 4194304 4196468 140729218884336 140356504366096 140356952733397 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36380672 140729218888856 140729218889032 140729218889032 140729218891727 0 [pid=29239/tid=29248] ppid=29237 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/29239/task/29248/stat : 29248 (java) S 29237 29237 26464 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 150752906 26623803392 6640 33554432000 4194304 4196468 140729218884336 140356503313552 140356952733397 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36380672 140729218888856 140729218889032 140729218889032 140729218891727 0 [pid=29239/tid=29249] ppid=29237 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/29239/task/29249/stat : 29249 (java) S 29237 29237 26464 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 150752908 26623803392 6640 33554432000 4194304 4196468 140729218884336 140356013008880 140356952734338 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36380672 140729218888856 140729218889032 140729218889032 140729218891727 0 [pid=29239/tid=29250] ppid=29237 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/29239/task/29250/stat : 29250 (java) S 29237 29237 26464 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 150752908 26623803392 6640 33554432000 4194304 4196468 140729218884336 140356011955104 140356952733397 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36380672 140729218888856 140729218889032 140729218889032 140729218891727 0 [pid=29239/tid=29251] ppid=29237 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/29239/task/29251/stat : 29251 (java) S 29237 29237 26464 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 150752908 26623803392 6640 33554432000 4194304 4196468 140729218884336 140356010902512 140356952733397 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36380672 140729218888856 140729218889032 140729218889032 140729218891727 0 [pid=29239/tid=29252] ppid=29237 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/29239/task/29252/stat : 29252 (java) S 29237 29237 26464 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150752911 26623803392 6640 33554432000 4194304 4196468 140729218884336 140356009851088 140356952741787 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36380672 140729218888856 140729218889032 140729218889032 140729218891727 0 [pid=29239/tid=29253] ppid=29237 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/29239/task/29253/stat : 29253 (java) S 29237 29237 26464 0 -1 1077944384 316 0 0 0 0 0 0 0 20 0 20 0 150752911 26623803392 6640 33554432000 4194304 4196468 140729218884336 140356008798704 140356952734338 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36380672 140729218888856 140729218889032 140729218889032 140729218891727 0 [pid=29239/tid=29254] ppid=29237 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/29239/task/29254/stat : 29254 (java) S 29237 29237 26464 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 150752911 26623803392 6640 33554432000 4194304 4196468 140729218884336 140356007746160 140356952734338 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36380672 140729218888856 140729218889032 140729218889032 140729218891727 0 [pid=29239/tid=29255] ppid=29237 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/29239/task/29255/stat : 29255 (java) S 29237 29237 26464 0 -1 1077944384 121 0 0 0 0 0 0 0 20 0 20 0 150752911 26623803392 6640 33554432000 4194304 4196468 140729218884336 140356006693616 140356952734338 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36380672 140729218888856 140729218889032 140729218889032 140729218891727 0 [pid=29239/tid=29256] ppid=29237 vsize=25999808 memory=0 CPUtime=0.01 cores=0-7 /proc/29239/task/29256/stat : 29256 (java) S 29237 29237 26464 0 -1 1077944384 256 0 0 0 1 0 0 0 20 0 20 0 150752911 26623803392 6640 33554432000 4194304 4196468 140729218884336 140356005641072 140356952734338 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36380672 140729218888856 140729218889032 140729218889032 140729218891727 0 [pid=29239/tid=29257] ppid=29237 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/29239/task/29257/stat : 29257 (java) S 29237 29237 26464 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 150752911 26623803392 6640 33554432000 4194304 4196468 140729218884336 140356004587744 140356952733397 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36380672 140729218888856 140729218889032 140729218889032 140729218891727 0 [pid=29239/tid=29258] ppid=29237 vsize=25999808 memory=-1 CPUtime=0 cores=0-7 /proc/29239/task/29258/stat : 29258 (java) S 29237 29237 26464 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150752912 26623803392 6640 33554432000 4194304 4196468 140729218884336 140356003535280 140356952734338 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36380672 140729218888856 140729218889032 140729218889032 140729218891727 0 Current children cumulated CPU time: 0.11 s Current children cumulated vsize: 26009320 KiB Current children cumulated memory: 27944 KiB [startup+0.214252 s]* /proc/loadavg: 6.15 7.26 7.86 3/199 29258 /proc/meminfo: memFree=23564204/32770624 swapFree=67108860/67108860 [pid=29237] ppid=29234 vsize=9512 memory=1384 CPUtime=0 cores=0-7 /proc/29237/stat : 29237 (xcsp3-exec) S 29234 29237 26464 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 150752905 9740288 346 33554432000 4194304 5098028 140734083684112 140734083682216 140333098754684 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 39161856 140734083687530 140734083687740 140734083687740 140734083690475 0 /proc/29237/statm: 2378 346 289 221 0 87 0 [pid=29239] ppid=29237 vsize=26004064 memory=36784 CPUtime=0.31 cores=0-7 /proc/29239/stat : 29239 (java) S 29237 29237 26464 0 -1 1077944320 8328 0 0 0 29 2 0 0 20 0 20 0 150752905 26628161536 9196 33554432000 4194304 4196468 140729218884336 140729218866880 140356952723191 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 36380672 140729218888856 140729218889032 140729218889032 140729218891727 0 /proc/29239/statm: 6501016 9196 3042 1 0 6488269 0 [pid=29239/tid=29240] ppid=29237 vsize=26004064 memory=8318255677412212789 CPUtime=0.18 cores=0-7 /proc/29239/task/29240/stat : 29240 (java) R 29237 29237 26464 0 -1 4202560 5415 0 0 0 17 1 0 0 20 0 20 0 150752905 26628161536 9196 33554432000 4194304 4196468 140729218884336 140356956927936 140356936803678 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 36380672 140729218888856 140729218889032 140729218889032 140729218891727 0 [pid=29239/tid=29241] ppid=29237 vsize=26004064 memory=330 CPUtime=0 cores=0-7 /proc/29239/task/29241/stat : 29241 (java) S 29237 29237 26464 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 150752906 26628161536 9196 33554432000 4194304 4196468 140729218884336 140356915829008 140356952733397 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36380672 140729218888856 140729218889032 140729218889032 140729218891727 0 [pid=29239/tid=29242] ppid=29237 vsize=26004064 memory=140367401639944 CPUtime=0 cores=0-7 /proc/29239/task/29242/stat : 29242 (java) S 29237 29237 26464 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 150752906 26628161536 9196 33554432000 4194304 4196468 140729218884336 140356509628816 140356952733397 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36380672 140729218888856 140729218889032 140729218889032 140729218891727 0 [pid=29239/tid=29243] ppid=29237 vsize=26004064 memory=-1 CPUtime=0 cores=0-7 /proc/29239/task/29243/stat : 29243 (java) S 29237 29237 26464 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 150752906 26628161536 9196 33554432000 4194304 4196468 140729218884336 140356508576272 140356952733397 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36380672 140729218888856 140729218889032 140729218889032 140729218891727 0 [pid=29239/tid=29244] ppid=29237 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/29239/task/29244/stat : 29244 (java) S 29237 29237 26464 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150752906 26628161536 9196 33554432000 4194304 4196468 140729218884336 140356507523728 140356952733397 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36380672 140729218888856 140729218889032 140729218889032 140729218891727 0 [pid=29239/tid=29245] ppid=29237 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/29239/task/29245/stat : 29245 (java) S 29237 29237 26464 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150752906 26628161536 9196 33554432000 4194304 4196468 140729218884336 140356506471184 140356952733397 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36380672 140729218888856 140729218889032 140729218889032 140729218891727 0 [pid=29239/tid=29246] ppid=29237 vsize=26004064 memory=-1 CPUtime=0 cores=0-7 /proc/29239/task/29246/stat : 29246 (java) S 29237 29237 26464 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 150752906 26628161536 9196 33554432000 4194304 4196468 140729218884336 140356505418640 140356952733397 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36380672 140729218888856 140729218889032 140729218889032 140729218891727 0 [pid=29239/tid=29247] ppid=29237 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/29239/task/29247/stat : 29247 (java) S 29237 29237 26464 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150752906 26628161536 9196 33554432000 4194304 4196468 140729218884336 140356504366096 140356952733397 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36380672 140729218888856 140729218889032 140729218889032 140729218891727 0 [pid=29239/tid=29248] ppid=29237 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/29239/task/29248/stat : 29248 (java) S 29237 29237 26464 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 150752906 26628161536 9196 33554432000 4194304 4196468 140729218884336 140356503313552 140356952733397 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36380672 140729218888856 140729218889032 140729218889032 140729218891727 0 [pid=29239/tid=29249] ppid=29237 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/29239/task/29249/stat : 29249 (java) S 29237 29237 26464 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 150752908 26628161536 9196 33554432000 4194304 4196468 140729218884336 140356013008880 140356952734338 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36380672 140729218888856 140729218889032 140729218889032 140729218891727 0 [pid=29239/tid=29250] ppid=29237 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/29239/task/29250/stat : 29250 (java) S 29237 29237 26464 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 150752908 26628161536 9196 33554432000 4194304 4196468 140729218884336 140356011955104 140356952733397 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36380672 140729218888856 140729218889032 140729218889032 140729218891727 0 [pid=29239/tid=29251] ppid=29237 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/29239/task/29251/stat : 29251 (java) S 29237 29237 26464 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 150752908 26628161536 9196 33554432000 4194304 4196468 140729218884336 140356010902512 140356952733397 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36380672 140729218888856 140729218889032 140729218889032 140729218891727 0 [pid=29239/tid=29252] ppid=29237 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/29239/task/29252/stat : 29252 (java) S 29237 29237 26464 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150752911 26628161536 9196 33554432000 4194304 4196468 140729218884336 140356009851088 140356952741787 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36380672 140729218888856 140729218889032 140729218889032 140729218891727 0 [pid=29239/tid=29253] ppid=29237 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/29239/task/29253/stat : 29253 (java) R 29237 29237 26464 0 -1 1077944384 317 0 0 0 0 0 0 0 20 0 20 0 150752911 26628161536 9196 33554432000 4194304 4196468 140729218884336 140356008798704 140356952734338 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 36380672 140729218888856 140729218889032 140729218889032 140729218891727 0 [pid=29239/tid=29254] ppid=29237 vsize=26004064 memory=0 CPUtime=0.02 cores=0-7 /proc/29239/task/29254/stat : 29254 (java) S 29237 29237 26464 0 -1 1077944384 355 0 0 0 2 0 0 0 20 0 20 0 150752911 26628161536 9196 33554432000 4194304 4196468 140729218884336 140356007746160 140356952734338 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36380672 140729218888856 140729218889032 140729218889032 140729218891727 0 [pid=29239/tid=29255] ppid=29237 vsize=26004064 memory=-1 CPUtime=0.01 cores=0-7 /proc/29239/task/29255/stat : 29255 (java) R 29237 29237 26464 0 -1 4202560 210 0 0 0 1 0 0 0 20 0 20 0 150752911 26628161536 9196 33554432000 4194304 4196468 140729218884336 140356006693616 140356945708233 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 36380672 140729218888856 140729218889032 140729218889032 140729218891727 0 [pid=29239/tid=29256] ppid=29237 vsize=26004064 memory=-1 CPUtime=0.07 cores=0-7 /proc/29239/task/29256/stat : 29256 (java) S 29237 29237 26464 0 -1 1077944384 719 0 0 0 7 0 0 0 20 0 20 0 150752911 26628161536 9196 33554432000 4194304 4196468 140729218884336 140356005641072 140356952734338 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36380672 140729218888856 140729218889032 140729218889032 140729218891727 0 [pid=29239/tid=29257] ppid=29237 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/29239/task/29257/stat : 29257 (java) S 29237 29237 26464 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 150752911 26628161536 9196 33554432000 4194304 4196468 140729218884336 140356004587744 140356952733397 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36380672 140729218888856 140729218889032 140729218889032 140729218891727 0 [pid=29239/tid=29258] ppid=29237 vsize=26004064 memory=-1 CPUtime=0 cores=0-7 /proc/29239/task/29258/stat : 29258 (java) S 29237 29237 26464 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150752912 26628161536 9196 33554432000 4194304 4196468 140729218884336 140356003535280 140356952734338 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36380672 140729218888856 140729218889032 140729218889032 140729218891727 0 Current children cumulated CPU time: 0.31 s Current children cumulated vsize: 26013576 KiB Current children cumulated memory: 38168 KiB [startup+0.31025 s]* /proc/loadavg: 6.15 7.26 7.86 2/199 29258 /proc/meminfo: memFree=23558000/32770624 swapFree=67108860/67108860 [pid=29237] ppid=29234 vsize=9512 memory=1384 CPUtime=0 cores=0-7 /proc/29237/stat : 29237 (xcsp3-exec) S 29234 29237 26464 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 150752905 9740288 346 33554432000 4194304 5098028 140734083684112 140734083682216 140333098754684 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 39161856 140734083687530 140734083687740 140734083687740 140734083690475 0 /proc/29237/statm: 2378 346 289 221 0 87 0 [pid=29239] ppid=29237 vsize=26004064 memory=43700 CPUtime=0.45 cores=0-7 /proc/29239/stat : 29239 (java) S 29237 29237 26464 0 -1 1077944320 9086 0 0 0 42 3 0 0 20 0 20 0 150752905 26628161536 10925 33554432000 4194304 4196468 140729218884336 140729218866880 140356952723191 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 36380672 140729218888856 140729218889032 140729218889032 140729218891727 0 /proc/29239/statm: 6501016 10925 3087 1 0 6488269 0 [pid=29239/tid=29240] ppid=29237 vsize=26004064 memory=6791534058613427641 CPUtime=0.27 cores=0-7 /proc/29239/task/29240/stat : 29240 (java) R 29237 29237 26464 0 -1 4202560 6112 0 0 0 25 2 0 0 20 0 20 0 150752905 26628161536 10925 33554432000 4194304 4196468 140729218884336 140356956960704 140356952745117 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 36380672 140729218888856 140729218889032 140729218889032 140729218891727 0 [pid=29239/tid=29241] ppid=29237 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/29239/task/29241/stat : 29241 (java) S 29237 29237 26464 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 150752906 26628161536 10925 33554432000 4194304 4196468 140729218884336 140356915829008 140356952733397 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36380672 140729218888856 140729218889032 140729218889032 140729218891727 0 [pid=29239/tid=29242] ppid=29237 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/29239/task/29242/stat : 29242 (java) S 29237 29237 26464 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 150752906 26628161536 10925 33554432000 4194304 4196468 140729218884336 140356509628816 140356952733397 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36380672 140729218888856 140729218889032 140729218889032 140729218891727 0 [pid=29239/tid=29243] ppid=29237 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/29239/task/29243/stat : 29243 (java) S 29237 29237 26464 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 150752906 26628161536 10925 33554432000 4194304 4196468 140729218884336 140356508576272 140356952733397 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36380672 140729218888856 140729218889032 140729218889032 140729218891727 0 [pid=29239/tid=29244] ppid=29237 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/29239/task/29244/stat : 29244 (java) S 29237 29237 26464 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150752906 26628161536 10925 33554432000 4194304 4196468 140729218884336 140356507523728 140356952733397 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36380672 140729218888856 140729218889032 140729218889032 140729218891727 0 [pid=29239/tid=29245] ppid=29237 vsize=26004064 memory=2244 CPUtime=0 cores=0-7 /proc/29239/task/29245/stat : 29245 (java) S 29237 29237 26464 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150752906 26628161536 10925 33554432000 4194304 4196468 140729218884336 140356506471184 140356952733397 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36380672 140729218888856 140729218889032 140729218889032 140729218891727 0 [pid=29239/tid=29246] ppid=29237 vsize=26004064 memory=140367248847791 CPUtime=0 cores=0-7 /proc/29239/task/29246/stat : 29246 (java) S 29237 29237 26464 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 150752906 26628161536 10925 33554432000 4194304 4196468 140729218884336 140356505418640 140356952733397 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36380672 140729218888856 140729218889032 140729218889032 140729218891727 0 [pid=29239/tid=29247] ppid=29237 vsize=26004064 memory=140367248850096 CPUtime=0 cores=0-7 /proc/29239/task/29247/stat : 29247 (java) S 29237 29237 26464 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150752906 26628161536 10925 33554432000 4194304 4196468 140729218884336 140356504366096 140356952733397 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36380672 140729218888856 140729218889032 140729218889032 140729218891727 0 [pid=29239/tid=29248] ppid=29237 vsize=26004064 memory=140367248852400 CPUtime=0 cores=0-7 /proc/29239/task/29248/stat : 29248 (java) S 29237 29237 26464 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 150752906 26628161536 10925 33554432000 4194304 4196468 140729218884336 140356503313552 140356952733397 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36380672 140729218888856 140729218889032 140729218889032 140729218891727 0 [pid=29239/tid=29249] ppid=29237 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/29239/task/29249/stat : 29249 (java) S 29237 29237 26464 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 150752908 26628161536 10925 33554432000 4194304 4196468 140729218884336 140356013008880 140356952734338 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36380672 140729218888856 140729218889032 140729218889032 140729218891727 0 [pid=29239/tid=29250] ppid=29237 vsize=26004064 memory=280734497711760 CPUtime=0 cores=0-7 /proc/29239/task/29250/stat : 29250 (java) S 29237 29237 26464 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 150752908 26628161536 10925 33554432000 4194304 4196468 140729218884336 140356011955104 140356952733397 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36380672 140729218888856 140729218889032 140729218889032 140729218891727 0 [pid=29239/tid=29251] ppid=29237 vsize=26004064 memory=280734497718672 CPUtime=0 cores=0-7 /proc/29239/task/29251/stat : 29251 (java) S 29237 29237 26464 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 150752908 26628161536 10925 33554432000 4194304 4196468 140729218884336 140356010902512 140356952733397 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36380672 140729218888856 140729218889032 140729218889032 140729218891727 0 [pid=29239/tid=29252] ppid=29237 vsize=26004064 memory=280734497659952 CPUtime=0 cores=0-7 /proc/29239/task/29252/stat : 29252 (java) S 29237 29237 26464 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150752911 26628161536 10925 33554432000 4194304 4196468 140729218884336 140356009851088 140356952741787 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36380672 140729218888856 140729218889032 140729218889032 140729218891727 0 [pid=29239/tid=29253] ppid=29237 vsize=26004064 memory=280734497732496 CPUtime=0.01 cores=0-7 /proc/29239/task/29253/stat : 29253 (java) R 29237 29237 26464 0 -1 4202560 332 0 0 0 1 0 0 0 20 0 20 0 150752911 26628161536 10925 33554432000 4194304 4196468 140729218884336 140356008798704 140356937604889 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 36380672 140729218888856 140729218889032 140729218889032 140729218891727 0 [pid=29239/tid=29254] ppid=29237 vsize=26004064 memory=280734497739408 CPUtime=0.02 cores=0-7 /proc/29239/task/29254/stat : 29254 (java) S 29237 29237 26464 0 -1 1077944384 361 0 0 0 2 0 0 0 20 0 20 0 150752911 26628161536 10925 33554432000 4194304 4196468 140729218884336 140356007746160 140356952734338 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36380672 140729218888856 140729218889032 140729218889032 140729218891727 0 [pid=29239/tid=29255] ppid=29237 vsize=26004064 memory=280734497737104 CPUtime=0.02 cores=0-7 /proc/29239/task/29255/stat : 29255 (java) S 29237 29237 26464 0 -1 1077944384 215 0 0 0 2 0 0 0 20 0 20 0 150752911 26628161536 10925 33554432000 4194304 4196468 140729218884336 140356006693616 140356952734338 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36380672 140729218888856 140729218889032 140729218889032 140729218891727 0 [pid=29239/tid=29256] ppid=29237 vsize=26004064 memory=280734497753264 CPUtime=0.1 cores=0-7 /proc/29239/task/29256/stat : 29256 (java) S 29237 29237 26464 0 -1 1077944384 754 0 0 0 10 0 0 0 20 0 20 0 150752911 26628161536 10925 33554432000 4194304 4196468 140729218884336 140356005641072 140356952734338 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36380672 140729218888856 140729218889032 140729218889032 140729218891727 0 [pid=29239/tid=29257] ppid=29237 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/29239/task/29257/stat : 29257 (java) S 29237 29237 26464 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 150752911 26628161536 10925 33554432000 4194304 4196468 140729218884336 140356004587744 140356952733397 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36380672 140729218888856 140729218889032 140729218889032 140729218891727 0 [pid=29239/tid=29258] ppid=29237 vsize=26004064 memory=-1 CPUtime=0 cores=0-7 /proc/29239/task/29258/stat : 29258 (java) S 29237 29237 26464 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150752912 26628161536 10925 33554432000 4194304 4196468 140729218884336 140356003535280 140356952734338 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36380672 140729218888856 140729218889032 140729218889032 140729218891727 0 Current children cumulated CPU time: 0.45 s Current children cumulated vsize: 26013576 KiB Current children cumulated memory: 45084 KiB [startup+0.700961 s] /proc/loadavg: 6.15 7.26 7.86 6/199 29258 /proc/meminfo: memFree=23541996/32770624 swapFree=67108860/67108860 [pid=29237] ppid=29234 vsize=9512 memory=1384 CPUtime=0 cores=0-7 /proc/29237/stat : 29237 (xcsp3-exec) S 29234 29237 26464 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 150752905 9740288 346 33554432000 4194304 5098028 140734083684112 140734083682216 140333098754684 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 39161856 140734083687530 140734083687740 140734083687740 140734083690475 0 /proc/29237/statm: 2378 346 289 221 0 87 0 [pid=29239] ppid=29237 vsize=26006188 memory=84700 CPUtime=1.59 cores=0-7 /proc/29239/stat : 29239 (java) S 29237 29237 26464 0 -1 1077944320 12923 0 0 0 154 5 0 0 20 0 20 0 150752905 26630336512 21175 33554432000 4194304 4196468 140729218884336 140729218866880 140356952723191 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 36380672 140729218888856 140729218889032 140729218889032 140729218891727 0 /proc/29239/statm: 6501547 21175 3207 1 0 6488781 0 [pid=29239/tid=29240] ppid=29237 vsize=26006188 memory=280734498111152 CPUtime=0.65 cores=0-7 /proc/29239/task/29240/stat : 29240 (java) R 29237 29237 26464 0 -1 4202560 7034 0 0 0 62 3 0 0 20 0 20 0 150752905 26630336512 21175 33554432000 4194304 4196468 140729218884336 140356956960560 140356952745117 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 36380672 140729218888856 140729218889032 140729218889032 140729218891727 0 [pid=29239/tid=29241] ppid=29237 vsize=26006188 memory=140367249056624 CPUtime=0 cores=0-7 /proc/29239/task/29241/stat : 29241 (java) S 29237 29237 26464 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 150752906 26630336512 21175 33554432000 4194304 4196468 140729218884336 140356915829008 140356952733397 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36380672 140729218888856 140729218889032 140729218889032 140729218891727 0 [pid=29239/tid=29242] ppid=29237 vsize=26006188 memory=0 CPUtime=0 cores=0-7 /proc/29239/task/29242/stat : 29242 (java) S 29237 29237 26464 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 150752906 26630336512 21175 33554432000 4194304 4196468 140729218884336 140356509628816 140356952733397 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36380672 140729218888856 140729218889032 140729218889032 140729218891727 0 [pid=29239/tid=29243] ppid=29237 vsize=26006188 memory=8740 CPUtime=0 cores=0-7 /proc/29239/task/29243/stat : 29243 (java) S 29237 29237 26464 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 150752906 26630336512 21175 33554432000 4194304 4196468 140729218884336 140356508576272 140356952733397 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36380672 140729218888856 140729218889032 140729218889032 140729218891727 0 ################ # More data... # ################ [pid=29239/tid=30025] ppid=29237 vsize=26807004 memory=2244 CPUtime=60.96 cores=0-7 /proc/29239/task/30025/stat : 30025 (java) R 29237 29237 26464 0 -1 4202560 146 0 0 0 6096 0 0 0 20 0 28 0 150762935 27450372096 70808 33554432000 4194304 4196468 140729218884336 140355995524752 140356598829030 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36380672 140729218888856 140729218889032 140729218889032 140729218891727 0 Current children cumulated CPU time: 1219.57 s Current children cumulated vsize: 26816516 KiB Current children cumulated memory: 284616 KiB [startup+222.301 s] /proc/loadavg: 8.18 7.60 7.85 9/207 30025 /proc/meminfo: memFree=23259564/32770624 swapFree=67108860/67108860 [pid=29237] ppid=29234 vsize=9512 memory=1384 CPUtime=0 cores=0-7 /proc/29237/stat : 29237 (xcsp3-exec) S 29234 29237 26464 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 150752905 9740288 346 33554432000 4194304 5098028 140734083684112 140734083682216 140333098754684 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 39161856 140734083687530 140734083687740 140734083687740 140734083690475 0 /proc/29237/statm: 2378 346 289 221 0 87 0 [pid=29239] ppid=29237 vsize=26807004 memory=345756 CPUtime=1693.43 cores=0-7 /proc/29239/stat : 29239 (java) S 29237 29237 26464 0 -1 1077944320 144761 0 0 0 169168 175 0 0 20 0 28 0 150752905 27450372096 86439 33554432000 4194304 4196468 140729218884336 140729218866880 140356952723191 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 36380672 140729218888856 140729218889032 140729218889032 140729218891727 0 /proc/29239/statm: 6701751 86439 3282 1 0 6688985 0 [pid=29239/tid=29240] ppid=29237 vsize=26807004 memory=1384 CPUtime=0.79 cores=0-7 /proc/29239/task/29240/stat : 29240 (java) S 29237 29237 26464 0 -1 1077944384 8923 0 0 0 74 5 0 0 20 0 28 0 150752905 27450372096 86439 33554432000 4194304 4196468 140729218884336 140356956963968 140356952733397 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36380672 140729218888856 140729218889032 140729218889032 140729218891727 0 [pid=29239/tid=29241] ppid=29237 vsize=26807004 memory=310336 CPUtime=0.41 cores=0-7 /proc/29239/task/29241/stat : 29241 (java) S 29237 29237 26464 0 -1 1077944384 2107 0 0 0 35 6 0 0 20 0 28 0 150752906 27450372096 86439 33554432000 4194304 4196468 140729218884336 140356915829008 140356952733397 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36380672 140729218888856 140729218889032 140729218889032 140729218891727 0 [pid=29239/tid=29242] ppid=29237 vsize=26807004 memory=6791534058613427641 CPUtime=0.43 cores=0-7 /proc/29239/task/29242/stat : 29242 (java) S 29237 29237 26464 0 -1 1077944384 2445 0 0 0 37 6 0 0 20 0 28 0 150752906 27450372096 86439 33554432000 4194304 4196468 140729218884336 140356509628816 140356952733397 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36380672 140729218888856 140729218889032 140729218889032 140729218891727 0 [pid=29239/tid=29243] ppid=29237 vsize=26807004 memory=299700 CPUtime=0.43 cores=0-7 /proc/29239/task/29243/stat : 29243 (java) S 29237 29237 26464 0 -1 1077944384 2155 0 0 0 37 6 0 0 20 0 28 0 150752906 27450372096 86439 33554432000 4194304 4196468 140729218884336 140356508576272 140356952733397 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36380672 140729218888856 140729218889032 140729218889032 140729218891727 0 [pid=29239/tid=29244] ppid=29237 vsize=26807004 memory=796 CPUtime=0.42 cores=0-7 /proc/29239/task/29244/stat : 29244 (java) S 29237 29237 26464 0 -1 1077944384 2025 0 0 0 36 6 0 0 20 0 28 0 150752906 27450372096 86439 33554432000 4194304 4196468 140729218884336 140356507523728 140356952733397 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36380672 140729218888856 140729218889032 140729218889032 140729218891727 0 [pid=29239/tid=29245] ppid=29237 vsize=26807004 memory=1384 CPUtime=0.41 cores=0-7 /proc/29239/task/29245/stat : 29245 (java) S 29237 29237 26464 0 -1 1077944384 2288 0 0 0 36 5 0 0 20 0 28 0 150752906 27450372096 86439 33554432000 4194304 4196468 140729218884336 140356506471184 140356952733397 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36380672 140729218888856 140729218889032 140729218889032 140729218891727 0 [pid=29239/tid=29246] ppid=29237 vsize=26807004 memory=330820 CPUtime=0.43 cores=0-7 /proc/29239/task/29246/stat : 29246 (java) S 29237 29237 26464 0 -1 1077944384 2340 0 0 0 36 7 0 0 20 0 28 0 150752906 27450372096 86439 33554432000 4194304 4196468 140729218884336 140356505418640 140356952733397 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36380672 140729218888856 140729218889032 140729218889032 140729218891727 0 [pid=29239/tid=29247] ppid=29237 vsize=26807004 memory=1384 CPUtime=0.43 cores=0-7 /proc/29239/task/29247/stat : 29247 (java) S 29237 29237 26464 0 -1 1077944384 2813 0 0 0 37 6 0 0 20 0 28 0 150752906 27450372096 86439 33554432000 4194304 4196468 140729218884336 140356504366096 140356952733397 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36380672 140729218888856 140729218889032 140729218889032 140729218891727 0 [pid=29239/tid=29248] ppid=29237 vsize=26807004 memory=1384 CPUtime=0.42 cores=0-7 /proc/29239/task/29248/stat : 29248 (java) S 29237 29237 26464 0 -1 1077944384 1709 0 0 0 36 6 0 0 20 0 28 0 150752906 27450372096 86439 33554432000 4194304 4196468 140729218884336 140356503313552 140356952733397 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36380672 140729218888856 140729218889032 140729218889032 140729218891727 0 [pid=29239/tid=29249] ppid=29237 vsize=26807004 memory=343660 CPUtime=1.37 cores=0-7 /proc/29239/task/29249/stat : 29249 (java) S 29237 29237 26464 0 -1 1077944384 7609 0 0 0 63 74 0 0 20 0 28 0 150752908 27450372096 86439 33554432000 4194304 4196468 140729218884336 140356013008880 140356952734338 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36380672 140729218888856 140729218889032 140729218889032 140729218891727 0 [pid=29239/tid=29250] ppid=29237 vsize=26807004 memory=341556 CPUtime=0 cores=0-7 /proc/29239/task/29250/stat : 29250 (java) S 29237 29237 26464 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 28 0 150752908 27450372096 86439 33554432000 4194304 4196468 140729218884336 140356011955168 140356952733397 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36380672 140729218888856 140729218889032 140729218889032 140729218891727 0 [pid=29239/tid=29251] ppid=29237 vsize=26807004 memory=345756 CPUtime=0 cores=0-7 /proc/29239/task/29251/stat : 29251 (java) S 29237 29237 26464 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 28 0 150752908 27450372096 86439 33554432000 4194304 4196468 140729218884336 140356010902528 140356952733397 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36380672 140729218888856 140729218889032 140729218889032 140729218891727 0 [pid=29239/tid=29252] ppid=29237 vsize=26807004 memory=4144 CPUtime=0 cores=0-7 /proc/29239/task/29252/stat : 29252 (java) S 29237 29237 26464 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 150752911 27450372096 86439 33554432000 4194304 4196468 140729218884336 140356009851088 140356952741787 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36380672 140729218888856 140729218889032 140729218889032 140729218891727 0 [pid=29239/tid=29253] ppid=29237 vsize=26807004 memory=42120 CPUtime=4.1 cores=0-7 /proc/29239/task/29253/stat : 29253 (java) S 29237 29237 26464 0 -1 1077944384 19227 0 0 0 407 3 0 0 20 0 28 0 150752911 27450372096 86439 33554432000 4194304 4196468 140729218884336 140356008798704 140356952734338 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36380672 140729218888856 140729218889032 140729218889032 140729218891727 0 [pid=29239/tid=29254] ppid=29237 vsize=26807004 memory=42120 CPUtime=3.72 cores=0-7 /proc/29239/task/29254/stat : 29254 (java) S 29237 29237 26464 0 -1 1077944384 16269 0 0 0 369 3 0 0 20 0 28 0 150752911 27450372096 86439 33554432000 4194304 4196468 140729218884336 140356007746160 140356952734338 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36380672 140729218888856 140729218889032 140729218889032 140729218891727 0 [pid=29239/tid=29255] ppid=29237 vsize=26807004 memory=1296 CPUtime=3.84 cores=0-7 /proc/29239/task/29255/stat : 29255 (java) S 29237 29237 26464 0 -1 1077944384 17040 0 0 0 381 3 0 0 20 0 28 0 150752911 27450372096 86439 33554432000 4194304 4196468 140729218884336 140356006693616 140356952734338 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36380672 140729218888856 140729218889032 140729218889032 140729218891727 0 [pid=29239/tid=29256] ppid=29237 vsize=26807004 memory=1384 CPUtime=0.99 cores=0-7 /proc/29239/task/29256/stat : 29256 (java) S 29237 29237 26464 0 -1 1077944384 12205 0 0 0 97 2 0 0 20 0 28 0 150752911 27450372096 86439 33554432000 4194304 4196468 140729218884336 140356005641072 140356952734338 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36380672 140729218888856 140729218889032 140729218889032 140729218891727 0 [pid=29239/tid=29257] ppid=29237 vsize=26807004 memory=844 CPUtime=0 cores=0-7 /proc/29239/task/29257/stat : 29257 (java) S 29237 29237 26464 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 150752911 27450372096 86439 33554432000 4194304 4196468 140729218884336 140356004587744 140356952733397 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36380672 140729218888856 140729218889032 140729218889032 140729218891727 0 [pid=29239/tid=29258] ppid=29237 vsize=26807004 memory=1692 CPUtime=0.05 cores=0-7 /proc/29239/task/29258/stat : 29258 (java) S 29237 29237 26464 0 -1 1077944384 836 0 0 0 4 1 0 0 20 0 28 0 150752912 27450372096 86439 33554432000 4194304 4196468 140729218884336 140356003535280 140356952734338 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36380672 140729218888856 140729218889032 140729218889032 140729218891727 0 [pid=29239/tid=30018] ppid=29237 vsize=26807004 memory=912 CPUtime=119.76 cores=0-7 /proc/29239/task/30018/stat : 30018 (java) R 29237 29237 26464 0 -1 4202560 1416 0 0 0 11976 0 0 0 20 0 28 0 150762935 27450372096 86439 33554432000 4194304 4196468 140729218884336 140355982903408 140356596035296 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 36380672 140729218888856 140729218889032 140729218889032 140729218891727 0 [pid=29239/tid=30019] ppid=29237 vsize=26807004 memory=1384 CPUtime=119.82 cores=0-7 /proc/29239/task/30019/stat : 30019 (java) R 29237 29237 26464 0 -1 4202560 947 0 0 0 11982 0 0 0 20 0 28 0 150762935 27450372096 86439 33554432000 4194304 4196468 140729218884336 140355992366704 140356598350249 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 36380672 140729218888856 140729218889032 140729218889032 140729218891727 0 [pid=29239/tid=30020] ppid=29237 vsize=26807004 memory=345756 CPUtime=119.83 cores=0-7 /proc/29239/task/30020/stat : 30020 (java) R 29237 29237 26464 0 -1 4202560 1286 0 0 0 11982 1 0 0 20 0 28 0 150762935 27450372096 86439 33554432000 4194304 4196468 140729218884336 140355981849304 140729219041494 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 36380672 140729218888856 140729218889032 140729218889032 140729218891727 0 [pid=29239/tid=30021] ppid=29237 vsize=26807004 memory=2424 CPUtime=120.17 cores=0-7 /proc/29239/task/30021/stat : 30021 (java) R 29237 29237 26464 0 -1 4202560 2171 0 0 0 12016 1 0 0 20 0 28 0 150762935 27450372096 86439 33554432000 4194304 4196468 140729218884336 140355991314576 140356591010395 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 36380672 140729218888856 140729218889032 140729218889032 140729218891727 0 [pid=29239/tid=30022] ppid=29237 vsize=26807004 memory=1296 CPUtime=119.96 cores=0-7 /proc/29239/task/30022/stat : 30022 (java) R 29237 29237 26464 0 -1 4202560 1898 0 0 0 11994 2 0 0 20 0 28 0 150762935 27450372096 86439 33554432000 4194304 4196468 140729218884336 140355983953320 140356595592128 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 36380672 140729218888856 140729218889032 140729218889032 140729218891727 0 [pid=29239/tid=30023] ppid=29237 vsize=26807004 memory=2408 CPUtime=120.4 cores=0-7 /proc/29239/task/30023/stat : 30023 (java) R 29237 29237 26464 0 -1 4202560 1025 0 0 0 12040 0 0 0 20 0 28 0 150762935 27450372096 86439 33554432000 4194304 4196468 140729218884336 140355994475776 140356591172402 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 36380672 140729218888856 140729218889032 140729218889032 140729218891727 0 [pid=29239/tid=30024] ppid=29237 vsize=26807004 memory=1732 CPUtime=120.19 cores=0-7 /proc/29239/task/30024/stat : 30024 (java) R 29237 29237 26464 0 -1 4202560 868 0 0 0 12018 1 0 0 20 0 28 0 150762935 27450372096 86439 33554432000 4194304 4196468 140729218884336 140355989213880 140356598103288 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 36380672 140729218888856 140729218889032 140729218889032 140729218891727 0 [pid=29239/tid=30025] ppid=29237 vsize=26807004 memory=1224 CPUtime=120 cores=0-7 /proc/29239/task/30025/stat : 30025 (java) R 29237 29237 26464 0 -1 4202560 1025 0 0 0 12000 0 0 0 20 0 28 0 150762935 27450372096 86439 33554432000 4194304 4196468 140729218884336 140355995524800 140356589801736 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36380672 140729218888856 140729218889032 140729218889032 140729218891727 0 Current children cumulated CPU time: 1693.43 s Current children cumulated vsize: 26816516 KiB Current children cumulated memory: 347140 KiB Maximum wall clock time exceeded: sending SIGTERM then SIGKILL [startup+252.001 s]* /proc/loadavg: 8.16 7.66 7.86 9/207 30026 /proc/meminfo: memFree=23235544/32770624 swapFree=67108860/67108860 [pid=29237] ppid=29234 vsize=9512 memory=1384 CPUtime=0 cores=0-7 /proc/29237/stat : 29237 (xcsp3-exec) S 29234 29237 26464 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 150752905 9740288 346 33554432000 4194304 5098028 140734083684112 140734083682216 140333098754684 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 39161856 140734083687530 140734083687740 140734083687740 140734083690475 0 /proc/29237/statm: 2378 346 289 221 0 87 0 [pid=29239] ppid=29237 vsize=26807004 memory=366392 CPUtime=1928.2 cores=0-7 /proc/29239/stat : 29239 (java) S 29237 29237 26464 0 -1 1077944320 156348 0 0 0 192621 199 0 0 20 0 28 0 150752905 27450372096 91598 33554432000 4194304 4196468 140729218884336 140729218866880 140356952723191 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 36380672 140729218888856 140729218889032 140729218889032 140729218891727 0 /proc/29239/statm: 6701751 91598 3282 1 0 6688985 0 [pid=29239/tid=29240] ppid=29237 vsize=26807004 memory=6791534058613427641 CPUtime=0.79 cores=0-7 /proc/29239/task/29240/stat : 29240 (java) S 29237 29237 26464 0 -1 1077944384 8923 0 0 0 74 5 0 0 20 0 28 0 150752905 27450372096 91598 33554432000 4194304 4196468 140729218884336 140356956963968 140356952733397 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36380672 140729218888856 140729218889032 140729218889032 140729218891727 0 [pid=29239/tid=29241] ppid=29237 vsize=26807004 memory=1156 CPUtime=0.48 cores=0-7 /proc/29239/task/29241/stat : 29241 (java) S 29237 29237 26464 0 -1 1077944384 2490 0 0 0 41 7 0 0 20 0 28 0 150752906 27450372096 91598 33554432000 4194304 4196468 140729218884336 140356915829008 140356952733397 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36380672 140729218888856 140729218889032 140729218889032 140729218891727 0 [pid=29239/tid=29242] ppid=29237 vsize=26807004 memory=4064 CPUtime=0.48 cores=0-7 /proc/29239/task/29242/stat : 29242 (java) S 29237 29237 26464 0 -1 1077944384 2766 0 0 0 42 6 0 0 20 0 28 0 150752906 27450372096 91598 33554432000 4194304 4196468 140729218884336 140356509628816 140356952733397 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36380672 140729218888856 140729218889032 140729218889032 140729218891727 0 [pid=29239/tid=29243] ppid=29237 vsize=26807004 memory=1384 CPUtime=0.49 cores=0-7 /proc/29239/task/29243/stat : 29243 (java) S 29237 29237 26464 0 -1 1077944384 3207 0 0 0 42 7 0 0 20 0 28 0 150752906 27450372096 91598 33554432000 4194304 4196468 140729218884336 140356508576272 140356952733397 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36380672 140729218888856 140729218889032 140729218889032 140729218891727 0 [pid=29239/tid=29244] ppid=29237 vsize=26807004 memory=6791534058613427641 CPUtime=0.48 cores=0-7 /proc/29239/task/29244/stat : 29244 (java) S 29237 29237 26464 0 -1 1077944384 2297 0 0 0 41 7 0 0 20 0 28 0 150752906 27450372096 91598 33554432000 4194304 4196468 140729218884336 140356507523728 140356952733397 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36380672 140729218888856 140729218889032 140729218889032 140729218891727 0 [pid=29239/tid=29245] ppid=29237 vsize=26807004 memory=4420 CPUtime=0.47 cores=0-7 /proc/29239/task/29245/stat : 29245 (java) S 29237 29237 26464 0 -1 1077944384 2507 0 0 0 41 6 0 0 20 0 28 0 150752906 27450372096 91598 33554432000 4194304 4196468 140729218884336 140356506471184 140356952733397 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36380672 140729218888856 140729218889032 140729218889032 140729218891727 0 [pid=29239/tid=29246] ppid=29237 vsize=26807004 memory=4100 CPUtime=0.49 cores=0-7 /proc/29239/task/29246/stat : 29246 (java) S 29237 29237 26464 0 -1 1077944384 2959 0 0 0 41 8 0 0 20 0 28 0 150752906 27450372096 91598 33554432000 4194304 4196468 140729218884336 140356505418640 140356952733397 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36380672 140729218888856 140729218889032 140729218889032 140729218891727 0 [pid=29239/tid=29247] ppid=29237 vsize=26807004 memory=1156 CPUtime=0.49 cores=0-7 /proc/29239/task/29247/stat : 29247 (java) S 29237 29237 26464 0 -1 1077944384 3759 0 0 0 43 6 0 0 20 0 28 0 150752906 27450372096 91598 33554432000 4194304 4196468 140729218884336 140356504366096 140356952733397 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36380672 140729218888856 140729218889032 140729218889032 140729218891727 0 [pid=29239/tid=29248] ppid=29237 vsize=26807004 memory=362296 CPUtime=0.47 cores=0-7 /proc/29239/task/29248/stat : 29248 (java) S 29237 29237 26464 0 -1 1077944384 2007 0 0 0 41 6 0 0 20 0 28 0 150752906 27450372096 91598 33554432000 4194304 4196468 140729218884336 140356503313552 140356952733397 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36380672 140729218888856 140729218889032 140729218889032 140729218891727 0 [pid=29239/tid=29249] ppid=29237 vsize=26807004 memory=1384 CPUtime=1.64 cores=0-7 /proc/29239/task/29249/stat : 29249 (java) S 29237 29237 26464 0 -1 1077944384 9286 0 0 0 75 89 0 0 20 0 28 0 150752908 27450372096 91598 33554432000 4194304 4196468 140729218884336 140356013008880 140356952734338 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36380672 140729218888856 140729218889032 140729218889032 140729218891727 0 [pid=29239/tid=29250] ppid=29237 vsize=26807004 memory=360248 CPUtime=0 cores=0-7 /proc/29239/task/29250/stat : 29250 (java) S 29237 29237 26464 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 28 0 150752908 27450372096 91598 33554432000 4194304 4196468 140729218884336 140356011955168 140356952733397 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36380672 140729218888856 140729218889032 140729218889032 140729218891727 0 [pid=29239/tid=29251] ppid=29237 vsize=26807004 memory=1952 CPUtime=0 cores=0-7 /proc/29239/task/29251/stat : 29251 (java) S 29237 29237 26464 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 28 0 150752908 27450372096 91598 33554432000 4194304 4196468 140729218884336 140356010902528 140356952733397 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36380672 140729218888856 140729218889032 140729218889032 140729218891727 0 [pid=29239/tid=29252] ppid=29237 vsize=26807004 memory=8740 CPUtime=0 cores=0-7 /proc/29239/task/29252/stat : 29252 (java) S 29237 29237 26464 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 150752911 27450372096 91598 33554432000 4194304 4196468 140729218884336 140356009851088 140356952741787 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36380672 140729218888856 140729218889032 140729218889032 140729218891727 0 [pid=29239/tid=29253] ppid=29237 vsize=26807004 memory=4620 CPUtime=4.1 cores=0-7 /proc/29239/task/29253/stat : 29253 (java) S 29237 29237 26464 0 -1 1077944384 19241 0 0 0 407 3 0 0 20 0 28 0 150752911 27450372096 91598 33554432000 4194304 4196468 140729218884336 140356008798704 140356952734338 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36380672 140729218888856 140729218889032 140729218889032 140729218891727 0 [pid=29239/tid=29254] ppid=29237 vsize=26807004 memory=6791534058613427641 CPUtime=3.72 cores=0-7 /proc/29239/task/29254/stat : 29254 (java) S 29237 29237 26464 0 -1 1077944384 16279 0 0 0 369 3 0 0 20 0 28 0 150752911 27450372096 91598 33554432000 4194304 4196468 140729218884336 140356007746160 140356952734338 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36380672 140729218888856 140729218889032 140729218889032 140729218891727 0 [pid=29239/tid=29255] ppid=29237 vsize=26807004 memory=2208 CPUtime=3.84 cores=0-7 /proc/29239/task/29255/stat : 29255 (java) S 29237 29237 26464 0 -1 1077944384 17050 0 0 0 381 3 0 0 20 0 28 0 150752911 27450372096 91598 33554432000 4194304 4196468 140729218884336 140356006693616 140356952734338 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36380672 140729218888856 140729218889032 140729218889032 140729218891727 0 [pid=29239/tid=29256] ppid=29237 vsize=26807004 memory=8052 CPUtime=0.99 cores=0-7 /proc/29239/task/29256/stat : 29256 (java) S 29237 29237 26464 0 -1 1077944384 12215 0 0 0 97 2 0 0 20 0 28 0 150752911 27450372096 91598 33554432000 4194304 4196468 140729218884336 140356005641072 140356952734338 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36380672 140729218888856 140729218889032 140729218889032 140729218891727 0 [pid=29239/tid=29257] ppid=29237 vsize=26807004 memory=844 CPUtime=0 cores=0-7 /proc/29239/task/29257/stat : 29257 (java) S 29237 29237 26464 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 150752911 27450372096 91598 33554432000 4194304 4196468 140729218884336 140356004587744 140356952733397 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36380672 140729218888856 140729218889032 140729218889032 140729218891727 0 [pid=29239/tid=29258] ppid=29237 vsize=26807004 memory=1692 CPUtime=0.05 cores=0-7 /proc/29239/task/29258/stat : 29258 (java) S 29237 29237 26464 0 -1 1077944384 926 0 0 0 4 1 0 0 20 0 28 0 150752912 27450372096 91598 33554432000 4194304 4196468 140729218884336 140356003535280 140356952734338 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36380672 140729218888856 140729218889032 140729218889032 140729218891727 0 [pid=29239/tid=30018] ppid=29237 vsize=26807004 memory=912 CPUtime=148.94 cores=0-7 /proc/29239/task/30018/stat : 30018 (java) R 29237 29237 26464 0 -1 4202560 2092 0 0 0 14893 1 0 0 20 0 28 0 150762935 27450372096 91598 33554432000 4194304 4196468 140729218884336 140355982903840 140356599601039 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 36380672 140729218888856 140729218889032 140729218889032 140729218891727 0 [pid=29239/tid=30019] ppid=29237 vsize=26807004 memory=4420 CPUtime=149.01 cores=0-7 /proc/29239/task/30019/stat : 30019 (java) R 29237 29237 26464 0 -1 4202560 1434 0 0 0 14900 1 0 0 20 0 28 0 150762935 27450372096 91598 33554432000 4194304 4196468 140729218884336 140355992371256 140356598808165 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 36380672 140729218888856 140729218889032 140729218889032 140729218891727 0 [pid=29239/tid=30020] ppid=29237 vsize=26807004 memory=4100 CPUtime=149.06 cores=0-7 /proc/29239/task/30020/stat : 30020 (java) R 29237 29237 26464 0 -1 4202560 1888 0 0 0 14905 1 0 0 20 0 28 0 150762935 27450372096 91598 33554432000 4194304 4196468 140729218884336 140355981852696 140356594708889 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 36380672 140729218888856 140729218889032 140729218889032 140729218891727 0 [pid=29239/tid=30021] ppid=29237 vsize=26807004 memory=1156 CPUtime=149.44 cores=0-7 /proc/29239/task/30021/stat : 30021 (java) R 29237 29237 26464 0 -1 4202560 3520 0 0 0 14942 2 0 0 20 0 28 0 150762935 27450372096 91598 33554432000 4194304 4196468 140729218884336 140355991317328 140356599661152 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36380672 140729218888856 140729218889032 140729218889032 140729218891727 0 [pid=29239/tid=30022] ppid=29237 vsize=26807004 memory=4064 CPUtime=149.07 cores=0-7 /proc/29239/task/30022/stat : 30022 (java) R 29237 29237 26464 0 -1 4202560 2708 0 0 0 14903 4 0 0 20 0 28 0 150762935 27450372096 91598 33554432000 4194304 4196468 140729218884336 140355983954520 140356599661227 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 36380672 140729218888856 140729218889032 140729218889032 140729218891727 0 [pid=29239/tid=30023] ppid=29237 vsize=26807004 memory=4620 CPUtime=149.85 cores=0-7 /proc/29239/task/30023/stat : 30023 (java) R 29237 29237 26464 0 -1 4202560 1595 0 0 0 14984 1 0 0 20 0 28 0 150762935 27450372096 91598 33554432000 4194304 4196468 140729218884336 140355994472800 140356591172443 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 36380672 140729218888856 140729218889032 140729218889032 140729218891727 0 [pid=29239/tid=30024] ppid=29237 vsize=26807004 memory=1196 CPUtime=149.48 cores=0-7 /proc/29239/task/30024/stat : 30024 (java) R 29237 29237 26464 0 -1 4202560 1440 0 0 0 14947 1 0 0 20 0 28 0 150762935 27450372096 91598 33554432000 4194304 4196468 140729218884336 140355989210392 140356594708776 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 36380672 140729218888856 140729218889032 140729218889032 140729218891727 0 [pid=29239/tid=30025] ppid=29237 vsize=26807004 memory=15876 CPUtime=149.32 cores=0-7 /proc/29239/task/30025/stat : 30025 (java) R 29237 29237 26464 0 -1 4202560 1625 0 0 0 14932 0 0 0 20 0 28 0 150762935 27450372096 91598 33554432000 4194304 4196468 140729218884336 140355995528856 140356591097577 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 36380672 140729218888856 140729218889032 140729218889032 140729218891727 0 Current children cumulated CPU time: 1928.2 s Current children cumulated vsize: 26816516 KiB Current children cumulated memory: 367776 KiB Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds [startup+252.037 s] # the end of solver process 29237 was just reported to runsolver # cumulated CPU time of all completed processes: user=0.001967 s, system=0 s [startup+252.11 s] # the end of solver process 29239 was just reported to runsolver # cumulated CPU time of all completed processes: user=1926.9 s, system=2.00998 s # this solver process was not waited by its parent and was adopted by runsolver Solver just ended. ??? end of watcher thread Dumping a history of the last processes samples Child status: 143 Real time (s): 252.11 CPU time (s): 1928.91 CPU user time (s): 1926.9 CPU system time (s): 2.00998 CPU usage (%): 765.107 Max. virtual memory (cumulated for all children) (KiB): 26816516 Max. memory (cumulated for all children) (KiB): 405796 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1926.9 system time used= 2.00998 maximum resident set size= 408516 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 157492 page faults= 0 swaps= 0 block input operations= 0 block output operations= 536 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 45769 involuntary context switches= 21776 # summary of solver processes directly reported to runsolver: # pid: 29237,29239 # total CPU time (s): 1928.91 # total CPU user time (s): 1926.9 # total CPU system time (s): 2.00998 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 2.5385 second user time and 2.41653 second system time The end
Begin job on node149 at 2017-08-19 22:51:02 IDJOB=4281668 IDBENCH=115828 IDSOLVER=2676 FILE ID=node149/4281668-1503176722 RUNJOBID= node149-1503165268-26491 PBS_JOBID= 20630833 Free space on /tmp= 61768 MiB SOLVER NAME= choco-solver 4.0.5 par BENCH NAME= XCSP17/Scheduling/Scheduling-os-taillard/Taillard-os-07-07-6.xml COMMAND LINE= ./xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 22000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4281668-1503176722/watcher-4281668-1503176722 -o /tmp/evaluation-result-4281668-1503176722/solver-4281668-1503176722 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node149-1503165268-26491 --watchdog 312 ./xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 22000 -tdir HOME -seed 2141790350 HOME/instance-4281668-1503176722.xml TIME LIMIT= 2016 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= c933cd09e9acfeb17baa8719fd3b3e7c RANDOM SEED=2141790350 node149.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.43 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.43 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.43 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.43 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770624 kB MemFree: 23589412 kB MemAvailable: 31950544 kB Buffers: 281744 kB Cached: 8350880 kB SwapCached: 0 kB Active: 2136836 kB Inactive: 6551580 kB Active(anon): 4688 kB Inactive(anon): 87212 kB Active(file): 2132148 kB Inactive(file): 6464368 kB Unevictable: 7912 kB Mlocked: 7912 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 7996 kB Writeback: 0 kB AnonPages: 63024 kB Mapped: 51624 kB Shmem: 33416 kB Slab: 187376 kB SReclaimable: 160900 kB SUnreclaim: 26476 kB KernelStack: 3200 kB PageTables: 4912 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 333588 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 6144 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 97664 kB DirectMap2M: 33447936 kB Free space on /tmp at the end= 61760 MiB End job on node149 at 2017-08-19 22:55:14