Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
choco-solver 4.0.5 par (2017-08-09) | SAT (TO) | 730 | 2005.08 | 252.108 |
Name | GolombRuler/GolombRuler-a3-s1/ GolombRuler-26-a3.xml |
MD5SUM | 4a8acae89d0947337e32da9d5bedd9eb |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | SAT TO |
Best value of the objective obtained on this benchmark | 730 |
Best CPU time to get the best result obtained on this benchmark | 2003.6 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 702 |
Number of constraints | 328 |
Number of domains | 2 |
Minimum domain size | 1000 |
Maximum domain size | 1001 |
Distribution of domain sizes | [{"size":1000,"count":325},{"size":1001,"count":26}] |
Minimum variable degree | 0 |
Maximum variable degree | 27 |
Distribution of variable degrees | [{"degree":0,"count":351},{"degree":2,"count":325},{"degree":26,"count":24},{"degree":27,"count":2}] |
Minimum constraint arity | 1 |
Maximum constraint arity | 325 |
Distribution of constraint arities | [{"arity":1,"count":1},{"arity":3,"count":325},{"arity":26,"count":1},{"arity":325,"count":1}] |
Number of extensional constraints | 0 |
Number of intensional constraints | 326 |
Distribution of constraint types | [{"type":"intension","count":326},{"type":"allDifferent","count":1},{"type":"ordered","count":1}] |
Optimization problem | YES |
Type of objective | min VAR |
0.00/0.00 c java -server -Xmx22000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4271543-1502642231.xml" -tl '2016s' -p 8 -x 0 0.12/0.14 c [HOME/instance-4271543-1502642231.xml, -tl, 2016s, -p, 8, -x, 0] 0.12/0.19 c 8 solvers in parallel 0.33/0.26 c parse instance... 2.14/0.86 c solve instance... 10.32/1.94 o 915 10.32/1.99 o 898 10.91/2.06 o 818 13.68/2.49 o 802 17.38/2.96 o 762 44.16/6.31 o 756 190.79/24.76 o 738 427.57/54.41 o 730 2004.36/252.08 s SATISFIABLE 2004.36/252.08 v <instantiation> 2004.36/252.08 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] x[14] x[15] x[16] x[17] x[18] x[19] x[20] x[21] x[22] x[23] x[24] x[25] y[0][1] y[0][2] y[0][3] y[0][4] y[0][5] y[0][6] y[0][7] y[0][8] y[0][9] y[0][10] y[0][11] y[0][12] y[0][13] y[0][14] y[0][15] y[0][16] y[0][17] y[0][18] y[0][19] y[0][20] y[0][21] y[0][22] y[0][23] y[0][24] y[0][25] y[1][2] y[1][3] y[1][4] y[1][5] y[1][6] y[1][7] y[1][8] y[1][9] y[1][10] y[1][11] y[1][12] y[1][13] y[1][14] y[1][15] y[1][16] y[1][17] y[1][18] y[1][19] y[1][20] y[1][21] y[1][22] y[1][23] y[1][24] y[1][25] y[2][3] y[2][4] y[2][5] y[2][6] y[2][7] y[2][8] y[2][9] y[2][10] y[2][11] y[2][12] y[2][13] y[2][14] y[2][15] y[2][16] y[2][17] y[2][18] y[2][19] y[2][20] y[2][21] y[2][22] y[2][23] y[2][24] y[2][25] y[3][4] y[3][5] y[3][6] y[3][7] y[3][8] y[3][9] y[3][10] y[3][11] y[3][12] y[3][13] y[3][14] y[3][15] y[3][16] y[3][17] y[3][18] y[3][19] y[3][20] y[3][21] y[3][22] y[3][23] y[3][24] y[3][25] y[4][5] y[4][6] y[4][7] y[4][8] y[4][9] y[4][10] y[4][11] y[4][12] y[4][13] y[4][14] y[4][15] y[4][16] y[4][17] y[4][18] y[4][19] y[4][20] y[4][21] y[4][22] y[4][23] y[4][24] y[4][25] y[5][6] y[5][7] y[5][8] y[5][9] y[5][10] y[5][11] y[5][12] y[5][13] y[5][14] y[5][15] y[5][16] y[5][17] y[5][18] y[5][19] y[5][20] y[5][21] y[5][22] y[5][23] y[5][24] y[5][25] y[6][7] y[6][8] y[6][9] y[6][10] y[6][11] y[6][12] y[6][13] y[6][14] y[6][15] y[6][16] y[6][17] y[6][18] y[6][19] y[6][20] y[6][21] y[6][22] y[6][23] y[6][24] y[6][25] y[7][8] y[7][9] y[7][10] y[7][11] y[7][12] y[7][13] y[7][14] y[7][15] y[7][16] y[7][17] y[7][18] y[7][19] y[7][20] y[7][21] y[7][22] y[7][23] y[7][24] y[7][25] y[8][9] y[8][10] y[8][11] y[8][12] y[8][13] y[8][14] y[8][15] y[8][16] y[8][17] y[8][18] y[8][19] y[8][20] y[8][21] y[8][22] y[8][23] y[8][24] y[8][25] y[9][10] y[9][11] y[9][12] y[9][13] y[9][14] y[9][15] y[9][16] y[9][17] y[9][18] y[9][19] y[9][20] y[9][21] y[9][22] y[9][23] y[9][24] y[9][25] y[10][11] y[10][12] y[10][13] y[10][14] y[10][15] y[10][16] y[10][17] y[10][18] y[10][19] y[10][20] y[10][21] y[10][22] y[10][23] y[10][24] y[10][25] y[11][12] y[11][13] y[11][14] y[11][15] y[11][16] y[11][17] y[11][18] y[11][19] y[11][20] y[11][21] y[11][22] y[11][23] y[11][24] y[11][25] y[12][13] y[12][14] y[12][15] y[12][16] y[12][17] y[12][18] y[12][19] y[12][20] y[12][21] y[12][22] y[12][23] y[12][24] y[12][25] y[13][14] y[13][15] y[13][16] y[13][17] y[13][18] y[13][19] y[13][20] y[13][21] y[13][22] y[13][23] y[13][24] y[13][25] y[14][15] y[14][16] y[14][17] y[14][18] y[14][19] y[14][20] y[14][21] y[14][22] y[14][23] y[14][24] y[14][25] y[15][16] y[15][17] y[15][18] y[15][19] y[15][20] y[15][21] y[15][22] y[15][23] y[15][24] y[15][25] y[16][17] y[16][18] y[16][19] y[16][20] y[16][21] y[16][22] y[16][23] y[16][24] y[16][25] y[17][18] y[17][19] y[17][20] y[17][21] y[17][22] y[17][23] y[17][24] y[17][25] y[18][19] y[18][20] y[18][21] y[18][22] y[18][23] y[18][24] y[18][25] y[19][20] y[19][21] y[19][22] y[19][23] y[19][24] y[19][25] y[20][21] y[20][22] y[20][23] y[20][24] y[20][25] y[21][22] y[21][23] y[21][24] y[21][25] y[22][23] y[22][24] y[22][25] y[23][24] y[23][25] y[24][25] </list> 2004.36/252.08 v <values>0 1 3 7 12 20 30 44 66 91 106 122 148 199 220 248 300 355 413 451 486 525 610 663 697 730 1 3 7 12 20 30 44 66 91 106 122 148 199 220 248 300 355 413 451 486 525 610 663 697 730 2 6 11 19 29 43 65 90 105 121 147 198 219 247 299 354 412 450 485 524 609 662 696 729 4 9 17 27 41 63 88 103 119 145 196 217 245 297 352 410 448 483 522 607 660 694 727 5 13 23 37 59 84 99 115 141 192 213 241 293 348 406 444 479 518 603 656 690 723 8 18 32 54 79 94 110 136 187 208 236 288 343 401 439 474 513 598 651 685 718 10 24 46 71 86 102 128 179 200 228 280 335 393 431 466 505 590 643 677 710 14 36 61 76 92 118 169 190 218 270 325 383 421 456 495 580 633 667 700 22 47 62 78 104 155 176 204 256 311 369 407 442 481 566 619 653 686 25 40 56 82 133 154 182 234 289 347 385 420 459 544 597 631 664 15 31 57 108 129 157 209 264 322 360 395 434 519 572 606 639 16 42 93 114 142 194 249 307 345 380 419 504 557 591 624 26 77 98 126 178 233 291 329 364 403 488 541 575 608 51 72 100 152 207 265 303 338 377 462 515 549 582 21 49 101 156 214 252 287 326 411 464 498 531 28 80 135 193 231 266 305 390 443 477 510 52 107 165 203 238 277 362 415 449 482 55 113 151 186 225 310 363 397 430 58 96 131 170 255 308 342 375 38 73 112 197 250 284 317 35 74 159 212 246 279 39 124 177 211 244 85 138 172 205 53 87 120 34 67 33 </values> 2004.36/252.08 v </instantiation> 2004.36/252.08 c Unexpected resolution interruption!
OK 730
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 (11650 MiB free) memory of node 1: 16384 MiB (14897 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4271543-1502642231/watcher-4271543-1502642231 -o /tmp/evaluation-result-4271543-1502642231/solver-4271543-1502642231 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node150-1502640358-13259 --watchdog 312 ./xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 22000 -tdir HOME -seed 613809170 HOME/instance-4271543-1502642231.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 solver pid=13929, runsolver pid=13926 Current StackSize limit: 8192 KiB [startup+0.100109 s]* /proc/loadavg: 8.44 7.63 4.94 3/200 13950 /proc/meminfo: memFree=27169436/32770624 swapFree=67108860/67108860 [pid=13929] ppid=13926 vsize=9512 memory=1380 CPUtime=0 cores=0-7 /proc/13929/stat : 13929 (xcsp3-exec) S 13926 13929 13232 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 97304219 9740288 345 33554432000 4194304 5098028 140736354110352 140736354108456 140002911703676 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 9867264 140736354112619 140736354112828 140736354112828 140736354115563 0 /proc/13929/statm: 2378 345 289 221 0 87 0 [pid=13931] ppid=13929 vsize=25999808 memory=26660 CPUtime=0.12 cores=0-7 /proc/13931/stat : 13931 (java) S 13929 13929 13232 0 -1 1077944320 5614 0 0 0 11 1 0 0 20 0 20 0 97304219 26623803392 6665 33554432000 4194304 4196468 140720669483024 140720669465568 140517828878071 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 33771520 140720669484184 140720669484360 140720669484360 140720669487055 0 /proc/13931/statm: 6499952 6665 2841 1 0 6488269 0 [pid=13931/tid=13932] ppid=13929 vsize=25999808 memory=4134930498285298233 CPUtime=0.08 cores=0-7 /proc/13931/task/13932/stat : 13932 (java) R 13929 13929 13232 0 -1 4202560 3616 0 0 0 8 0 0 0 20 0 20 0 97304220 26623803392 6730 33554432000 4194304 4196468 140720669483024 140517833101872 140517828890006 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 33771520 140720669484184 140720669484360 140720669484360 140720669487055 0 [pid=13931/tid=13933] ppid=13929 vsize=25999808 memory=4872558044660077418 CPUtime=0 cores=0-7 /proc/13931/task/13933/stat : 13933 (java) S 13929 13929 13232 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97304221 26623803392 6730 33554432000 4194304 4196468 140720669483024 140517781498640 140517828888277 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33771520 140720669484184 140720669484360 140720669484360 140720669487055 0 [pid=13931/tid=13934] ppid=13929 vsize=25999808 memory=140177693312640 CPUtime=0 cores=0-7 /proc/13931/task/13934/stat : 13934 (java) S 13929 13929 13232 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97304221 26623803392 6730 33554432000 4194304 4196468 140720669483024 140517780446096 140517828888277 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33771520 140720669484184 140720669484360 140720669484360 140720669487055 0 [pid=13931/tid=13935] ppid=13929 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/13931/task/13935/stat : 13935 (java) S 13929 13929 13232 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97304221 26623803392 6730 33554432000 4194304 4196468 140720669483024 140517779393552 140517828888277 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33771520 140720669484184 140720669484360 140720669484360 140720669487055 0 [pid=13931/tid=13936] ppid=13929 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/13931/task/13936/stat : 13936 (java) S 13929 13929 13232 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97304221 26623803392 6730 33554432000 4194304 4196468 140720669483024 140517778341008 140517828888277 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33771520 140720669484184 140720669484360 140720669484360 140720669487055 0 [pid=13931/tid=13937] ppid=13929 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/13931/task/13937/stat : 13937 (java) S 13929 13929 13232 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97304221 26623803392 6730 33554432000 4194304 4196468 140720669483024 140517777287440 140517828888277 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33771520 140720669484184 140720669484360 140720669484360 140720669487055 0 [pid=13931/tid=13938] ppid=13929 vsize=25999808 memory=-1 CPUtime=0 cores=0-7 /proc/13931/task/13938/stat : 13938 (java) S 13929 13929 13232 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97304221 26623803392 6730 33554432000 4194304 4196468 140720669483024 140517776234896 140517828888277 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33771520 140720669484184 140720669484360 140720669484360 140720669487055 0 [pid=13931/tid=13939] ppid=13929 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/13931/task/13939/stat : 13939 (java) S 13929 13929 13232 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97304221 26623803392 6730 33554432000 4194304 4196468 140720669483024 140517775182352 140517828888277 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33771520 140720669484184 140720669484360 140720669484360 140720669487055 0 [pid=13931/tid=13940] ppid=13929 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/13931/task/13940/stat : 13940 (java) S 13929 13929 13232 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97304221 26623803392 6730 33554432000 4194304 4196468 140720669483024 140517380061840 140517828888277 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33771520 140720669484184 140720669484360 140720669484360 140720669487055 0 [pid=13931/tid=13941] ppid=13929 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/13931/task/13941/stat : 13941 (java) S 13929 13929 13232 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97304222 26623803392 6730 33554432000 4194304 4196468 140720669483024 140516078959088 140517828889218 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33771520 140720669484184 140720669484360 140720669484360 140720669487055 0 [pid=13931/tid=13942] ppid=13929 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/13931/task/13942/stat : 13942 (java) S 13929 13929 13232 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 97304222 26623803392 6730 33554432000 4194304 4196468 140720669483024 140516077905312 140517828888277 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33771520 140720669484184 140720669484360 140720669484360 140720669487055 0 [pid=13931/tid=13943] ppid=13929 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/13931/task/13943/stat : 13943 (java) S 13929 13929 13232 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 97304223 26623803392 6730 33554432000 4194304 4196468 140720669483024 140516076852720 140517828888277 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33771520 140720669484184 140720669484360 140720669484360 140720669487055 0 [pid=13931/tid=13944] ppid=13929 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/13931/task/13944/stat : 13944 (java) S 13929 13929 13232 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97304225 26623803392 6730 33554432000 4194304 4196468 140720669483024 140516075801296 140517828896667 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33771520 140720669484184 140720669484360 140720669484360 140720669487055 0 [pid=13931/tid=13945] ppid=13929 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/13931/task/13945/stat : 13945 (java) S 13929 13929 13232 0 -1 1077944384 298 0 0 0 0 0 0 0 20 0 20 0 97304225 26623803392 6730 33554432000 4194304 4196468 140720669483024 140516074747888 140517828889218 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33771520 140720669484184 140720669484360 140720669484360 140720669487055 0 [pid=13931/tid=13946] ppid=13929 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/13931/task/13946/stat : 13946 (java) S 13929 13929 13232 0 -1 1077944384 124 0 0 0 0 0 0 0 20 0 20 0 97304225 26623803392 6730 33554432000 4194304 4196468 140720669483024 140516073695344 140517828889218 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33771520 140720669484184 140720669484360 140720669484360 140720669487055 0 [pid=13931/tid=13947] ppid=13929 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/13931/task/13947/stat : 13947 (java) R 13929 13929 13232 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 20 0 97304225 26623803392 6730 33554432000 4194304 4196468 140720669483024 140516072642800 140517828890006 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 33771520 140720669484184 140720669484360 140720669484360 140720669487055 0 [pid=13931/tid=13948] ppid=13929 vsize=25999808 memory=0 CPUtime=0.01 cores=0-7 /proc/13931/task/13948/stat : 13948 (java) R 13929 13929 13232 0 -1 4202560 271 0 0 0 1 0 0 0 20 0 20 0 97304225 26623803392 6730 33554432000 4194304 4196468 140720669483024 140516071590256 140517807546870 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 33771520 140720669484184 140720669484360 140720669484360 140720669487055 0 [pid=13931/tid=13949] ppid=13929 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/13931/task/13949/stat : 13949 (java) S 13929 13929 13232 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97304225 26623803392 6730 33554432000 4194304 4196468 140720669483024 140516070537952 140517828888277 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33771520 140720669484184 140720669484360 140720669484360 140720669487055 0 [pid=13931/tid=13950] ppid=13929 vsize=25999808 memory=-1 CPUtime=0 cores=0-7 /proc/13931/task/13950/stat : 13950 (java) S 13929 13929 13232 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97304226 26623803392 6730 33554432000 4194304 4196468 140720669483024 140516069485488 140517828889218 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33771520 140720669484184 140720669484360 140720669484360 140720669487055 0 Current children cumulated CPU time: 0.12 s Current children cumulated vsize: 26009320 KiB Current children cumulated memory: 28040 KiB [startup+0.209848 s]* /proc/loadavg: 8.44 7.63 4.94 2/200 13950 /proc/meminfo: memFree=27158892/32770624 swapFree=67108860/67108860 [pid=13929] ppid=13926 vsize=9512 memory=1380 CPUtime=0 cores=0-7 /proc/13929/stat : 13929 (xcsp3-exec) S 13926 13929 13232 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 97304219 9740288 345 33554432000 4194304 5098028 140736354110352 140736354108456 140002911703676 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 9867264 140736354112619 140736354112828 140736354112828 140736354115563 0 /proc/13929/statm: 2378 345 289 221 0 87 0 [pid=13931] ppid=13929 vsize=26004064 memory=39080 CPUtime=0.33 cores=0-7 /proc/13931/stat : 13931 (java) S 13929 13929 13232 0 -1 1077944320 8343 0 0 0 31 2 0 0 20 0 20 0 97304219 26628161536 9770 33554432000 4194304 4196468 140720669483024 140720669465568 140517828878071 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 33771520 140720669484184 140720669484360 140720669484360 140720669487055 0 /proc/13931/statm: 6501016 9770 3058 1 0 6488269 0 [pid=13931/tid=13932] ppid=13929 vsize=26004064 memory=8318255677412212789 CPUtime=0.19 cores=0-7 /proc/13931/task/13932/stat : 13932 (java) D 13929 13929 13232 0 -1 1077944384 5474 0 0 0 18 1 0 0 20 0 20 0 97304220 26628161536 9770 33554432000 4194304 4196468 140720669483024 140517833079792 140517821557293 0 4 0 16800975 18446744072101654052 0 0 -1 2 0 0 0 0 0 6293624 6294260 33771520 140720669484184 140720669484360 140720669484360 140720669487055 0 [pid=13931/tid=13933] ppid=13929 vsize=26004064 memory=342 CPUtime=0 cores=0-7 /proc/13931/task/13933/stat : 13933 (java) S 13929 13929 13232 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97304221 26628161536 9770 33554432000 4194304 4196468 140720669483024 140517781498640 140517828888277 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33771520 140720669484184 140720669484360 140720669484360 140720669487055 0 [pid=13931/tid=13934] ppid=13929 vsize=26004064 memory=288370553845024384 CPUtime=0 cores=0-7 /proc/13931/task/13934/stat : 13934 (java) S 13929 13929 13232 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97304221 26628161536 9770 33554432000 4194304 4196468 140720669483024 140517780446096 140517828888277 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33771520 140720669484184 140720669484360 140720669484360 140720669487055 0 [pid=13931/tid=13935] ppid=13929 vsize=26004064 memory=-1 CPUtime=0 cores=0-7 /proc/13931/task/13935/stat : 13935 (java) S 13929 13929 13232 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97304221 26628161536 9770 33554432000 4194304 4196468 140720669483024 140517779393552 140517828888277 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33771520 140720669484184 140720669484360 140720669484360 140720669487055 0 [pid=13931/tid=13936] ppid=13929 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/13931/task/13936/stat : 13936 (java) S 13929 13929 13232 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97304221 26628161536 9770 33554432000 4194304 4196468 140720669483024 140517778341008 140517828888277 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33771520 140720669484184 140720669484360 140720669484360 140720669487055 0 [pid=13931/tid=13937] ppid=13929 vsize=26004096 memory=0 CPUtime=0 cores=0-7 /proc/13931/task/13937/stat : 13937 (java) S 13929 13929 13232 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97304221 26628194304 9770 33554432000 4194304 4196468 140720669483024 140517777287440 140517828888277 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33771520 140720669484184 140720669484360 140720669484360 140720669487055 0 [pid=13931/tid=13938] ppid=13929 vsize=26004096 memory=-1 CPUtime=0 cores=0-7 /proc/13931/task/13938/stat : 13938 (java) S 13929 13929 13232 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97304221 26628194304 9770 33554432000 4194304 4196468 140720669483024 140517776234896 140517828888277 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33771520 140720669484184 140720669484360 140720669484360 140720669487055 0 [pid=13931/tid=13939] ppid=13929 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/13931/task/13939/stat : 13939 (java) S 13929 13929 13232 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97304221 26628161536 9770 33554432000 4194304 4196468 140720669483024 140517775182352 140517828888277 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33771520 140720669484184 140720669484360 140720669484360 140720669487055 0 [pid=13931/tid=13940] ppid=13929 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/13931/task/13940/stat : 13940 (java) S 13929 13929 13232 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97304221 26628161536 9770 33554432000 4194304 4196468 140720669483024 140517380061840 140517828888277 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33771520 140720669484184 140720669484360 140720669484360 140720669487055 0 [pid=13931/tid=13941] ppid=13929 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/13931/task/13941/stat : 13941 (java) S 13929 13929 13232 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97304222 26628161536 9770 33554432000 4194304 4196468 140720669483024 140516078959088 140517828889218 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33771520 140720669484184 140720669484360 140720669484360 140720669487055 0 [pid=13931/tid=13942] ppid=13929 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/13931/task/13942/stat : 13942 (java) S 13929 13929 13232 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 97304222 26628161536 9770 33554432000 4194304 4196468 140720669483024 140516077905312 140517828888277 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33771520 140720669484184 140720669484360 140720669484360 140720669487055 0 [pid=13931/tid=13943] ppid=13929 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/13931/task/13943/stat : 13943 (java) S 13929 13929 13232 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 97304223 26628161536 9770 33554432000 4194304 4196468 140720669483024 140516076852720 140517828888277 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33771520 140720669484184 140720669484360 140720669484360 140720669487055 0 [pid=13931/tid=13944] ppid=13929 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/13931/task/13944/stat : 13944 (java) S 13929 13929 13232 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97304225 26628161536 9770 33554432000 4194304 4196468 140720669483024 140516075801296 140517828896667 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33771520 140720669484184 140720669484360 140720669484360 140720669487055 0 [pid=13931/tid=13945] ppid=13929 vsize=26004096 memory=0 CPUtime=0.01 cores=0-7 /proc/13931/task/13945/stat : 13945 (java) S 13929 13929 13232 0 -1 1077944384 538 0 0 0 1 0 0 0 20 0 20 0 97304225 26628194304 9770 33554432000 4194304 4196468 140720669483024 140516074747888 140517828889218 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33771520 140720669484184 140720669484360 140720669484360 140720669487055 0 [pid=13931/tid=13946] ppid=13929 vsize=26004096 memory=0 CPUtime=0.01 cores=0-7 /proc/13931/task/13946/stat : 13946 (java) S 13929 13929 13232 0 -1 1077944384 163 0 0 0 1 0 0 0 20 0 20 0 97304225 26628194304 9770 33554432000 4194304 4196468 140720669483024 140516073695344 140517828889218 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33771520 140720669484184 140720669484360 140720669484360 140720669487055 0 [pid=13931/tid=13947] ppid=13929 vsize=26004064 memory=-1 CPUtime=0.01 cores=0-7 /proc/13931/task/13947/stat : 13947 (java) S 13929 13929 13232 0 -1 1077944384 101 0 0 0 1 0 0 0 20 0 20 0 97304225 26628161536 9770 33554432000 4194304 4196468 140720669483024 140516072642800 140517828889218 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33771520 140720669484184 140720669484360 140720669484360 140720669487055 0 [pid=13931/tid=13948] ppid=13929 vsize=26004064 memory=-1 CPUtime=0.07 cores=0-7 /proc/13931/task/13948/stat : 13948 (java) R 13929 13929 13232 0 -1 4202560 774 0 0 0 7 0 0 0 20 0 20 0 97304225 26628161536 9770 33554432000 4194304 4196468 140720669483024 140516071590256 140517807562176 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 33771520 140720669484184 140720669484360 140720669484360 140720669487055 0 [pid=13931/tid=13949] ppid=13929 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/13931/task/13949/stat : 13949 (java) S 13929 13929 13232 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97304225 26628161536 9770 33554432000 4194304 4196468 140720669483024 140516070537952 140517828888277 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33771520 140720669484184 140720669484360 140720669484360 140720669487055 0 [pid=13931/tid=13950] ppid=13929 vsize=26004064 memory=-1 CPUtime=0 cores=0-7 /proc/13931/task/13950/stat : 13950 (java) S 13929 13929 13232 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97304226 26628161536 9770 33554432000 4194304 4196468 140720669483024 140516069485488 140517828889218 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33771520 140720669484184 140720669484360 140720669484360 140720669487055 0 Current children cumulated CPU time: 0.33 s Current children cumulated vsize: 26013576 KiB Current children cumulated memory: 40460 KiB [startup+0.309506 s]* /proc/loadavg: 8.44 7.63 4.94 3/200 13950 /proc/meminfo: memFree=27154100/32770624 swapFree=67108860/67108860 [pid=13929] ppid=13926 vsize=9512 memory=1380 CPUtime=0 cores=0-7 /proc/13929/stat : 13929 (xcsp3-exec) S 13926 13929 13232 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 97304219 9740288 345 33554432000 4194304 5098028 140736354110352 140736354108456 140002911703676 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 9867264 140736354112619 140736354112828 140736354112828 140736354115563 0 /proc/13929/statm: 2378 345 289 221 0 87 0 [pid=13931] ppid=13929 vsize=26004064 memory=46232 CPUtime=0.5 cores=0-7 /proc/13931/stat : 13931 (java) S 13929 13929 13232 0 -1 1077944320 9261 0 0 0 47 3 0 0 20 0 20 0 97304219 26628161536 11558 33554432000 4194304 4196468 140720669483024 140720669465568 140517828878071 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 33771520 140720669484184 140720669484360 140720669484360 140720669487055 0 /proc/13931/statm: 6501016 11558 3104 1 0 6488269 0 [pid=13931/tid=13932] ppid=13929 vsize=26004064 memory=6791534058613427641 CPUtime=0.28 cores=0-7 /proc/13931/task/13932/stat : 13932 (java) R 13929 13929 13232 0 -1 4202560 6135 0 0 0 27 1 0 0 20 0 20 0 97304220 26628161536 11558 33554432000 4194304 4196468 140720669483024 140517833100912 140517821556085 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 33771520 140720669484184 140720669484360 140720669484360 140720669487055 0 [pid=13931/tid=13933] ppid=13929 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/13931/task/13933/stat : 13933 (java) S 13929 13929 13232 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97304221 26628161536 11558 33554432000 4194304 4196468 140720669483024 140517781498640 140517828888277 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33771520 140720669484184 140720669484360 140720669484360 140720669487055 0 [pid=13931/tid=13934] ppid=13929 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/13931/task/13934/stat : 13934 (java) S 13929 13929 13232 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97304221 26628161536 11558 33554432000 4194304 4196468 140720669483024 140517780446096 140517828888277 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33771520 140720669484184 140720669484360 140720669484360 140720669487055 0 [pid=13931/tid=13935] ppid=13929 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/13931/task/13935/stat : 13935 (java) S 13929 13929 13232 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97304221 26628161536 11558 33554432000 4194304 4196468 140720669483024 140517779393552 140517828888277 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33771520 140720669484184 140720669484360 140720669484360 140720669487055 0 [pid=13931/tid=13936] ppid=13929 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/13931/task/13936/stat : 13936 (java) S 13929 13929 13232 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97304221 26628161536 11558 33554432000 4194304 4196468 140720669483024 140517778341008 140517828888277 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33771520 140720669484184 140720669484360 140720669484360 140720669487055 0 [pid=13931/tid=13937] ppid=13929 vsize=26004064 memory=2244 CPUtime=0 cores=0-7 /proc/13931/task/13937/stat : 13937 (java) S 13929 13929 13232 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97304221 26628161536 11558 33554432000 4194304 4196468 140720669483024 140517777287440 140517828888277 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33771520 140720669484184 140720669484360 140720669484360 140720669487055 0 [pid=13931/tid=13938] ppid=13929 vsize=26004064 memory=140177532089263 CPUtime=0 cores=0-7 /proc/13931/task/13938/stat : 13938 (java) S 13929 13929 13232 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97304221 26628161536 11558 33554432000 4194304 4196468 140720669483024 140517776234896 140517828888277 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33771520 140720669484184 140720669484360 140720669484360 140720669487055 0 [pid=13931/tid=13939] ppid=13929 vsize=26004064 memory=140177532091568 CPUtime=0 cores=0-7 /proc/13931/task/13939/stat : 13939 (java) S 13929 13929 13232 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97304221 26628161536 11558 33554432000 4194304 4196468 140720669483024 140517775182352 140517828888277 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33771520 140720669484184 140720669484360 140720669484360 140720669487055 0 [pid=13931/tid=13940] ppid=13929 vsize=26004064 memory=140177532093872 CPUtime=0 cores=0-7 /proc/13931/task/13940/stat : 13940 (java) S 13929 13929 13232 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97304221 26628161536 11558 33554432000 4194304 4196468 140720669483024 140517380061840 140517828888277 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33771520 140720669484184 140720669484360 140720669484360 140720669487055 0 [pid=13931/tid=13941] ppid=13929 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/13931/task/13941/stat : 13941 (java) S 13929 13929 13232 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97304222 26628161536 11558 33554432000 4194304 4196468 140720669483024 140516078959088 140517828889218 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33771520 140720669484184 140720669484360 140720669484360 140720669487055 0 [pid=13931/tid=13942] ppid=13929 vsize=26004064 memory=280355064194704 CPUtime=0 cores=0-7 /proc/13931/task/13942/stat : 13942 (java) S 13929 13929 13232 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 97304222 26628161536 11558 33554432000 4194304 4196468 140720669483024 140516077905312 140517828888277 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33771520 140720669484184 140720669484360 140720669484360 140720669487055 0 [pid=13931/tid=13943] ppid=13929 vsize=26004064 memory=280355064201616 CPUtime=0 cores=0-7 /proc/13931/task/13943/stat : 13943 (java) S 13929 13929 13232 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 97304223 26628161536 11558 33554432000 4194304 4196468 140720669483024 140516076852720 140517828888277 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33771520 140720669484184 140720669484360 140720669484360 140720669487055 0 [pid=13931/tid=13944] ppid=13929 vsize=26004064 memory=280355064142896 CPUtime=0 cores=0-7 /proc/13931/task/13944/stat : 13944 (java) S 13929 13929 13232 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97304225 26628161536 11558 33554432000 4194304 4196468 140720669483024 140516075801296 140517828896667 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33771520 140720669484184 140720669484360 140720669484360 140720669487055 0 [pid=13931/tid=13945] ppid=13929 vsize=26004064 memory=280355064215440 CPUtime=0.02 cores=0-7 /proc/13931/task/13945/stat : 13945 (java) S 13929 13929 13232 0 -1 1077944384 583 0 0 0 2 0 0 0 20 0 20 0 97304225 26628161536 11558 33554432000 4194304 4196468 140720669483024 140516074747888 140517828889218 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33771520 140720669484184 140720669484360 140720669484360 140720669487055 0 [pid=13931/tid=13946] ppid=13929 vsize=26004064 memory=280355064222352 CPUtime=0.02 cores=0-7 /proc/13931/task/13946/stat : 13946 (java) S 13929 13929 13232 0 -1 1077944384 205 0 0 0 2 0 0 0 20 0 20 0 97304225 26628161536 11558 33554432000 4194304 4196468 140720669483024 140516073695344 140517828889218 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33771520 140720669484184 140720669484360 140720669484360 140720669487055 0 [pid=13931/tid=13947] ppid=13929 vsize=26004064 memory=280355064220048 CPUtime=0.02 cores=0-7 /proc/13931/task/13947/stat : 13947 (java) S 13929 13929 13232 0 -1 1077944384 144 0 0 0 2 0 0 0 20 0 20 0 97304225 26628161536 11558 33554432000 4194304 4196468 140720669483024 140516072642800 140517828889218 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33771520 140720669484184 140720669484360 140720669484360 140720669487055 0 [pid=13931/tid=13948] ppid=13929 vsize=26004064 memory=280355064236208 CPUtime=0.12 cores=0-7 /proc/13931/task/13948/stat : 13948 (java) S 13929 13929 13232 0 -1 1077944384 885 0 0 0 12 0 0 0 20 0 20 0 97304225 26628161536 11558 33554432000 4194304 4196468 140720669483024 140516071590256 140517828889218 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33771520 140720669484184 140720669484360 140720669484360 140720669487055 0 [pid=13931/tid=13949] ppid=13929 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/13931/task/13949/stat : 13949 (java) S 13929 13929 13232 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97304225 26628161536 11558 33554432000 4194304 4196468 140720669483024 140516070537952 140517828888277 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33771520 140720669484184 140720669484360 140720669484360 140720669487055 0 [pid=13931/tid=13950] ppid=13929 vsize=26004064 memory=-1 CPUtime=0 cores=0-7 /proc/13931/task/13950/stat : 13950 (java) S 13929 13929 13232 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97304226 26628161536 11558 33554432000 4194304 4196468 140720669483024 140516069485488 140517828889218 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33771520 140720669484184 140720669484360 140720669484360 140720669487055 0 Current children cumulated CPU time: 0.5 s Current children cumulated vsize: 26013576 KiB Current children cumulated memory: 47612 KiB [startup+0.700918 s] /proc/loadavg: 8.44 7.63 4.94 3/200 13950 /proc/meminfo: memFree=27139996/32770624 swapFree=67108860/67108860 [pid=13929] ppid=13926 vsize=9512 memory=1380 CPUtime=0 cores=0-7 /proc/13929/stat : 13929 (xcsp3-exec) S 13926 13929 13232 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 97304219 9740288 345 33554432000 4194304 5098028 140736354110352 140736354108456 140002911703676 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 9867264 140736354112619 140736354112828 140736354112828 140736354115563 0 /proc/13929/statm: 2378 345 289 221 0 87 0 [pid=13931] ppid=13929 vsize=26006188 memory=85656 CPUtime=1.71 cores=0-7 /proc/13931/stat : 13931 (java) S 13929 13929 13232 0 -1 1077944320 13644 0 0 0 166 5 0 0 20 0 20 0 97304219 26630336512 21414 33554432000 4194304 4196468 140720669483024 140720669465568 140517828878071 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 33771520 140720669484184 140720669484360 140720669484360 140720669487055 0 /proc/13931/statm: 6501547 21414 3207 1 0 6488781 0 [pid=13931/tid=13932] ppid=13929 vsize=26006188 memory=280355064594096 CPUtime=0.67 cores=0-7 /proc/13931/task/13932/stat : 13932 (java) R 13929 13929 13232 0 -1 4202560 6894 0 0 0 64 3 0 0 20 0 20 0 97304220 26630336512 21414 33554432000 4194304 4196468 140720669483024 140517833111600 140517458845691 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 33771520 140720669484184 140720669484360 140720669484360 140720669487055 0 [pid=13931/tid=13933] ppid=13929 vsize=26006188 memory=140177532298096 CPUtime=0 cores=0-7 /proc/13931/task/13933/stat : 13933 (java) S 13929 13929 13232 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97304221 26630336512 21414 33554432000 4194304 4196468 140720669483024 140517781498640 140517828888277 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33771520 140720669484184 140720669484360 140720669484360 140720669487055 0 [pid=13931/tid=13934] ppid=13929 vsize=26006188 memory=0 CPUtime=0 cores=0-7 /proc/13931/task/13934/stat : 13934 (java) S 13929 13929 13232 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97304221 26630336512 21414 33554432000 4194304 4196468 140720669483024 140517780446096 140517828888277 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33771520 140720669484184 140720669484360 140720669484360 140720669487055 0 [pid=13931/tid=13935] ppid=13929 vsize=26006188 memory=1716 CPUtime=0 cores=0-7 /proc/13931/task/13935/stat : 13935 (java) S 13929 13929 13232 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97304221 26630336512 21414 33554432000 4194304 4196468 140720669483024 140517779393552 140517828888277 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33771520 140720669484184 140720669484360 140720669484360 140720669487055 0 ################ # More data... # ################ [pid=13931/tid=14022] ppid=13929 vsize=26538700 memory=28376 CPUtime=106.64 cores=0-7 /proc/13931/task/14022/stat : 14022 (java) R 13929 13929 13232 0 -1 4202560 916 0 0 0 10664 0 0 0 20 0 28 0 97309661 27175628800 304843 33554432000 4194304 4196468 140720669483024 140516058319344 140517461341762 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 33771520 140720669484184 140720669484360 140720669484360 140720669487055 0 Current children cumulated CPU time: 1288.5 s Current children cumulated vsize: 26548212 KiB Current children cumulated memory: 1220752 KiB [startup+222.301 s] /proc/loadavg: 8.55 8.04 5.66 9/207 14023 /proc/meminfo: memFree=25970572/32770624 swapFree=67108860/67108860 [pid=13929] ppid=13926 vsize=9512 memory=1380 CPUtime=0 cores=0-7 /proc/13929/stat : 13929 (xcsp3-exec) S 13926 13929 13232 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 97304219 9740288 345 33554432000 4194304 5098028 140736354110352 140736354108456 140002911703676 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 9867264 140736354112619 140736354112828 140736354112828 140736354115563 0 /proc/13929/statm: 2378 345 289 221 0 87 0 [pid=13931] ppid=13929 vsize=26538700 memory=1227548 CPUtime=1767.32 cores=0-7 /proc/13931/stat : 13931 (java) S 13929 13929 13232 0 -1 1077944320 101068 0 0 0 176617 115 0 0 20 0 28 0 97304219 27175628800 306887 33554432000 4194304 4196468 140720669483024 140720669465568 140517828878071 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 33771520 140720669484184 140720669484360 140720669484360 140720669487055 0 /proc/13931/statm: 6634675 306887 3273 1 0 6621909 0 [pid=13931/tid=13932] ppid=13929 vsize=26538700 memory=1227548 CPUtime=0.86 cores=0-7 /proc/13931/task/13932/stat : 13932 (java) S 13929 13929 13232 0 -1 1077944384 7389 0 0 0 82 4 0 0 20 0 28 0 97304220 27175628800 306887 33554432000 4194304 4196468 140720669483024 140517833118848 140517828888277 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33771520 140720669484184 140720669484360 140720669484360 140720669487055 0 [pid=13931/tid=13933] ppid=13929 vsize=26538700 memory=1380 CPUtime=0.11 cores=0-7 /proc/13931/task/13933/stat : 13933 (java) S 13929 13929 13232 0 -1 1077944384 1831 0 0 0 5 6 0 0 20 0 28 0 97304221 27175628800 306887 33554432000 4194304 4196468 140720669483024 140517781498640 140517828888277 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33771520 140720669484184 140720669484360 140720669484360 140720669487055 0 [pid=13931/tid=13934] ppid=13929 vsize=26538700 memory=2369 CPUtime=0.12 cores=0-7 /proc/13931/task/13934/stat : 13934 (java) S 13929 13929 13232 0 -1 1077944384 1668 0 0 0 6 6 0 0 20 0 28 0 97304221 27175628800 306887 33554432000 4194304 4196468 140720669483024 140517780446096 140517828888277 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33771520 140720669484184 140720669484360 140720669484360 140720669487055 0 [pid=13931/tid=13935] ppid=13929 vsize=26538700 memory=1380 CPUtime=0.11 cores=0-7 /proc/13931/task/13935/stat : 13935 (java) S 13929 13929 13232 0 -1 1077944384 560 0 0 0 6 5 0 0 20 0 28 0 97304221 27175628800 306887 33554432000 4194304 4196468 140720669483024 140517779393552 140517828888277 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33771520 140720669484184 140720669484360 140720669484360 140720669487055 0 [pid=13931/tid=13936] ppid=13929 vsize=26538700 memory=1380 CPUtime=0.12 cores=0-7 /proc/13931/task/13936/stat : 13936 (java) S 13929 13929 13232 0 -1 1077944384 423 0 0 0 6 6 0 0 20 0 28 0 97304221 27175628800 306887 33554432000 4194304 4196468 140720669483024 140517778341008 140517828888277 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33771520 140720669484184 140720669484360 140720669484360 140720669487055 0 [pid=13931/tid=13937] ppid=13929 vsize=26538700 memory=1227548 CPUtime=0.11 cores=0-7 /proc/13931/task/13937/stat : 13937 (java) S 13929 13929 13232 0 -1 1077944384 788 0 0 0 6 5 0 0 20 0 28 0 97304221 27175628800 306887 33554432000 4194304 4196468 140720669483024 140517777287440 140517828888277 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33771520 140720669484184 140720669484360 140720669484360 140720669487055 0 [pid=13931/tid=13938] ppid=13929 vsize=26538700 memory=6791534058613427641 CPUtime=0.11 cores=0-7 /proc/13931/task/13938/stat : 13938 (java) S 13929 13929 13232 0 -1 1077944384 1161 0 0 0 6 5 0 0 20 0 28 0 97304221 27175628800 306887 33554432000 4194304 4196468 140720669483024 140517776234896 140517828888277 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33771520 140720669484184 140720669484360 140720669484360 140720669487055 0 [pid=13931/tid=13939] ppid=13929 vsize=26538700 memory=1936 CPUtime=0.11 cores=0-7 /proc/13931/task/13939/stat : 13939 (java) S 13929 13929 13232 0 -1 1077944384 1179 0 0 0 6 5 0 0 20 0 28 0 97304221 27175628800 306887 33554432000 4194304 4196468 140720669483024 140517775182352 140517828888277 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33771520 140720669484184 140720669484360 140720669484360 140720669487055 0 [pid=13931/tid=13940] ppid=13929 vsize=26538700 memory=1380 CPUtime=0.12 cores=0-7 /proc/13931/task/13940/stat : 13940 (java) S 13929 13929 13232 0 -1 1077944384 837 0 0 0 7 5 0 0 20 0 28 0 97304221 27175628800 306887 33554432000 4194304 4196468 140720669483024 140517380061840 140517828888277 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33771520 140720669484184 140720669484360 140720669484360 140720669487055 0 [pid=13931/tid=13941] ppid=13929 vsize=26538700 memory=1380 CPUtime=0.04 cores=0-7 /proc/13931/task/13941/stat : 13941 (java) S 13929 13929 13232 0 -1 1077944384 4543 0 0 0 3 1 0 0 20 0 28 0 97304222 27175628800 306887 33554432000 4194304 4196468 140720669483024 140516078959088 140517828889218 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33771520 140720669484184 140720669484360 140720669484360 140720669487055 0 [pid=13931/tid=13942] ppid=13929 vsize=26538700 memory=1380 CPUtime=0 cores=0-7 /proc/13931/task/13942/stat : 13942 (java) S 13929 13929 13232 0 -1 1077944384 37 0 0 0 0 0 0 0 20 0 28 0 97304222 27175628800 306887 33554432000 4194304 4196468 140720669483024 140516077905376 140517828888277 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33771520 140720669484184 140720669484360 140720669484360 140720669487055 0 [pid=13931/tid=13943] ppid=13929 vsize=26538700 memory=1227548 CPUtime=0 cores=0-7 /proc/13931/task/13943/stat : 13943 (java) S 13929 13929 13232 0 -1 1077944384 29 0 0 0 0 0 0 0 20 0 28 0 97304223 27175628800 306887 33554432000 4194304 4196468 140720669483024 140516076852736 140517828888277 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33771520 140720669484184 140720669484360 140720669484360 140720669487055 0 [pid=13931/tid=13944] ppid=13929 vsize=26538700 memory=11 CPUtime=0 cores=0-7 /proc/13931/task/13944/stat : 13944 (java) S 13929 13929 13232 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 97304225 27175628800 306887 33554432000 4194304 4196468 140720669483024 140516075801296 140517828896667 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33771520 140720669484184 140720669484360 140720669484360 140720669487055 0 [pid=13931/tid=13945] ppid=13929 vsize=26538700 memory=10 CPUtime=1.92 cores=0-7 /proc/13931/task/13945/stat : 13945 (java) S 13929 13929 13232 0 -1 1077944384 10116 0 0 0 190 2 0 0 20 0 28 0 97304225 27175628800 306887 33554432000 4194304 4196468 140720669483024 140516074747888 140517828889218 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33771520 140720669484184 140720669484360 140720669484360 140720669487055 0 [pid=13931/tid=13946] ppid=13929 vsize=26538700 memory=2244 CPUtime=1.86 cores=0-7 /proc/13931/task/13946/stat : 13946 (java) S 13929 13929 13232 0 -1 1077944384 8435 0 0 0 185 1 0 0 20 0 28 0 97304225 27175628800 306887 33554432000 4194304 4196468 140720669483024 140516073695344 140517828889218 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 1 0 0 6293624 6294260 33771520 140720669484184 140720669484360 140720669484360 140720669487055 0 [pid=13931/tid=13947] ppid=13929 vsize=26538700 memory=4124 CPUtime=1.93 cores=0-7 /proc/13931/task/13947/stat : 13947 (java) S 13929 13929 13232 0 -1 1077944384 11128 0 0 0 192 1 0 0 20 0 28 0 97304225 27175628800 306887 33554432000 4194304 4196468 140720669483024 140516072642800 140517828889218 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 3 0 0 6293624 6294260 33771520 140720669484184 140720669484360 140720669484360 140720669487055 0 [pid=13931/tid=13948] ppid=13929 vsize=26538700 memory=140177532645784 CPUtime=0.78 cores=0-7 /proc/13931/task/13948/stat : 13948 (java) S 13929 13929 13232 0 -1 1077944384 12417 0 0 0 76 2 0 0 20 0 28 0 97304225 27175628800 306887 33554432000 4194304 4196468 140720669483024 140516071590256 140517828889218 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 4 0 0 6293624 6294260 33771520 140720669484184 140720669484360 140720669484360 140720669487055 0 [pid=13931/tid=13949] ppid=13929 vsize=26538700 memory=0 CPUtime=0 cores=0-7 /proc/13931/task/13949/stat : 13949 (java) S 13929 13929 13232 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 97304225 27175628800 306887 33554432000 4194304 4196468 140720669483024 140516070537952 140517828888277 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33771520 140720669484184 140720669484360 140720669484360 140720669487055 0 [pid=13931/tid=13950] ppid=13929 vsize=26538700 memory=4140 CPUtime=0.04 cores=0-7 /proc/13931/task/13950/stat : 13950 (java) S 13929 13929 13232 0 -1 1077944384 1663 0 0 0 0 4 0 0 20 0 28 0 97304226 27175628800 306887 33554432000 4194304 4196468 140720669483024 140516069485488 140517828889218 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 9 0 0 6293624 6294260 33771520 140720669484184 140720669484360 140720669484360 140720669487055 0 [pid=13931/tid=14015] ppid=13929 vsize=26538700 memory=28376 CPUtime=167.56 cores=0-7 /proc/13931/task/14015/stat : 14015 (java) R 13929 13929 13232 0 -1 4202560 1381 0 0 0 16755 1 0 0 20 0 28 0 97309661 27175628800 306887 33554432000 4194304 4196468 140720669483024 140516054105200 140517462070567 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 33771520 140720669484184 140720669484360 140720669484360 140720669487055 0 [pid=13931/tid=14016] ppid=13929 vsize=26538700 memory=1296 CPUtime=167.82 cores=0-7 /proc/13931/task/14016/stat : 14016 (java) R 13929 13929 13232 0 -1 4202560 1444 0 0 0 16782 0 0 0 20 0 28 0 97309661 27175628800 306887 33554432000 4194304 4196468 140720669483024 140516056212088 140517462070444 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 33771520 140720669484184 140720669484360 140720669484360 140720669487055 0 [pid=13931/tid=14017] ppid=13929 vsize=26538700 memory=2396 CPUtime=167.74 cores=0-7 /proc/13931/task/14017/stat : 14017 (java) R 13929 13929 13232 0 -1 4202560 3132 0 0 0 16769 5 0 0 20 0 28 0 97309661 27175628800 306887 33554432000 4194304 4196468 140720669483024 140516060421736 140517461565371 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 33771520 140720669484184 140720669484360 140720669484360 140720669487055 0 [pid=13931/tid=14018] ppid=13929 vsize=26538700 memory=1728 CPUtime=167.75 cores=0-7 /proc/13931/task/14018/stat : 14018 (java) R 13929 13929 13232 0 -1 4202560 2087 0 0 0 16773 2 0 0 20 0 28 0 97309661 27175628800 306887 33554432000 4194304 4196468 140720669483024 140516057263992 140517464444751 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 33771520 140720669484184 140720669484360 140720669484360 140720669487055 0 [pid=13931/tid=14019] ppid=13929 vsize=26538700 memory=1004 CPUtime=166.8 cores=0-7 /proc/13931/task/14019/stat : 14019 (java) R 13929 13929 13232 0 -1 4202560 4006 0 0 0 16676 4 0 0 20 0 28 0 97309661 27175628800 306887 33554432000 4194304 4196468 140720669483024 140516061477616 140517461302515 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 33771520 140720669484184 140720669484360 140720669484360 140720669487055 0 [pid=13931/tid=14020] ppid=13929 vsize=26538700 memory=1227548 CPUtime=167.75 cores=0-7 /proc/13931/task/14020/stat : 14020 (java) R 13929 13929 13232 0 -1 4202560 2411 0 0 0 16772 3 0 0 20 0 28 0 97309661 27175628800 306887 33554432000 4194304 4196468 140720669483024 140516059368968 140517461342299 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 33771520 140720669484184 140720669484360 140720669484360 140720669487055 0 [pid=13931/tid=14021] ppid=13929 vsize=26538700 memory=1380 CPUtime=167.81 cores=0-7 /proc/13931/task/14021/stat : 14021 (java) R 13929 13929 13232 0 -1 4202560 5274 0 0 0 16779 2 0 0 20 0 28 0 97309661 27175628800 306887 33554432000 4194304 4196468 140720669483024 140516055159144 140517462071363 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 33771520 140720669484184 140720669484360 140720669484360 140720669487055 0 [pid=13931/tid=14022] ppid=13929 vsize=26538700 memory=1380 CPUtime=165.82 cores=0-7 /proc/13931/task/14022/stat : 14022 (java) R 13929 13929 13232 0 -1 4202560 1103 0 0 0 16581 1 0 0 20 0 28 0 97309661 27175628800 306887 33554432000 4194304 4196468 140720669483024 140516058317016 140517462606123 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 33771520 140720669484184 140720669484360 140720669484360 140720669487055 0 Current children cumulated CPU time: 1767.32 s Current children cumulated vsize: 26548212 KiB Current children cumulated memory: 1228928 KiB Maximum wall clock time exceeded: sending SIGTERM then SIGKILL [startup+252.001 s]* /proc/loadavg: 8.61 8.10 5.76 9/207 14023 /proc/meminfo: memFree=25961848/32770624 swapFree=67108860/67108860 [pid=13929] ppid=13926 vsize=9512 memory=1380 CPUtime=0 cores=0-7 /proc/13929/stat : 13929 (xcsp3-exec) S 13926 13929 13232 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 97304219 9740288 345 33554432000 4194304 5098028 140736354110352 140736354108456 140002911703676 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 9867264 140736354112619 140736354112828 140736354112828 140736354115563 0 /proc/13929/statm: 2378 345 289 221 0 87 0 [pid=13931] ppid=13929 vsize=26538700 memory=1238196 CPUtime=2004.36 cores=0-7 /proc/13931/stat : 13931 (java) S 13929 13929 13232 0 -1 1077944320 104884 0 0 0 200317 119 0 0 20 0 28 0 97304219 27175628800 309549 33554432000 4194304 4196468 140720669483024 140720669465568 140517828878071 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 33771520 140720669484184 140720669484360 140720669484360 140720669487055 0 /proc/13931/statm: 6634675 309549 3273 1 0 6621909 0 [pid=13931/tid=13932] ppid=13929 vsize=26538700 memory=1936 CPUtime=0.86 cores=0-7 /proc/13931/task/13932/stat : 13932 (java) S 13929 13929 13232 0 -1 1077944384 7389 0 0 0 82 4 0 0 20 0 28 0 97304220 27175628800 309549 33554432000 4194304 4196468 140720669483024 140517833118848 140517828888277 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33771520 140720669484184 140720669484360 140720669484360 140720669487055 0 [pid=13931/tid=13933] ppid=13929 vsize=26538700 memory=1224 CPUtime=0.12 cores=0-7 /proc/13931/task/13933/stat : 13933 (java) S 13929 13929 13232 0 -1 1077944384 1855 0 0 0 5 7 0 0 20 0 28 0 97304221 27175628800 309549 33554432000 4194304 4196468 140720669483024 140517781498640 140517828888277 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33771520 140720669484184 140720669484360 140720669484360 140720669487055 0 [pid=13931/tid=13934] ppid=13929 vsize=26538700 memory=1716 CPUtime=0.13 cores=0-7 /proc/13931/task/13934/stat : 13934 (java) S 13929 13929 13232 0 -1 1077944384 1717 0 0 0 7 6 0 0 20 0 28 0 97304221 27175628800 309549 33554432000 4194304 4196468 140720669483024 140517780446096 140517828888277 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33771520 140720669484184 140720669484360 140720669484360 140720669487055 0 [pid=13931/tid=13935] ppid=13929 vsize=26538700 memory=4872558044660077418 CPUtime=0.11 cores=0-7 /proc/13931/task/13935/stat : 13935 (java) S 13929 13929 13232 0 -1 1077944384 580 0 0 0 6 5 0 0 20 0 28 0 97304221 27175628800 309549 33554432000 4194304 4196468 140720669483024 140517779393552 140517828888277 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33771520 140720669484184 140720669484360 140720669484360 140720669487055 0 [pid=13931/tid=13936] ppid=13929 vsize=26538700 memory=16904 CPUtime=0.13 cores=0-7 /proc/13931/task/13936/stat : 13936 (java) S 13929 13929 13232 0 -1 1077944384 446 0 0 0 7 6 0 0 20 0 28 0 97304221 27175628800 309549 33554432000 4194304 4196468 140720669483024 140517778341008 140517828888277 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33771520 140720669484184 140720669484360 140720669484360 140720669487055 0 [pid=13931/tid=13937] ppid=13929 vsize=26538700 memory=1796 CPUtime=0.13 cores=0-7 /proc/13931/task/13937/stat : 13937 (java) S 13929 13929 13232 0 -1 1077944384 1233 0 0 0 7 6 0 0 20 0 28 0 97304221 27175628800 309549 33554432000 4194304 4196468 140720669483024 140517777287440 140517828888277 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33771520 140720669484184 140720669484360 140720669484360 140720669487055 0 [pid=13931/tid=13938] ppid=13929 vsize=26538700 memory=636 CPUtime=0.12 cores=0-7 /proc/13931/task/13938/stat : 13938 (java) S 13929 13929 13232 0 -1 1077944384 1186 0 0 0 7 5 0 0 20 0 28 0 97304221 27175628800 309549 33554432000 4194304 4196468 140720669483024 140517776234896 140517828888277 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33771520 140720669484184 140720669484360 140720669484360 140720669487055 0 [pid=13931/tid=13939] ppid=13929 vsize=26538700 memory=960 CPUtime=0.13 cores=0-7 /proc/13931/task/13939/stat : 13939 (java) S 13929 13929 13232 0 -1 1077944384 1226 0 0 0 7 6 0 0 20 0 28 0 97304221 27175628800 309549 33554432000 4194304 4196468 140720669483024 140517775182352 140517828888277 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33771520 140720669484184 140720669484360 140720669484360 140720669487055 0 [pid=13931/tid=13940] ppid=13929 vsize=26538700 memory=1236 CPUtime=0.12 cores=0-7 /proc/13931/task/13940/stat : 13940 (java) S 13929 13929 13232 0 -1 1077944384 851 0 0 0 7 5 0 0 20 0 28 0 97304221 27175628800 309549 33554432000 4194304 4196468 140720669483024 140517380061840 140517828888277 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33771520 140720669484184 140720669484360 140720669484360 140720669487055 0 [pid=13931/tid=13941] ppid=13929 vsize=26538700 memory=2340 CPUtime=0.04 cores=0-7 /proc/13931/task/13941/stat : 13941 (java) S 13929 13929 13232 0 -1 1077944384 4834 0 0 0 3 1 0 0 20 0 28 0 97304222 27175628800 309549 33554432000 4194304 4196468 140720669483024 140516078959088 140517828889218 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33771520 140720669484184 140720669484360 140720669484360 140720669487055 0 [pid=13931/tid=13942] ppid=13929 vsize=26538700 memory=1580 CPUtime=0 cores=0-7 /proc/13931/task/13942/stat : 13942 (java) S 13929 13929 13232 0 -1 1077944384 37 0 0 0 0 0 0 0 20 0 28 0 97304222 27175628800 309549 33554432000 4194304 4196468 140720669483024 140516077905376 140517828888277 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33771520 140720669484184 140720669484360 140720669484360 140720669487055 0 [pid=13931/tid=13943] ppid=13929 vsize=26538700 memory=928 CPUtime=0 cores=0-7 /proc/13931/task/13943/stat : 13943 (java) S 13929 13929 13232 0 -1 1077944384 29 0 0 0 0 0 0 0 20 0 28 0 97304223 27175628800 309549 33554432000 4194304 4196468 140720669483024 140516076852736 140517828888277 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33771520 140720669484184 140720669484360 140720669484360 140720669487055 0 [pid=13931/tid=13944] ppid=13929 vsize=26538700 memory=2244 CPUtime=0 cores=0-7 /proc/13931/task/13944/stat : 13944 (java) S 13929 13929 13232 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 97304225 27175628800 309549 33554432000 4194304 4196468 140720669483024 140516075801296 140517828896667 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33771520 140720669484184 140720669484360 140720669484360 140720669487055 0 [pid=13931/tid=13945] ppid=13929 vsize=26538700 memory=4124 CPUtime=1.97 cores=0-7 /proc/13931/task/13945/stat : 13945 (java) S 13929 13929 13232 0 -1 1077944384 11717 0 0 0 195 2 0 0 20 0 28 0 97304225 27175628800 309549 33554432000 4194304 4196468 140720669483024 140516074747888 140517828889218 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33771520 140720669484184 140720669484360 140720669484360 140720669487055 0 [pid=13931/tid=13946] ppid=13929 vsize=26538700 memory=14417007739143610 CPUtime=1.86 cores=0-7 /proc/13931/task/13946/stat : 13946 (java) S 13929 13929 13232 0 -1 1077944384 8438 0 0 0 185 1 0 0 20 0 28 0 97304225 27175628800 309549 33554432000 4194304 4196468 140720669483024 140516073695344 140517828889218 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 1 0 0 6293624 6294260 33771520 140720669484184 140720669484360 140720669484360 140720669487055 0 [pid=13931/tid=13947] ppid=13929 vsize=26538700 memory=9223 CPUtime=1.93 cores=0-7 /proc/13931/task/13947/stat : 13947 (java) S 13929 13929 13232 0 -1 1077944384 11131 0 0 0 192 1 0 0 20 0 28 0 97304225 27175628800 309549 33554432000 4194304 4196468 140720669483024 140516072642800 140517828889218 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 3 0 0 6293624 6294260 33771520 140720669484184 140720669484360 140720669484360 140720669487055 0 [pid=13931/tid=13948] ppid=13929 vsize=26538700 memory=291045341489529126 CPUtime=0.78 cores=0-7 /proc/13931/task/13948/stat : 13948 (java) S 13929 13929 13232 0 -1 1077944384 12502 0 0 0 76 2 0 0 20 0 28 0 97304225 27175628800 309549 33554432000 4194304 4196468 140720669483024 140516071590256 140517828889218 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 4 0 0 6293624 6294260 33771520 140720669484184 140720669484360 140720669484360 140720669487055 0 [pid=13931/tid=13949] ppid=13929 vsize=26538700 memory=14417007739143610 CPUtime=0 cores=0-7 /proc/13931/task/13949/stat : 13949 (java) S 13929 13929 13232 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 97304225 27175628800 309549 33554432000 4194304 4196468 140720669483024 140516070537952 140517828888277 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33771520 140720669484184 140720669484360 140720669484360 140720669487055 0 [pid=13931/tid=13950] ppid=13929 vsize=26538700 memory=-7965959130280075168 CPUtime=0.05 cores=0-7 /proc/13931/task/13950/stat : 13950 (java) S 13929 13929 13232 0 -1 1077944384 1686 0 0 0 0 5 0 0 20 0 28 0 97304226 27175628800 309549 33554432000 4194304 4196468 140720669483024 140516069485488 140517828889218 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 9 0 0 6293624 6294260 33771520 140720669484184 140720669484360 140720669484360 140720669487055 0 [pid=13931/tid=14015] ppid=13929 vsize=26538700 memory=-3123010188551861097 CPUtime=197.24 cores=0-7 /proc/13931/task/14015/stat : 14015 (java) R 13929 13929 13232 0 -1 4202560 1414 0 0 0 19723 1 0 0 20 0 28 0 97309661 27175628800 309549 33554432000 4194304 4196468 140720669483024 140516054105200 140517462605976 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 33771520 140720669484184 140720669484360 140720669484360 140720669487055 0 [pid=13931/tid=14016] ppid=13929 vsize=26538700 memory=-3831251742559211316 CPUtime=197.47 cores=0-7 /proc/13931/task/14016/stat : 14016 (java) R 13929 13929 13232 0 -1 4202560 1482 0 0 0 19747 0 0 0 20 0 28 0 97309661 27175628800 309549 33554432000 4194304 4196468 140720669483024 140516056211944 140517462219991 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 33771520 140720669484184 140720669484360 140720669484360 140720669487055 0 [pid=13931/tid=14017] ppid=13929 vsize=26538700 memory=1414353297708861353 CPUtime=197.16 cores=0-7 /proc/13931/task/14017/stat : 14017 (java) R 13929 13929 13232 0 -1 4202560 3218 0 0 0 19711 5 0 0 20 0 28 0 97309661 27175628800 309549 33554432000 4194304 4196468 140720669483024 140516060421608 140517464444451 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 33771520 140720669484184 140720669484360 140720669484360 140720669487055 0 [pid=13931/tid=14018] ppid=13929 vsize=26538700 memory=-4059589565078923626 CPUtime=197.45 cores=0-7 /proc/13931/task/14018/stat : 14018 (java) R 13929 13929 13232 0 -1 4202560 2163 0 0 0 19743 2 0 0 20 0 28 0 97309661 27175628800 309549 33554432000 4194304 4196468 140720669483024 140516057264136 140517462605524 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 33771520 140720669484184 140720669484360 140720669484360 140720669487055 0 [pid=13931/tid=14019] ppid=13929 vsize=26538700 memory=-7595754389018307734 CPUtime=196.4 cores=0-7 /proc/13931/task/14019/stat : 14019 (java) R 13929 13929 13232 0 -1 4202560 4251 0 0 0 19635 5 0 0 20 0 28 0 97309661 27175628800 309549 33554432000 4194304 4196468 140720669483024 140516061475336 140517464444751 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 33771520 140720669484184 140720669484360 140720669484360 140720669487055 0 [pid=13931/tid=14020] ppid=13929 vsize=26538700 memory=6944656601042741910 CPUtime=197.45 cores=0-7 /proc/13931/task/14020/stat : 14020 (java) R 13929 13929 13232 0 -1 4202560 2561 0 0 0 19742 3 0 0 20 0 28 0 97309661 27175628800 309549 33554432000 4194304 4196468 140720669483024 140516059369448 140517462223572 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 33771520 140720669484184 140720669484360 140720669484360 140720669487055 0 [pid=13931/tid=14021] ppid=13929 vsize=26538700 memory=-7595718147998060693 CPUtime=197.5 cores=0-7 /proc/13931/task/14021/stat : 14021 (java) R 13929 13929 13232 0 -1 4202560 5749 0 0 0 19748 2 0 0 20 0 28 0 97309661 27175628800 309549 33554432000 4194304 4196468 140720669483024 140516055161392 140517461343292 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 33771520 140720669484184 140720669484360 140720669484360 140720669487055 0 [pid=13931/tid=14022] ppid=13929 vsize=26538700 memory=306807940185325862 CPUtime=195.29 cores=0-7 /proc/13931/task/14022/stat : 14022 (java) R 13929 13929 13232 0 -1 4202560 1163 0 0 0 19528 1 0 0 20 0 28 0 97309661 27175628800 309549 33554432000 4194304 4196468 140720669483024 140516058317176 140517461302419 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 33771520 140720669484184 140720669484360 140720669484360 140720669487055 0 Current children cumulated CPU time: 2004.36 s Current children cumulated vsize: 26548212 KiB Current children cumulated memory: 1239576 KiB Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds [startup+252.041 s] # the end of solver process 13929 was just reported to runsolver # cumulated CPU time of all completed processes: user=0.0019 s, system=0 s [startup+252.108 s] # the end of solver process 13931 was just reported to runsolver # cumulated CPU time of all completed processes: user=2003.88 s, system=1.20735 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.108 CPU time (s): 2005.08 CPU user time (s): 2003.88 CPU system time (s): 1.20735 CPU usage (%): 795.327 Max. virtual memory (cumulated for all children) (KiB): 26548212 Max. memory (cumulated for all children) (KiB): 1239576 getrusage(RUSAGE_CHILDREN,...) data: user time used= 2003.88 system time used= 1.20735 maximum resident set size= 1239796 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 105888 page faults= 0 swaps= 0 block input operations= 0 block output operations= 456 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 12157 involuntary context switches= 21459 # summary of solver processes directly reported to runsolver: # pid: 13929,13931 # total CPU time (s): 2005.08 # total CPU user time (s): 2003.88 # total CPU system time (s): 1.20735 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 2.51693 second user time and 2.46123 second system time The end
Begin job on node150 at 2017-08-13 18:22:52 IDJOB=4271543 IDBENCH=126208 IDSOLVER=2663 FILE ID=node150/4271543-1502642231 RUNJOBID= node150-1502640358-13259 PBS_JOBID= 20628334 Free space on /tmp= 61636 MiB SOLVER NAME= choco-solver 4.0.5 par BENCH NAME= XCSP17/GolombRuler/GolombRuler-a3-s1/GolombRuler-26-a3.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-4271543-1502642231/watcher-4271543-1502642231 -o /tmp/evaluation-result-4271543-1502642231/solver-4271543-1502642231 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node150-1502640358-13259 --watchdog 312 ./xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 22000 -tdir HOME -seed 613809170 HOME/instance-4271543-1502642231.xml TIME LIMIT= 2016 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 4a8acae89d0947337e32da9d5bedd9eb RANDOM SEED=613809170 node150.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 : 5332.89 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.89 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.89 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.89 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770624 kB MemFree: 27186380 kB MemAvailable: 31977544 kB Buffers: 242124 kB Cached: 4826128 kB SwapCached: 0 kB Active: 681748 kB Inactive: 4440840 kB Active(anon): 56984 kB Inactive(anon): 25068 kB Active(file): 624764 kB Inactive(file): 4415772 kB Unevictable: 6228 kB Mlocked: 6228 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 7576 kB Writeback: 0 kB AnonPages: 60120 kB Mapped: 43768 kB Shmem: 25224 kB Slab: 159036 kB SReclaimable: 132924 kB SUnreclaim: 26112 kB KernelStack: 3216 kB PageTables: 4760 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 323688 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: 120192 kB DirectMap2M: 33425408 kB Free space on /tmp at the end= 61628 MiB End job on node150 at 2017-08-13 18:27:04