Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
choco-solver 2019-09-20 parallel | SAT | 983.936 | 126.132 |
Name | Subisomorphism/Subisomorphism-m1-si4-rand/ Subisomorphism-si4-r001-m600-08.xml |
MD5SUM | 8e810070148f78cd392ecc5d984ef703 |
Bench Category | CSP (decision problem) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | 8.69989 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 240 |
Number of constraints | 817 |
Number of domains | 1 |
Minimum domain size | 600 |
Maximum domain size | 600 |
Distribution of domain sizes | [{"size":600,"count":240}] |
Minimum variable degree | 2 |
Maximum variable degree | 14 |
Distribution of variable degrees | [{"degree":2,"count":3},{"degree":3,"count":18},{"degree":4,"count":26},{"degree":5,"count":33},{"degree":7,"count":51},{"degree":8,"count":41},{"degree":9,"count":29},{"degree":10,"count":15},{"degree":11,"count":9},{"degree":12,"count":9},{"degree":13,"count":4},{"degree":14,"count":2}] |
Minimum constraint arity | 1 |
Maximum constraint arity | 240 |
Distribution of constraint arities | [{"arity":1,"count":160},{"arity":2,"count":656},{"arity":240,"count":1}] |
Number of extensional constraints | 816 |
Number of intensional constraints | 0 |
Distribution of constraint types | [{"type":"extension","count":816},{"type":"allDifferent","count":1}] |
Optimization problem | NO |
Type of objective |
0.00/0.00 c java -server -Xmx24000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4404478-1569002095.xml" -tl '20160s' -p 8 0.12/0.18 c Choco 3fb4b153 0.12/0.18 c [HOME/instance-4404478-1569002095.xml, -tl, 20160s, -p, 8] 0.33/0.22 c 8 solvers in parallel 0.33/0.28 c parse instance... 12.26/3.95 c solve instance... 983.79/126.10 s SATISFIABLE 983.79/126.10 v <instantiation> 983.79/126.10 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] x[26] x[27] x[28] x[29] x[30] x[31] x[32] x[33] x[34] x[35] x[36] x[37] x[38] x[39] x[40] x[41] x[42] x[43] x[44] x[45] x[46] x[47] x[48] x[49] x[50] x[51] x[52] x[53] x[54] x[55] x[56] x[57] x[58] x[59] x[60] x[61] x[62] x[63] x[64] x[65] x[66] x[67] x[68] x[69] x[70] x[71] x[72] x[73] x[74] x[75] x[76] x[77] x[78] x[79] x[80] x[81] x[82] x[83] x[84] x[85] x[86] x[87] x[88] x[89] x[90] x[91] x[92] x[93] x[94] x[95] x[96] x[97] x[98] x[99] x[100] x[101] x[102] x[103] x[104] x[105] x[106] x[107] x[108] x[109] x[110] x[111] x[112] x[113] x[114] x[115] x[116] x[117] x[118] x[119] x[120] x[121] x[122] x[123] x[124] x[125] x[126] x[127] x[128] x[129] x[130] x[131] x[132] x[133] x[134] x[135] x[136] x[137] x[138] x[139] x[140] x[141] x[142] x[143] x[144] x[145] x[146] x[147] x[148] x[149] x[150] x[151] x[152] x[153] x[154] x[155] x[156] x[157] x[158] x[159] x[160] x[161] x[162] x[163] x[164] x[165] x[166] x[167] x[168] x[169] x[170] x[171] x[172] x[173] x[174] x[175] x[176] x[177] x[178] x[179] x[180] x[181] x[182] x[183] x[184] x[185] x[186] x[187] x[188] x[189] x[190] x[191] x[192] x[193] x[194] x[195] x[196] x[197] x[198] x[199] x[200] x[201] x[202] x[203] x[204] x[205] x[206] x[207] x[208] x[209] x[210] x[211] x[212] x[213] x[214] x[215] x[216] x[217] x[218] x[219] x[220] x[221] x[222] x[223] x[224] x[225] x[226] x[227] x[228] x[229] x[230] x[231] x[232] x[233] x[234] x[235] x[236] x[237] x[238] x[239] </list> 983.79/126.10 v <values>423 141 147 588 172 233 249 91 390 27 558 382 455 539 519 197 434 414 593 179 591 9 33 0 184 55 222 113 385 532 551 413 240 439 306 286 69 250 501 112 525 227 23 494 92 403 526 107 28 499 41 122 259 74 340 89 377 402 255 521 356 194 42 290 235 106 77 393 549 217 126 101 111 31 469 400 100 130 280 552 321 325 524 125 473 274 449 395 562 124 212 19 375 577 93 34 6 548 46 213 305 318 202 420 537 167 270 560 262 550 45 264 332 88 230 283 463 73 133 354 333 485 361 478 594 520 302 563 177 533 468 296 129 349 56 4 596 317 583 481 433 504 470 246 540 36 18 304 534 530 536 364 376 326 374 83 52 292 486 346 339 195 90 479 427 173 465 271 373 487 466 64 587 288 8 351 399 225 53 459 475 170 50 2 193 152 527 556 47 371 531 362 191 151 78 178 281 564 575 372 87 62 188 576 98 186 348 412 491 297 138 324 541 506 553 419 142 257 384 309 231 502 301 131 127 574 25 571 245 117 3 350 513 95 416 338 267 366 71 561 </values> 983.79/126.10 v </instantiation>
OK
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 (11967 MiB free) memory of node 1: 16384 MiB (9796 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4404478-1569002095/watcher-4404478-1569002095 -o /var/tmp/evaluation-result-4404478-1569002095/solver-4404478-1569002095 -C 20160 -W 2520 -M 31000 --bin-var /var/tmp/runsolver-exch-node146-1568994486-15792 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 1960588481 HOME/instance-4404478-1569002095.xml running on 8 cores: 0,2,4,6,1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 20160 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 20190 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 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=19216, runsolver pid=19213 [startup+0.100119 s]* /proc/loadavg: 7.46 8.15 8.26 3/213 19237 /proc/meminfo: memFree=22270396/32770624 swapFree=67001780/67108860 [pid=19216] ppid=19213 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/19216/stat : 19216 (xcsp3-exec) S 19213 19216 15765 0 -1 4202496 547 0 0 0 0 0 0 0 20 0 1 0 476123410 115843072 363 33554432000 4194304 5098028 140727598405616 140727598403720 139954912305788 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 23519232 140727598408529 140727598408789 140727598408789 140727598411718 0 /proc/19216/statm: 28282 363 304 221 0 87 0 [pid=19218] ppid=19216 vsize=28227396 memory=28688 CPUtime=0.12 cores=0-7 /proc/19218/stat : 19218 (java) S 19216 19216 15765 0 -1 1077944320 5654 0 0 0 11 1 0 0 20 0 20 0 476123410 28904853504 7172 33554432000 4194304 4196468 140723844174768 140723844157312 140612592348919 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 36671488 140723844182998 140723844183174 140723844183174 140723844186063 0 /proc/19218/statm: 7056849 7172 3098 1 0 7019032 0 [pid=19218/tid=19219] ppid=19216 vsize=28227396 memory=1398722017469774279 CPUtime=0.09 cores=0-7 /proc/19218/task/19219/stat : 19219 (java) R 19216 19216 15765 0 -1 4202560 3596 0 0 0 8 1 0 0 20 0 20 0 476123410 28904853504 7172 33554432000 4194304 4196468 140723844174768 140612596582192 140612576456050 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 36671488 140723844182998 140723844183174 140723844183174 140723844186063 0 [pid=19218/tid=19220] ppid=19216 vsize=28227396 memory=4872558044660077418 CPUtime=0 cores=0-7 /proc/19218/task/19220/stat : 19220 (java) S 19216 19216 15765 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476123411 28904853504 7172 33554432000 4194304 4196468 140723844174768 140612544969616 140612592359125 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36671488 140723844182998 140723844183174 140723844183174 140723844186063 0 [pid=19218/tid=19221] ppid=19216 vsize=28227396 memory=139861937649280 CPUtime=0 cores=0-7 /proc/19218/task/19221/stat : 19221 (java) S 19216 19216 15765 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476123411 28904853504 7172 33554432000 4194304 4196468 140723844174768 140612543916816 140612592359125 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36671488 140723844182998 140723844183174 140723844183174 140723844186063 0 [pid=19218/tid=19222] ppid=19216 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/19218/task/19222/stat : 19222 (java) S 19216 19216 15765 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476123411 28904853504 7172 33554432000 4194304 4196468 140723844174768 140612542864528 140612592359125 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36671488 140723844182998 140723844183174 140723844183174 140723844186063 0 [pid=19218/tid=19223] ppid=19216 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/19218/task/19223/stat : 19223 (java) S 19216 19216 15765 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476123411 28904853504 7172 33554432000 4194304 4196468 140723844174768 140612541811728 140612592359125 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36671488 140723844182998 140723844183174 140723844183174 140723844186063 0 [pid=19218/tid=19224] ppid=19216 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/19218/task/19224/stat : 19224 (java) S 19216 19216 15765 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476123411 28904853504 7172 33554432000 4194304 4196468 140723844174768 140612540758416 140612592359125 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36671488 140723844182998 140723844183174 140723844183174 140723844186063 0 [pid=19218/tid=19225] ppid=19216 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/19218/task/19225/stat : 19225 (java) S 19216 19216 15765 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476123411 28904853504 7172 33554432000 4194304 4196468 140723844174768 140612539705616 140612592359125 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36671488 140723844182998 140723844183174 140723844183174 140723844186063 0 [pid=19218/tid=19226] ppid=19216 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/19218/task/19226/stat : 19226 (java) S 19216 19216 15765 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476123411 28904853504 7172 33554432000 4194304 4196468 140723844174768 140612538653328 140612592359125 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36671488 140723844182998 140723844183174 140723844183174 140723844186063 0 [pid=19218/tid=19227] ppid=19216 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/19218/task/19227/stat : 19227 (java) S 19216 19216 15765 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476123411 28904853504 7172 33554432000 4194304 4196468 140723844174768 140612537600528 140612592359125 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36671488 140723844182998 140723844183174 140723844183174 140723844186063 0 [pid=19218/tid=19228] ppid=19216 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/19218/task/19228/stat : 19228 (java) S 19216 19216 15765 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476123413 28904853504 7172 33554432000 4194304 4196468 140723844174768 140610719705712 140612592360066 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36671488 140723844182998 140723844183174 140723844183174 140723844186063 0 [pid=19218/tid=19229] ppid=19216 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/19218/task/19229/stat : 19229 (java) S 19216 19216 15765 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 476123413 28904853504 7172 33554432000 4194304 4196468 140723844174768 140610718651680 140612592359125 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36671488 140723844182998 140723844183174 140723844183174 140723844186063 0 [pid=19218/tid=19230] ppid=19216 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/19218/task/19230/stat : 19230 (java) S 19216 19216 15765 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 476123413 28904853504 7172 33554432000 4194304 4196468 140723844174768 140610717599344 140612592359125 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36671488 140723844182998 140723844183174 140723844183174 140723844186063 0 [pid=19218/tid=19231] ppid=19216 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/19218/task/19231/stat : 19231 (java) S 19216 19216 15765 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476123416 28904853504 7172 33554432000 4194304 4196468 140723844174768 140610716547664 140612592367515 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36671488 140723844182998 140723844183174 140723844183174 140723844186063 0 [pid=19218/tid=19232] ppid=19216 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/19218/task/19232/stat : 19232 (java) S 19216 19216 15765 0 -1 1077944384 29 0 0 0 0 0 0 0 20 0 20 0 476123416 28904853504 7172 33554432000 4194304 4196468 140723844174768 140610715494512 140612592360066 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36671488 140723844182998 140723844183174 140723844183174 140723844186063 0 [pid=19218/tid=19233] ppid=19216 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/19218/task/19233/stat : 19233 (java) S 19216 19216 15765 0 -1 1077944384 277 0 0 0 0 0 0 0 20 0 20 0 476123416 28904853504 7172 33554432000 4194304 4196468 140723844174768 140610714441712 140612592360066 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36671488 140723844182998 140723844183174 140723844183174 140723844186063 0 [pid=19218/tid=19234] ppid=19216 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/19218/task/19234/stat : 19234 (java) S 19216 19216 15765 0 -1 1077944384 122 0 0 0 0 0 0 0 20 0 20 0 476123416 28904853504 7172 33554432000 4194304 4196468 140723844174768 140610713389424 140612592360066 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36671488 140723844182998 140723844183174 140723844183174 140723844186063 0 [pid=19218/tid=19235] ppid=19216 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7 /proc/19218/task/19235/stat : 19235 (java) S 19216 19216 15765 0 -1 1077944384 321 0 0 0 1 0 0 0 20 0 20 0 476123416 28904853504 7172 33554432000 4194304 4196468 140723844174768 140610712336624 140612592360066 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36671488 140723844182998 140723844183174 140723844183174 140723844186063 0 [pid=19218/tid=19236] ppid=19216 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/19218/task/19236/stat : 19236 (java) S 19216 19216 15765 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476123416 28904853504 7172 33554432000 4194304 4196468 140723844174768 140610711284576 140612592359125 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36671488 140723844182998 140723844183174 140723844183174 140723844186063 0 [pid=19218/tid=19237] ppid=19216 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/19218/task/19237/stat : 19237 (java) S 19216 19216 15765 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476123416 28904853504 7172 33554432000 4194304 4196468 140723844174768 140610710231856 140612592360066 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36671488 140723844182998 140723844183174 140723844183174 140723844186063 0 Current children cumulated CPU time: 0.12 s Current children cumulated vsize: 28340524 KiB Current children cumulated memory: 30140 KiB [startup+0.210302 s]* /proc/loadavg: 7.46 8.15 8.26 2/213 19237 /proc/meminfo: memFree=22255628/32770624 swapFree=67001780/67108860 [pid=19216] ppid=19213 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/19216/stat : 19216 (xcsp3-exec) S 19213 19216 15765 0 -1 4202496 547 0 0 0 0 0 0 0 20 0 1 0 476123410 115843072 363 33554432000 4194304 5098028 140727598405616 140727598403720 139954912305788 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 23519232 140727598408529 140727598408789 140727598408789 140727598411718 0 /proc/19216/statm: 28282 363 304 221 0 87 0 [pid=19218] ppid=19216 vsize=28227396 memory=41048 CPUtime=0.33 cores=0-7 /proc/19218/stat : 19218 (java) S 19216 19216 15765 0 -1 1077944320 9536 0 0 0 30 3 0 0 20 0 20 0 476123410 28904853504 10262 33554432000 4194304 4196468 140723844174768 140723844157312 140612592348919 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 36671488 140723844182998 140723844183174 140723844183174 140723844186063 0 /proc/19218/statm: 7056849 10262 3284 1 0 7019032 0 [pid=19218/tid=19219] ppid=19216 vsize=28227396 memory=8318255677412212789 CPUtime=0.2 cores=0-7 /proc/19218/task/19219/stat : 19219 (java) R 19216 19216 15765 0 -1 4202560 6637 0 0 0 18 2 0 0 20 0 20 0 476123410 28904853504 10262 33554432000 4194304 4196468 140723844174768 140612596582176 140612576429406 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 36671488 140723844182998 140723844183174 140723844183174 140723844186063 0 [pid=19218/tid=19220] ppid=19216 vsize=28227396 memory=339 CPUtime=0 cores=0-7 /proc/19218/task/19220/stat : 19220 (java) S 19216 19216 15765 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476123411 28904853504 10262 33554432000 4194304 4196468 140723844174768 140612544969616 140612592359125 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36671488 140723844182998 140723844183174 140723844183174 140723844186063 0 [pid=19218/tid=19221] ppid=19216 vsize=28227396 memory=288370238089361024 CPUtime=0 cores=0-7 /proc/19218/task/19221/stat : 19221 (java) S 19216 19216 15765 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476123411 28904853504 10262 33554432000 4194304 4196468 140723844174768 140612543916816 140612592359125 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36671488 140723844182998 140723844183174 140723844183174 140723844186063 0 [pid=19218/tid=19222] ppid=19216 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/19218/task/19222/stat : 19222 (java) S 19216 19216 15765 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476123411 28904853504 10262 33554432000 4194304 4196468 140723844174768 140612542864528 140612592359125 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36671488 140723844182998 140723844183174 140723844183174 140723844186063 0 [pid=19218/tid=19223] ppid=19216 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/19218/task/19223/stat : 19223 (java) S 19216 19216 15765 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476123411 28904853504 10262 33554432000 4194304 4196468 140723844174768 140612541811728 140612592359125 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36671488 140723844182998 140723844183174 140723844183174 140723844186063 0 [pid=19218/tid=19224] ppid=19216 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/19218/task/19224/stat : 19224 (java) S 19216 19216 15765 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476123411 28904853504 10262 33554432000 4194304 4196468 140723844174768 140612540758416 140612592359125 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36671488 140723844182998 140723844183174 140723844183174 140723844186063 0 [pid=19218/tid=19225] ppid=19216 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/19218/task/19225/stat : 19225 (java) S 19216 19216 15765 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476123411 28904853504 10262 33554432000 4194304 4196468 140723844174768 140612539705616 140612592359125 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36671488 140723844182998 140723844183174 140723844183174 140723844186063 0 [pid=19218/tid=19226] ppid=19216 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/19218/task/19226/stat : 19226 (java) S 19216 19216 15765 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476123411 28904853504 10262 33554432000 4194304 4196468 140723844174768 140612538653328 140612592359125 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36671488 140723844182998 140723844183174 140723844183174 140723844186063 0 [pid=19218/tid=19227] ppid=19216 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/19218/task/19227/stat : 19227 (java) S 19216 19216 15765 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476123411 28904853504 10262 33554432000 4194304 4196468 140723844174768 140612537600528 140612592359125 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36671488 140723844182998 140723844183174 140723844183174 140723844186063 0 [pid=19218/tid=19228] ppid=19216 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/19218/task/19228/stat : 19228 (java) S 19216 19216 15765 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 476123413 28904853504 10262 33554432000 4194304 4196468 140723844174768 140610719705712 140612592360066 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36671488 140723844182998 140723844183174 140723844183174 140723844186063 0 [pid=19218/tid=19229] ppid=19216 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/19218/task/19229/stat : 19229 (java) S 19216 19216 15765 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 476123413 28904853504 10262 33554432000 4194304 4196468 140723844174768 140610718651680 140612592359125 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36671488 140723844182998 140723844183174 140723844183174 140723844186063 0 [pid=19218/tid=19230] ppid=19216 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/19218/task/19230/stat : 19230 (java) S 19216 19216 15765 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 476123413 28904853504 10262 33554432000 4194304 4196468 140723844174768 140610717599344 140612592359125 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36671488 140723844182998 140723844183174 140723844183174 140723844186063 0 [pid=19218/tid=19231] ppid=19216 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/19218/task/19231/stat : 19231 (java) S 19216 19216 15765 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476123416 28904853504 10262 33554432000 4194304 4196468 140723844174768 140610716547664 140612592367515 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36671488 140723844182998 140723844183174 140723844183174 140723844186063 0 [pid=19218/tid=19232] ppid=19216 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7 /proc/19218/task/19232/stat : 19232 (java) S 19216 19216 15765 0 -1 1077944384 282 0 0 0 1 0 0 0 20 0 20 0 476123416 28904853504 10262 33554432000 4194304 4196468 140723844174768 140610715494512 140612592360066 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36671488 140723844182998 140723844183174 140723844183174 140723844186063 0 [pid=19218/tid=19233] ppid=19216 vsize=28227396 memory=0 CPUtime=0.02 cores=0-7 /proc/19218/task/19233/stat : 19233 (java) R 19216 19216 15765 0 -1 1077944384 391 0 0 0 2 0 0 0 20 0 20 0 476123416 28904853504 10262 33554432000 4194304 4196468 140723844174768 140610714441712 140612592360066 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36671488 140723844182998 140723844183174 140723844183174 140723844186063 0 [pid=19218/tid=19234] ppid=19216 vsize=28227396 memory=-1 CPUtime=0.01 cores=0-7 /proc/19218/task/19234/stat : 19234 (java) S 19216 19216 15765 0 -1 1077944384 154 0 0 0 1 0 0 0 20 0 20 0 476123416 28904853504 10262 33554432000 4194304 4196468 140723844174768 140610713389424 140612592360066 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36671488 140723844182998 140723844183174 140723844183174 140723844186063 0 [pid=19218/tid=19235] ppid=19216 vsize=28227396 memory=-1 CPUtime=0.07 cores=0-7 /proc/19218/task/19235/stat : 19235 (java) R 19216 19216 15765 0 -1 4202560 759 0 0 0 7 0 0 0 20 0 20 0 476123416 28904853504 10262 33554432000 4194304 4196468 140723844174768 140610712336624 140612571367312 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 36671488 140723844182998 140723844183174 140723844183174 140723844186063 0 [pid=19218/tid=19236] ppid=19216 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/19218/task/19236/stat : 19236 (java) S 19216 19216 15765 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476123416 28904853504 10262 33554432000 4194304 4196468 140723844174768 140610711284576 140612592359125 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36671488 140723844182998 140723844183174 140723844183174 140723844186063 0 [pid=19218/tid=19237] ppid=19216 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/19218/task/19237/stat : 19237 (java) S 19216 19216 15765 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476123416 28904853504 10262 33554432000 4194304 4196468 140723844174768 140610710231856 140612592360066 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36671488 140723844182998 140723844183174 140723844183174 140723844186063 0 Current children cumulated CPU time: 0.33 s Current children cumulated vsize: 28340524 KiB Current children cumulated memory: 42500 KiB [startup+0.309713 s]* /proc/loadavg: 7.46 8.15 8.26 3/213 19237 /proc/meminfo: memFree=22249224/32770624 swapFree=67001780/67108860 [pid=19216] ppid=19213 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/19216/stat : 19216 (xcsp3-exec) S 19213 19216 15765 0 -1 4202496 547 0 0 0 0 0 0 0 20 0 1 0 476123410 115843072 363 33554432000 4194304 5098028 140727598405616 140727598403720 139954912305788 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 23519232 140727598408529 140727598408789 140727598408789 140727598411718 0 /proc/19216/statm: 28282 363 304 221 0 87 0 [pid=19218] ppid=19216 vsize=28231652 memory=49748 CPUtime=0.52 cores=0-7 /proc/19218/stat : 19218 (java) S 19216 19216 15765 0 -1 1077944320 10779 0 0 0 48 4 0 0 20 0 20 0 476123410 28909211648 12437 33554432000 4194304 4196468 140723844174768 140723844157312 140612592348919 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 36671488 140723844182998 140723844183174 140723844183174 140723844186063 0 /proc/19218/statm: 7057913 12437 3346 1 0 7019032 0 [pid=19218/tid=19219] ppid=19216 vsize=28231652 memory=1398722017469774279 CPUtime=0.29 cores=0-7 /proc/19218/task/19219/stat : 19219 (java) R 19216 19216 15765 0 -1 4202560 7772 0 0 0 27 2 0 0 20 0 20 0 476123410 28909211648 12437 33554432000 4194304 4196468 140723844174768 140612596582704 140612576429406 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36671488 140723844182998 140723844183174 140723844183174 140723844186063 0 [pid=19218/tid=19220] ppid=19216 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/19218/task/19220/stat : 19220 (java) S 19216 19216 15765 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476123411 28909211648 12437 33554432000 4194304 4196468 140723844174768 140612544969616 140612592359125 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36671488 140723844182998 140723844183174 140723844183174 140723844186063 0 [pid=19218/tid=19221] ppid=19216 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/19218/task/19221/stat : 19221 (java) S 19216 19216 15765 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476123411 28909211648 12437 33554432000 4194304 4196468 140723844174768 140612543916816 140612592359125 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36671488 140723844182998 140723844183174 140723844183174 140723844186063 0 [pid=19218/tid=19222] ppid=19216 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/19218/task/19222/stat : 19222 (java) S 19216 19216 15765 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476123411 28909211648 12437 33554432000 4194304 4196468 140723844174768 140612542864528 140612592359125 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36671488 140723844182998 140723844183174 140723844183174 140723844186063 0 [pid=19218/tid=19223] ppid=19216 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/19218/task/19223/stat : 19223 (java) S 19216 19216 15765 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476123411 28909211648 12437 33554432000 4194304 4196468 140723844174768 140612541811728 140612592359125 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36671488 140723844182998 140723844183174 140723844183174 140723844186063 0 [pid=19218/tid=19224] ppid=19216 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/19218/task/19224/stat : 19224 (java) S 19216 19216 15765 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476123411 28909211648 12437 33554432000 4194304 4196468 140723844174768 140612540758416 140612592359125 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36671488 140723844182998 140723844183174 140723844183174 140723844186063 0 [pid=19218/tid=19225] ppid=19216 vsize=28231652 memory=139861784881839 CPUtime=0 cores=0-7 /proc/19218/task/19225/stat : 19225 (java) S 19216 19216 15765 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476123411 28909211648 12437 33554432000 4194304 4196468 140723844174768 140612539705616 140612592359125 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36671488 140723844182998 140723844183174 140723844183174 140723844186063 0 [pid=19218/tid=19226] ppid=19216 vsize=28231652 memory=139861784884144 CPUtime=0 cores=0-7 /proc/19218/task/19226/stat : 19226 (java) S 19216 19216 15765 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476123411 28909211648 12437 33554432000 4194304 4196468 140723844174768 140612538653328 140612592359125 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36671488 140723844182998 140723844183174 140723844183174 140723844186063 0 [pid=19218/tid=19227] ppid=19216 vsize=28231652 memory=139861784886448 CPUtime=0 cores=0-7 /proc/19218/task/19227/stat : 19227 (java) S 19216 19216 15765 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476123411 28909211648 12437 33554432000 4194304 4196468 140723844174768 140612537600528 140612592359125 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36671488 140723844182998 140723844183174 140723844183174 140723844186063 0 [pid=19218/tid=19228] ppid=19216 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/19218/task/19228/stat : 19228 (java) S 19216 19216 15765 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 476123413 28909211648 12437 33554432000 4194304 4196468 140723844174768 140610719705712 140612592360066 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36671488 140723844182998 140723844183174 140723844183174 140723844186063 0 [pid=19218/tid=19229] ppid=19216 vsize=28231652 memory=279723569786768 CPUtime=0 cores=0-7 /proc/19218/task/19229/stat : 19229 (java) S 19216 19216 15765 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 476123413 28909211648 12437 33554432000 4194304 4196468 140723844174768 140610718651680 140612592359125 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36671488 140723844182998 140723844183174 140723844183174 140723844186063 0 [pid=19218/tid=19230] ppid=19216 vsize=28231652 memory=279723569784464 CPUtime=0 cores=0-7 /proc/19218/task/19230/stat : 19230 (java) S 19216 19216 15765 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 476123413 28909211648 12437 33554432000 4194304 4196468 140723844174768 140610717599344 140612592359125 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36671488 140723844182998 140723844183174 140723844183174 140723844186063 0 [pid=19218/tid=19231] ppid=19216 vsize=28231652 memory=279723569791376 CPUtime=0 cores=0-7 /proc/19218/task/19231/stat : 19231 (java) S 19216 19216 15765 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476123416 28909211648 12437 33554432000 4194304 4196468 140723844174768 140610716547664 140612592367515 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36671488 140723844182998 140723844183174 140723844183174 140723844186063 0 [pid=19218/tid=19232] ppid=19216 vsize=28231652 memory=279723569732656 CPUtime=0.02 cores=0-7 /proc/19218/task/19232/stat : 19232 (java) S 19216 19216 15765 0 -1 1077944384 282 0 0 0 2 0 0 0 20 0 20 0 476123416 28909211648 12437 33554432000 4194304 4196468 140723844174768 140610715494512 140612592360066 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36671488 140723844182998 140723844183174 140723844183174 140723844186063 0 [pid=19218/tid=19233] ppid=19216 vsize=28231652 memory=279723569805200 CPUtime=0.03 cores=0-7 /proc/19218/task/19233/stat : 19233 (java) S 19216 19216 15765 0 -1 1077944384 414 0 0 0 3 0 0 0 20 0 20 0 476123416 28909211648 12437 33554432000 4194304 4196468 140723844174768 140610714441712 140612592360066 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36671488 140723844182998 140723844183174 140723844183174 140723844186063 0 [pid=19218/tid=19234] ppid=19216 vsize=28231652 memory=279723569812112 CPUtime=0.01 cores=0-7 /proc/19218/task/19234/stat : 19234 (java) S 19216 19216 15765 0 -1 1077944384 154 0 0 0 1 0 0 0 20 0 20 0 476123416 28909211648 12437 33554432000 4194304 4196468 140723844174768 140610713389424 140612592360066 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36671488 140723844182998 140723844183174 140723844183174 140723844186063 0 [pid=19218/tid=19235] ppid=19216 vsize=28231652 memory=279723569809808 CPUtime=0.12 cores=0-7 /proc/19218/task/19235/stat : 19235 (java) S 19216 19216 15765 0 -1 1077944384 847 0 0 0 12 0 0 0 20 0 20 0 476123416 28909211648 12437 33554432000 4194304 4196468 140723844174768 140610712336624 140612592360066 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36671488 140723844182998 140723844183174 140723844183174 140723844186063 0 [pid=19218/tid=19236] ppid=19216 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/19218/task/19236/stat : 19236 (java) S 19216 19216 15765 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476123416 28909211648 12437 33554432000 4194304 4196468 140723844174768 140610711284576 140612592359125 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36671488 140723844182998 140723844183174 140723844183174 140723844186063 0 [pid=19218/tid=19237] ppid=19216 vsize=28231652 memory=-1 CPUtime=0 cores=0-7 /proc/19218/task/19237/stat : 19237 (java) S 19216 19216 15765 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476123416 28909211648 12437 33554432000 4194304 4196468 140723844174768 140610710231856 140612592360066 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36671488 140723844182998 140723844183174 140723844183174 140723844186063 0 Current children cumulated CPU time: 0.52 s Current children cumulated vsize: 28344780 KiB Current children cumulated memory: 51200 KiB [startup+0.70094 s] /proc/loadavg: 7.46 8.15 8.26 5/213 19237 /proc/meminfo: memFree=22233440/32770624 swapFree=67001780/67108860 [pid=19216] ppid=19213 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/19216/stat : 19216 (xcsp3-exec) S 19213 19216 15765 0 -1 4202496 547 0 0 0 0 0 0 0 20 0 1 0 476123410 115843072 363 33554432000 4194304 5098028 140727598405616 140727598403720 139954912305788 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 23519232 140727598408529 140727598408789 140727598408789 140727598411718 0 /proc/19216/statm: 28282 363 304 221 0 87 0 [pid=19218] ppid=19216 vsize=28233776 memory=109276 CPUtime=1.8 cores=0-7 /proc/19218/stat : 19218 (java) S 19216 19216 15765 0 -1 1077944320 16480 0 0 0 174 6 0 0 20 0 20 0 476123410 28911386624 27319 33554432000 4194304 4196468 140723844174768 140723844157312 140612592348919 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 36671488 140723844182998 140723844183174 140723844183174 140723844186063 0 /proc/19218/statm: 7058444 27319 3453 1 0 7019544 0 [pid=19218/tid=19219] ppid=19216 vsize=28233776 memory=0 CPUtime=0.67 cores=0-7 /proc/19218/task/19219/stat : 19219 (java) R 19216 19216 15765 0 -1 4202560 9063 0 0 0 64 3 0 0 20 0 20 0 476123410 28911386624 27319 33554432000 4194304 4196468 140723844174768 140612596584080 140612213031736 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 36671488 140723844182998 140723844183174 140723844183174 140723844186063 0 [pid=19218/tid=19220] ppid=19216 vsize=28233776 memory=139861785092976 CPUtime=0 cores=0-7 /proc/19218/task/19220/stat : 19220 (java) S 19216 19216 15765 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476123411 28911386624 27319 33554432000 4194304 4196468 140723844174768 140612544969616 140612592359125 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36671488 140723844182998 140723844183174 140723844183174 140723844186063 0 [pid=19218/tid=19221] ppid=19216 vsize=28233776 memory=0 CPUtime=0 cores=0-7 /proc/19218/task/19221/stat : 19221 (java) S 19216 19216 15765 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476123411 28911386624 27319 33554432000 4194304 4196468 140723844174768 140612543916816 140612592359125 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36671488 140723844182998 140723844183174 140723844183174 140723844186063 0 [pid=19218/tid=19222] ppid=19216 vsize=28233776 memory=1056 CPUtime=0 cores=0-7 /proc/19218/task/19222/stat : 19222 (java) S 19216 19216 15765 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476123411 28911386624 27319 33554432000 4194304 4196468 140723844174768 140612542864528 140612592359125 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36671488 140723844182998 140723844183174 140723844183174 140723844186063 0 ################ # More data... # ################ [pid=19218/tid=19240] ppid=19216 vsize=28766288 memory=1768 CPUtime=119.71 cores=0-7 /proc/19218/task/19240/stat : 19240 (java) R 19216 19216 15765 0 -1 4202560 5524 0 0 0 11960 11 0 0 20 0 28 0 476123807 29456678912 570849 33554432000 4194304 4196468 140723844174768 140610699144952 140612221785204 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 36671488 140723844182998 140723844183174 140723844183174 140723844186063 0 [pid=19218/tid=19241] ppid=19216 vsize=28766288 memory=111636 CPUtime=119.09 cores=0-7 /proc/19218/task/19241/stat : 19241 (java) R 19216 19216 15765 0 -1 4202560 4403 0 0 0 11904 5 0 0 20 0 28 0 476123807 29456678912 570849 33554432000 4194304 4196468 140723844174768 140610698094040 140612221785222 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 36671488 140723844182998 140723844183174 140723844183174 140723844186063 0 [pid=19218/tid=19242] ppid=19216 vsize=28766288 memory=808 CPUtime=119.19 cores=0-7 /proc/19218/task/19242/stat : 19242 (java) R 19216 19216 15765 0 -1 4202560 3112 0 0 0 11913 6 0 0 20 0 28 0 476123807 29456678912 570849 33554432000 4194304 4196468 140723844174768 140610697039616 140612221737700 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 36671488 140723844182998 140723844183174 140723844183174 140723844186063 0 [pid=19218/tid=19243] ppid=19216 vsize=28766288 memory=1800 CPUtime=119.05 cores=0-7 /proc/19218/task/19243/stat : 19243 (java) R 19216 19216 15765 0 -1 4202560 4682 0 0 0 11900 5 0 0 20 0 28 0 476123807 29456678912 570849 33554432000 4194304 4196468 140723844174768 140610695987080 140612221737020 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36671488 140723844182998 140723844183174 140723844183174 140723844186063 0 [pid=19218/tid=19244] ppid=19216 vsize=28766288 memory=920 CPUtime=119.25 cores=0-7 /proc/19218/task/19244/stat : 19244 (java) R 19216 19216 15765 0 -1 4202560 131102 0 0 0 11897 28 0 0 20 0 28 0 476123807 29456678912 570849 33554432000 4194304 4196468 140723844174768 140610694934792 140612221737043 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 36671488 140723844182998 140723844183174 140723844183174 140723844186063 0 [pid=19218/tid=19245] ppid=19216 vsize=28766288 memory=4484 CPUtime=118.2 cores=0-7 /proc/19218/task/19245/stat : 19245 (java) R 19216 19216 15765 0 -1 4202560 39297 0 0 0 11812 8 0 0 20 0 28 0 476123808 29456678912 570849 33554432000 4194304 4196468 140723844174768 140610693881992 140612221785150 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 36671488 140723844182998 140723844183174 140723844183174 140723844186063 0 Current children cumulated CPU time: 975.29 s Current children cumulated vsize: 28879416 KiB Current children cumulated memory: 2284848 KiB [startup+125.601 s] /proc/loadavg: 8.03 8.10 8.22 9/219 19254 /proc/meminfo: memFree=20016336/32770624 swapFree=67001780/67108860 [pid=19216] ppid=19213 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/19216/stat : 19216 (xcsp3-exec) S 19213 19216 15765 0 -1 4202496 547 0 0 0 0 0 0 0 20 0 1 0 476123410 115843072 363 33554432000 4194304 5098028 140727598405616 140727598403720 139954912305788 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 23519232 140727598408529 140727598408789 140727598408789 140727598411718 0 /proc/19216/statm: 28282 363 304 221 0 87 0 [pid=19218] ppid=19216 vsize=28766288 memory=2283396 CPUtime=981.67 cores=0-7 /proc/19218/stat : 19218 (java) S 19216 19216 15765 0 -1 1077944320 309944 0 0 0 97756 411 0 0 20 0 28 0 476123410 29456678912 570849 33554432000 4194304 4196468 140723844174768 140723844157312 140612592348919 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 36671488 140723844182998 140723844183174 140723844183174 140723844186063 0 /proc/19218/statm: 7191572 570849 3539 1 0 7152672 0 [pid=19218/tid=19219] ppid=19216 vsize=28766288 memory=988 CPUtime=3.21 cores=0-7 /proc/19218/task/19219/stat : 19219 (java) S 19216 19216 15765 0 -1 1077944384 10668 0 0 0 308 13 0 0 20 0 28 0 476123410 29456678912 570849 33554432000 4194304 4196468 140723844174768 140612596589696 140612592359125 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36671488 140723844182998 140723844183174 140723844183174 140723844186063 0 [pid=19218/tid=19220] ppid=19216 vsize=28766288 memory=2012 CPUtime=1.47 cores=0-7 /proc/19218/task/19220/stat : 19220 (java) S 19216 19216 15765 0 -1 1077944384 4097 0 0 0 110 37 0 0 20 0 28 0 476123411 29456678912 570849 33554432000 4194304 4196468 140723844174768 140612544969616 140612592359125 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 1 0 0 6293624 6294260 36671488 140723844182998 140723844183174 140723844183174 140723844186063 0 [pid=19218/tid=19221] ppid=19216 vsize=28766288 memory=1452 CPUtime=1.5 cores=0-7 /proc/19218/task/19221/stat : 19221 (java) S 19216 19216 15765 0 -1 1077944384 4707 0 0 0 111 39 0 0 20 0 28 0 476123411 29456678912 570849 33554432000 4194304 4196468 140723844174768 140612543916816 140612592359125 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36671488 140723844182998 140723844183174 140723844183174 140723844186063 0 [pid=19218/tid=19222] ppid=19216 vsize=28766288 memory=2283396 CPUtime=1.42 cores=0-7 /proc/19218/task/19222/stat : 19222 (java) S 19216 19216 15765 0 -1 1077944384 3758 0 0 0 107 35 0 0 20 0 28 0 476123411 29456678912 570849 33554432000 4194304 4196468 140723844174768 140612542864528 140612592359125 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 1 0 0 6293624 6294260 36671488 140723844182998 140723844183174 140723844183174 140723844186063 0 [pid=19218/tid=19223] ppid=19216 vsize=28766288 memory=3616 CPUtime=1.47 cores=0-7 /proc/19218/task/19223/stat : 19223 (java) S 19216 19216 15765 0 -1 1077944384 3876 0 0 0 109 38 0 0 20 0 28 0 476123411 29456678912 570849 33554432000 4194304 4196468 140723844174768 140612541811728 140612592359125 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36671488 140723844182998 140723844183174 140723844183174 140723844186063 0 [pid=19218/tid=19224] ppid=19216 vsize=28766288 memory=7548 CPUtime=1.49 cores=0-7 /proc/19218/task/19224/stat : 19224 (java) S 19216 19216 15765 0 -1 1077944384 3605 0 0 0 109 40 0 0 20 0 28 0 476123411 29456678912 570849 33554432000 4194304 4196468 140723844174768 140612540758416 140612592359125 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36671488 140723844182998 140723844183174 140723844183174 140723844186063 0 [pid=19218/tid=19225] ppid=19216 vsize=28766288 memory=2832 CPUtime=1.5 cores=0-7 /proc/19218/task/19225/stat : 19225 (java) S 19216 19216 15765 0 -1 1077944384 4864 0 0 0 112 38 0 0 20 0 28 0 476123411 29456678912 570849 33554432000 4194304 4196468 140723844174768 140612539705616 140612592359125 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36671488 140723844182998 140723844183174 140723844183174 140723844186063 0 [pid=19218/tid=19226] ppid=19216 vsize=28766288 memory=7548 CPUtime=1.49 cores=0-7 /proc/19218/task/19226/stat : 19226 (java) S 19216 19216 15765 0 -1 1077944384 4127 0 0 0 112 37 0 0 20 0 28 0 476123411 29456678912 570849 33554432000 4194304 4196468 140723844174768 140612538653328 140612592359125 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36671488 140723844182998 140723844183174 140723844183174 140723844186063 0 [pid=19218/tid=19227] ppid=19216 vsize=28766288 memory=2832 CPUtime=1.49 cores=0-7 /proc/19218/task/19227/stat : 19227 (java) S 19216 19216 15765 0 -1 1077944384 6772 0 0 0 111 38 0 0 20 0 28 0 476123411 29456678912 570849 33554432000 4194304 4196468 140723844174768 140612537600528 140612592359125 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36671488 140723844182998 140723844183174 140723844183174 140723844186063 0 [pid=19218/tid=19228] ppid=19216 vsize=28766288 memory=1224 CPUtime=0.06 cores=0-7 /proc/19218/task/19228/stat : 19228 (java) S 19216 19216 15765 0 -1 1077944384 6527 0 0 0 6 0 0 0 20 0 28 0 476123413 29456678912 570849 33554432000 4194304 4196468 140723844174768 140610719705712 140612592360066 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36671488 140723844182998 140723844183174 140723844183174 140723844186063 0 [pid=19218/tid=19229] ppid=19216 vsize=28766288 memory=6040 CPUtime=0 cores=0-7 /proc/19218/task/19229/stat : 19229 (java) S 19216 19216 15765 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 28 0 476123413 29456678912 570849 33554432000 4194304 4196468 140723844174768 140610718651744 140612592359125 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36671488 140723844182998 140723844183174 140723844183174 140723844186063 0 [pid=19218/tid=19230] ppid=19216 vsize=28766288 memory=772 CPUtime=0 cores=0-7 /proc/19218/task/19230/stat : 19230 (java) S 19216 19216 15765 0 -1 1077944384 70 0 0 0 0 0 0 0 20 0 28 0 476123413 29456678912 570849 33554432000 4194304 4196468 140723844174768 140610717599360 140612592359125 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36671488 140723844182998 140723844183174 140723844183174 140723844186063 0 [pid=19218/tid=19231] ppid=19216 vsize=28766288 memory=1556 CPUtime=0 cores=0-7 /proc/19218/task/19231/stat : 19231 (java) S 19216 19216 15765 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 476123416 29456678912 570849 33554432000 4194304 4196468 140723844174768 140610716547664 140612592367515 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36671488 140723844182998 140723844183174 140723844183174 140723844186063 0 [pid=19218/tid=19232] ppid=19216 vsize=28766288 memory=1056 CPUtime=2.16 cores=0-7 /proc/19218/task/19232/stat : 19232 (java) S 19216 19216 15765 0 -1 1077944384 15245 0 0 0 212 4 0 0 20 0 28 0 476123416 29456678912 570849 33554432000 4194304 4196468 140723844174768 140610715494512 140612592360066 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36671488 140723844182998 140723844183174 140723844183174 140723844186063 0 [pid=19218/tid=19233] ppid=19216 vsize=28766288 memory=1096 CPUtime=2.58 cores=0-7 /proc/19218/task/19233/stat : 19233 (java) S 19216 19216 15765 0 -1 1077944384 16808 0 0 0 255 3 0 0 20 0 28 0 476123416 29456678912 570849 33554432000 4194304 4196468 140723844174768 140610714441712 140612592360066 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36671488 140723844182998 140723844183174 140723844183174 140723844186063 0 [pid=19218/tid=19234] ppid=19216 vsize=28766288 memory=3612 CPUtime=2.43 cores=0-7 /proc/19218/task/19234/stat : 19234 (java) S 19216 19216 15765 0 -1 1077944384 15197 0 0 0 239 4 0 0 20 0 28 0 476123416 29456678912 570849 33554432000 4194304 4196468 140723844174768 140610713389424 140612592360066 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36671488 140723844182998 140723844183174 140723844183174 140723844186063 0 [pid=19218/tid=19235] ppid=19216 vsize=28766288 memory=53700 CPUtime=0.79 cores=0-7 /proc/19218/task/19235/stat : 19235 (java) S 19216 19216 15765 0 -1 1077944384 12414 0 0 0 77 2 0 0 20 0 28 0 476123416 29456678912 570849 33554432000 4194304 4196468 140723844174768 140610712336624 140612592360066 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36671488 140723844182998 140723844183174 140723844183174 140723844186063 0 [pid=19218/tid=19236] ppid=19216 vsize=28766288 memory=988 CPUtime=0 cores=0-7 /proc/19218/task/19236/stat : 19236 (java) S 19216 19216 15765 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 476123416 29456678912 570849 33554432000 4194304 4196468 140723844174768 140610711284576 140612592359125 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36671488 140723844182998 140723844183174 140723844183174 140723844186063 0 [pid=19218/tid=19237] ppid=19216 vsize=28766288 memory=2012 CPUtime=0.05 cores=0-7 /proc/19218/task/19237/stat : 19237 (java) R 19216 19216 15765 0 -1 1077944384 1711 0 0 0 0 5 0 0 20 0 28 0 476123416 29456678912 570849 33554432000 4194304 4196468 140723844174768 140610710231856 140612592360066 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 36671488 140723844182998 140723844183174 140723844183174 140723844186063 0 [pid=19218/tid=19238] ppid=19216 vsize=28766288 memory=1424 CPUtime=120.22 cores=0-7 /proc/19218/task/19238/stat : 19238 (java) R 19216 19216 15765 0 -1 4202560 3367 0 0 0 12017 5 0 0 20 0 28 0 476123807 29456678912 570849 33554432000 4194304 4196468 140723844174768 140610701249944 140612221737171 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 36671488 140723844182998 140723844183174 140723844183174 140723844186063 0 [pid=19218/tid=19239] ppid=19216 vsize=28766288 memory=580 CPUtime=118.84 cores=0-7 /proc/19218/task/19239/stat : 19239 (java) R 19216 19216 15765 0 -1 4202560 2695 0 0 0 11878 6 0 0 20 0 28 0 476123807 29456678912 570849 33554432000 4194304 4196468 140723844174768 140610700198280 140612221785070 0 4 0 16800975 0 0 0 -1 7 0 0 1 0 0 6293624 6294260 36671488 140723844182998 140723844183174 140723844183174 140723844186063 0 [pid=19218/tid=19240] ppid=19216 vsize=28766288 memory=1692 CPUtime=120.51 cores=0-7 /proc/19218/task/19240/stat : 19240 (java) R 19216 19216 15765 0 -1 4202560 5524 0 0 0 12040 11 0 0 20 0 28 0 476123807 29456678912 570849 33554432000 4194304 4196468 140723844174768 140610699144952 140612221737188 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 36671488 140723844182998 140723844183174 140723844183174 140723844186063 0 [pid=19218/tid=19241] ppid=19216 vsize=28766288 memory=3616 CPUtime=119.89 cores=0-7 /proc/19218/task/19241/stat : 19241 (java) R 19216 19216 15765 0 -1 4202560 4404 0 0 0 11984 5 0 0 20 0 28 0 476123807 29456678912 570849 33554432000 4194304 4196468 140723844174768 140610698094040 140612221737651 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 36671488 140723844182998 140723844183174 140723844183174 140723844186063 0 [pid=19218/tid=19242] ppid=19216 vsize=28766288 memory=2648 CPUtime=119.99 cores=0-7 /proc/19218/task/19242/stat : 19242 (java) R 19216 19216 15765 0 -1 4202560 3114 0 0 0 11993 6 0 0 20 0 28 0 476123807 29456678912 570849 33554432000 4194304 4196468 140723844174768 140610697039616 140612221785699 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 36671488 140723844182998 140723844183174 140723844183174 140723844186063 0 [pid=19218/tid=19243] ppid=19216 vsize=28766288 memory=880 CPUtime=119.85 cores=0-7 /proc/19218/task/19243/stat : 19243 (java) R 19216 19216 15765 0 -1 4202560 4684 0 0 0 11980 5 0 0 20 0 28 0 476123807 29456678912 570849 33554432000 4194304 4196468 140723844174768 140610695987080 140612221785020 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36671488 140723844182998 140723844183174 140723844183174 140723844186063 0 [pid=19218/tid=19244] ppid=19216 vsize=28766288 memory=1440 CPUtime=120.05 cores=0-7 /proc/19218/task/19244/stat : 19244 (java) R 19216 19216 15765 0 -1 4202560 131119 0 0 0 11977 28 0 0 20 0 28 0 476123807 29456678912 570849 33554432000 4194304 4196468 140723844174768 140610694934792 140612221737216 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 36671488 140723844182998 140723844183174 140723844183174 140723844186063 0 [pid=19218/tid=19245] ppid=19216 vsize=28766288 memory=1768 CPUtime=119 cores=0-7 /proc/19218/task/19245/stat : 19245 (java) R 19216 19216 15765 0 -1 4202560 39301 0 0 0 11892 8 0 0 20 0 28 0 476123808 29456678912 570849 33554432000 4194304 4196468 140723844174768 140610693881992 140612221785238 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 36671488 140723844182998 140723844183174 140723844183174 140723844186063 0 Current children cumulated CPU time: 981.67 s Current children cumulated vsize: 28879416 KiB Current children cumulated memory: 2284848 KiB [startup+126.001 s]* /proc/loadavg: 8.03 8.10 8.22 2/219 19254 /proc/meminfo: memFree=20016384/32770624 swapFree=67001780/67108860 [pid=19216] ppid=19213 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/19216/stat : 19216 (xcsp3-exec) S 19213 19216 15765 0 -1 4202496 547 0 0 0 0 0 0 0 20 0 1 0 476123410 115843072 363 33554432000 4194304 5098028 140727598405616 140727598403720 139954912305788 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 23519232 140727598408529 140727598408789 140727598408789 140727598411718 0 /proc/19216/statm: 28282 363 304 221 0 87 0 [pid=19218] ppid=19216 vsize=28766288 memory=2283476 CPUtime=983.79 cores=0-7 /proc/19218/stat : 19218 (java) S 19216 19216 15765 0 -1 1077944320 310933 0 0 0 97968 411 0 0 20 0 28 0 476123410 29456678912 570869 33554432000 4194304 4196468 140723844174768 140723844157312 140612592348919 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 36671488 140723844182998 140723844183174 140723844183174 140723844186063 0 /proc/19218/statm: 7191572 570869 3539 1 0 7152672 0 [pid=19218/tid=19219] ppid=19216 vsize=28766288 memory=1398722017469774279 CPUtime=3.21 cores=0-7 /proc/19218/task/19219/stat : 19219 (java) S 19216 19216 15765 0 -1 1077944384 10668 0 0 0 308 13 0 0 20 0 28 0 476123410 29456678912 570869 33554432000 4194304 4196468 140723844174768 140612596589696 140612592359125 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36671488 140723844182998 140723844183174 140723844183174 140723844186063 0 [pid=19218/tid=19220] ppid=19216 vsize=28766288 memory=4872558044660077418 CPUtime=1.47 cores=0-7 /proc/19218/task/19220/stat : 19220 (java) S 19216 19216 15765 0 -1 1077944384 4097 0 0 0 110 37 0 0 20 0 28 0 476123411 29456678912 570869 33554432000 4194304 4196468 140723844174768 140612544969616 140612592359125 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 1 0 0 6293624 6294260 36671488 140723844182998 140723844183174 140723844183174 140723844186063 0 [pid=19218/tid=19221] ppid=19216 vsize=28766288 memory=15816698942984824 CPUtime=1.5 cores=0-7 /proc/19218/task/19221/stat : 19221 (java) S 19216 19216 15765 0 -1 1077944384 4707 0 0 0 111 39 0 0 20 0 28 0 476123411 29456678912 570869 33554432000 4194304 4196468 140723844174768 140612543916816 140612592359125 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36671488 140723844182998 140723844183174 140723844183174 140723844186063 0 [pid=19218/tid=19222] ppid=19216 vsize=28766288 memory=1720 CPUtime=1.42 cores=0-7 /proc/19218/task/19222/stat : 19222 (java) S 19216 19216 15765 0 -1 1077944384 3758 0 0 0 107 35 0 0 20 0 28 0 476123411 29456678912 570869 33554432000 4194304 4196468 140723844174768 140612542864528 140612592359125 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 1 0 0 6293624 6294260 36671488 140723844182998 140723844183174 140723844183174 140723844186063 0 [pid=19218/tid=19223] ppid=19216 vsize=28766288 memory=4872558044660077418 CPUtime=1.47 cores=0-7 /proc/19218/task/19223/stat : 19223 (java) S 19216 19216 15765 0 -1 1077944384 3876 0 0 0 109 38 0 0 20 0 28 0 476123411 29456678912 570869 33554432000 4194304 4196468 140723844174768 140612541811728 140612592359125 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36671488 140723844182998 140723844183174 140723844183174 140723844186063 0 [pid=19218/tid=19224] ppid=19216 vsize=28766288 memory=5861556314075524202 CPUtime=1.49 cores=0-7 /proc/19218/task/19224/stat : 19224 (java) S 19216 19216 15765 0 -1 1077944384 3605 0 0 0 109 40 0 0 20 0 28 0 476123411 29456678912 570869 33554432000 4194304 4196468 140723844174768 140612540758416 140612592359125 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36671488 140723844182998 140723844183174 140723844183174 140723844186063 0 [pid=19218/tid=19225] ppid=19216 vsize=28766288 memory=279723570969664 CPUtime=1.5 cores=0-7 /proc/19218/task/19225/stat : 19225 (java) S 19216 19216 15765 0 -1 1077944384 4864 0 0 0 112 38 0 0 20 0 28 0 476123411 29456678912 570869 33554432000 4194304 4196468 140723844174768 140612539705616 140612592359125 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36671488 140723844182998 140723844183174 140723844183174 140723844186063 0 [pid=19218/tid=19226] ppid=19216 vsize=28766288 memory=3047711553320166262 CPUtime=1.49 cores=0-7 /proc/19218/task/19226/stat : 19226 (java) S 19216 19216 15765 0 -1 1077944384 4127 0 0 0 112 37 0 0 20 0 28 0 476123411 29456678912 570869 33554432000 4194304 4196468 140723844174768 140612538653328 140612592359125 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36671488 140723844182998 140723844183174 140723844183174 140723844186063 0 [pid=19218/tid=19227] ppid=19216 vsize=28766288 memory=7824336315716348491 CPUtime=1.49 cores=0-7 /proc/19218/task/19227/stat : 19227 (java) S 19216 19216 15765 0 -1 1077944384 6772 0 0 0 111 38 0 0 20 0 28 0 476123411 29456678912 570869 33554432000 4194304 4196468 140723844174768 140612537600528 140612592359125 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36671488 140723844182998 140723844183174 140723844183174 140723844186063 0 [pid=19218/tid=19228] ppid=19216 vsize=28766288 memory=7955726820355499877 CPUtime=0.06 cores=0-7 /proc/19218/task/19228/stat : 19228 (java) S 19216 19216 15765 0 -1 1077944384 6527 0 0 0 6 0 0 0 20 0 28 0 476123413 29456678912 570869 33554432000 4194304 4196468 140723844174768 140610719705712 140612592360066 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36671488 140723844182998 140723844183174 140723844183174 140723844186063 0 [pid=19218/tid=19229] ppid=19216 vsize=28766288 memory=7954311792227476561 CPUtime=0 cores=0-7 /proc/19218/task/19229/stat : 19229 (java) S 19216 19216 15765 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 28 0 476123413 29456678912 570869 33554432000 4194304 4196468 140723844174768 140610718651744 140612592359125 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36671488 140723844182998 140723844183174 140723844183174 140723844186063 0 [pid=19218/tid=19230] ppid=19216 vsize=28766288 memory=3047711553320166262 CPUtime=0 cores=0-7 /proc/19218/task/19230/stat : 19230 (java) S 19216 19216 15765 0 -1 1077944384 70 0 0 0 0 0 0 0 20 0 28 0 476123413 29456678912 570869 33554432000 4194304 4196468 140723844174768 140610717599360 140612592359125 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36671488 140723844182998 140723844183174 140723844183174 140723844186063 0 [pid=19218/tid=19231] ppid=19216 vsize=28766288 memory=7824336315716348491 CPUtime=0 cores=0-7 /proc/19218/task/19231/stat : 19231 (java) S 19216 19216 15765 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 476123416 29456678912 570869 33554432000 4194304 4196468 140723844174768 140610716547664 140612592367515 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36671488 140723844182998 140723844183174 140723844183174 140723844186063 0 [pid=19218/tid=19232] ppid=19216 vsize=28766288 memory=6791534058613427641 CPUtime=2.16 cores=0-7 /proc/19218/task/19232/stat : 19232 (java) S 19216 19216 15765 0 -1 1077944384 15245 0 0 0 212 4 0 0 20 0 28 0 476123416 29456678912 570869 33554432000 4194304 4196468 140723844174768 140610715494512 140612592360066 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36671488 140723844182998 140723844183174 140723844183174 140723844186063 0 [pid=19218/tid=19233] ppid=19216 vsize=28766288 memory=2283396 CPUtime=2.58 cores=0-7 /proc/19218/task/19233/stat : 19233 (java) S 19216 19216 15765 0 -1 1077944384 16887 0 0 0 255 3 0 0 20 0 28 0 476123416 29456678912 570869 33554432000 4194304 4196468 140723844174768 140610714441712 140612592360066 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36671488 140723844182998 140723844183174 140723844183174 140723844186063 0 [pid=19218/tid=19234] ppid=19216 vsize=28766288 memory=7524503900901105746 CPUtime=2.43 cores=0-7 /proc/19218/task/19234/stat : 19234 (java) S 19216 19216 15765 0 -1 1077944384 15197 0 0 0 239 4 0 0 20 0 28 0 476123416 29456678912 570869 33554432000 4194304 4196468 140723844174768 140610713389424 140612592360066 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36671488 140723844182998 140723844183174 140723844183174 140723844186063 0 [pid=19218/tid=19235] ppid=19216 vsize=28766288 memory=-5874771483550381248 CPUtime=0.8 cores=0-7 /proc/19218/task/19235/stat : 19235 (java) S 19216 19216 15765 0 -1 1077944384 12824 0 0 0 78 2 0 0 20 0 28 0 476123416 29456678912 570869 33554432000 4194304 4196468 140723844174768 140610712336624 140612592360066 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36671488 140723844182998 140723844183174 140723844183174 140723844186063 0 [pid=19218/tid=19236] ppid=19216 vsize=28766288 memory=7445414929838728037 CPUtime=0 cores=0-7 /proc/19218/task/19236/stat : 19236 (java) S 19216 19216 15765 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 476123416 29456678912 570869 33554432000 4194304 4196468 140723844174768 140610711284576 140612592359125 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36671488 140723844182998 140723844183174 140723844183174 140723844186063 0 [pid=19218/tid=19237] ppid=19216 vsize=28766288 memory=5861556314075524202 CPUtime=0.05 cores=0-7 /proc/19218/task/19237/stat : 19237 (java) S 19216 19216 15765 0 -1 1077944384 1711 0 0 0 0 5 0 0 20 0 28 0 476123416 29456678912 570869 33554432000 4194304 4196468 140723844174768 140610710231856 140612592360066 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36671488 140723844182998 140723844183174 140723844183174 140723844186063 0 [pid=19218/tid=19238] ppid=19216 vsize=28766288 memory=7228930955936424808 CPUtime=120.53 cores=0-7 /proc/19218/task/19238/stat : 19238 (java) S 19216 19216 15765 0 -1 1077944384 3372 0 0 0 12048 5 0 0 20 0 28 0 476123807 29456678912 570869 33554432000 4194304 4196468 140723844174768 140610701254848 140612592359125 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36671488 140723844182998 140723844183174 140723844183174 140723844186063 0 [pid=19218/tid=19239] ppid=19216 vsize=28766288 memory=7523615452491704178 CPUtime=119.04 cores=0-7 /proc/19218/task/19239/stat : 19239 (java) S 19216 19216 15765 0 -1 1077944384 2696 0 0 0 11898 6 0 0 20 0 28 0 476123807 29456678912 570869 33554432000 4194304 4196468 140723844174768 140610700203472 140612592359125 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 1 0 0 6293624 6294260 36671488 140723844182998 140723844183174 140723844183174 140723844186063 0 [pid=19218/tid=19240] ppid=19216 vsize=28766288 memory=-6519613052471072158 CPUtime=120.76 cores=0-7 /proc/19218/task/19240/stat : 19240 (java) S 19216 19216 15765 0 -1 1077944384 5524 0 0 0 12065 11 0 0 20 0 28 0 476123807 29456678912 570869 33554432000 4194304 4196468 140723844174768 140610699150160 140612592359125 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36671488 140723844182998 140723844183174 140723844183174 140723844186063 0 [pid=19218/tid=19241] ppid=19216 vsize=28766288 memory=7666089116951986276 CPUtime=120.21 cores=0-7 /proc/19218/task/19241/stat : 19241 (java) S 19216 19216 15765 0 -1 1077944384 4405 0 0 0 12016 5 0 0 20 0 28 0 476123807 29456678912 570869 33554432000 4194304 4196468 140723844174768 140610698097360 140612592359125 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36671488 140723844182998 140723844183174 140723844183174 140723844186063 0 [pid=19218/tid=19242] ppid=19216 vsize=28766288 memory=7523935440557599040 CPUtime=120.26 cores=0-7 /proc/19218/task/19242/stat : 19242 (java) S 19216 19216 15765 0 -1 1077944384 3131 0 0 0 12020 6 0 0 20 0 28 0 476123807 29456678912 570869 33554432000 4194304 4196468 140723844174768 140610697045072 140612592359125 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36671488 140723844182998 140723844183174 140723844183174 140723844186063 0 [pid=19218/tid=19243] ppid=19216 vsize=28766288 memory=7523935440557599040 CPUtime=120.26 cores=0-7 /proc/19218/task/19243/stat : 19243 (java) R 19216 19216 15765 0 -1 4202560 4684 0 0 0 12021 5 0 0 20 0 28 0 476123807 29456678912 570869 33554432000 4194304 4196468 140723844174768 140610695987080 140612221785135 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36671488 140723844182998 140723844183174 140723844183174 140723844186063 0 [pid=19218/tid=19244] ppid=19216 vsize=28766288 memory=7523935440557599040 CPUtime=120.24 cores=0-7 /proc/19218/task/19244/stat : 19244 (java) S 19216 19216 15765 0 -1 1077944384 131138 0 0 0 11996 28 0 0 20 0 28 0 476123807 29456678912 570869 33554432000 4194304 4196468 140723844174768 140610694939984 140612592359125 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36671488 140723844182998 140723844183174 140723844183174 140723844186063 0 [pid=19218/tid=19245] ppid=19216 vsize=28766288 memory=7523935440557599040 CPUtime=119.17 cores=0-7 /proc/19218/task/19245/stat : 19245 (java) S 19216 19216 15765 0 -1 1077944384 39758 0 0 0 11909 8 0 0 20 0 28 0 476123808 29456678912 570869 33554432000 4194304 4196468 140723844174768 140610693887184 140612592359125 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36671488 140723844182998 140723844183174 140723844183174 140723844186063 0 Current children cumulated CPU time: 983.79 s Current children cumulated vsize: 28879416 KiB Current children cumulated memory: 2284928 KiB [startup+126.11 s] /proc/loadavg: 8.03 8.10 8.22 2/219 19254 /proc/meminfo: memFree=20016384/32770624 swapFree=67001780/67108860 [pid=19216] ppid=19213 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/19216/stat : 19216 (xcsp3-exec) S 19213 19216 15765 0 -1 4202496 547 0 0 0 0 0 0 0 20 0 1 0 476123410 115843072 363 33554432000 4194304 5098028 140727598405616 140727598403720 139954912305788 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 23519232 140727598408529 140727598408789 140727598408789 140727598411718 0 /proc/19216/statm: 28282 363 304 221 0 87 0 Current children cumulated CPU time: 0 s Current children cumulated vsize: 113128 KiB Current children cumulated memory: 1452 KiB Child status: 0 Real time (s): 126.132 CPU time (s): 983.936 CPU user time (s): 979.787 CPU system time (s): 4.14812 CPU usage (%): 780.084 Max. virtual memory (cumulated for all children) (KiB): 28879416 Max. memory (cumulated for all children) (KiB): 2284928 getrusage(RUSAGE_CHILDREN,...) data: user time used= 979.787 system time used= 4.14812 maximum resident set size= 2283488 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 312461 page faults= 0 swaps= 0 block input operations= 0 block output operations= 328 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 9346 involuntary context switches= 11903 # summary of solver processes directly reported to runsolver: # pid: 19216 # total CPU time (s): 983.936 # total CPU user time (s): 979.787 # total CPU system time (s): 4.14812 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 1.14913 second user time and 1.50918 second system time The end
Begin job on node146 at 2019-09-20 19:54:13 IDJOB=4404478 IDBENCH=131667 IDSOLVER=2865 FILE ID=node146/4404478-1569002095 RUNJOBID= node146-1568994486-15792 PBS_JOBID= 21704725 Free space on /var/tmp= 13508 MiB SOLVER NAME= choco-solver 2019-09-20 parallel BENCH NAME= XCSP17/Subisomorphism/Subisomorphism-m1-si4-rand/Subisomorphism-si4-r001-m600-08.xml COMMAND LINE= xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 24000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4404478-1569002095/watcher-4404478-1569002095 -o /var/tmp/evaluation-result-4404478-1569002095/solver-4404478-1569002095 -C 20160 -W 2520 -M 31000 --bin-var /var/tmp/runsolver-exch-node146-1568994486-15792 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 1960588481 HOME/instance-4404478-1569002095.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 8e810070148f78cd392ecc5d984ef703 RANDOM SEED=1960588481 node146.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.90 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.90 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.90 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.90 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: 22286232 kB MemAvailable: 31849252 kB Buffers: 95476 kB Cached: 9508756 kB SwapCached: 3812 kB Active: 4774576 kB Inactive: 4834752 kB Active(anon): 1736 kB Inactive(anon): 50848 kB Active(file): 4772840 kB Inactive(file): 4783904 kB Unevictable: 110676 kB Mlocked: 110676 kB SwapTotal: 67108860 kB SwapFree: 67001780 kB Dirty: 26032 kB Writeback: 108 kB AnonPages: 189564 kB Mapped: 51904 kB Shmem: 38868 kB Slab: 463452 kB SReclaimable: 434736 kB SUnreclaim: 28716 kB KernelStack: 3856 kB PageTables: 6344 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 507600 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 143360 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 109952 kB DirectMap2M: 33435648 kB Free space on /var/tmp at the end= 13484 MiB End job on node146 at 2019-09-20 19:56:20