Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
choco-solver 2019-09-24 parallel | SAT | 908.622 | 116.939 |
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-4406878-1569352440.xml" -tl '20160s' -p 8 0.12/0.18 c Choco e747e1e 0.12/0.18 c [HOME/instance-4406878-1569352440.xml, -tl, 20160s, -p, 8] 0.34/0.22 c 8 solvers in parallel 0.34/0.29 c parse instance... 12.21/3.96 c solve instance... 908.57/116.91 s SATISFIABLE 908.57/116.91 v <instantiation> 908.57/116.91 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> 908.57/116.91 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> 908.57/116.91 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 (14636 MiB free) memory of node 1: 16384 MiB (13433 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4406878-1569352440/watcher-4406878-1569352440 -o /var/tmp/evaluation-result-4406878-1569352440/solver-4406878-1569352440 -C 20160 -W 2520 -M 31000 --bin-var /var/tmp/runsolver-exch-node107-1569345579-15751 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 397099877 HOME/instance-4406878-1569352440.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=17747, runsolver pid=17744 [startup+0.10012 s]* /proc/loadavg: 6.76 8.00 8.13 2/211 17768 /proc/meminfo: memFree=28729288/32770624 swapFree=66954108/67108860 [pid=17747] ppid=17744 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/17747/stat : 17747 (xcsp3-exec) S 17744 17747 15724 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 511499312 115843072 362 33554432000 4194304 5098028 140731395996624 140731395994728 140262962782844 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 29904896 140731395998546 140731395998805 140731395998805 140731396001734 0 /proc/17747/statm: 28282 362 304 221 0 87 0 [pid=17749] ppid=17747 vsize=28227396 memory=28304 CPUtime=0.12 cores=0-7 /proc/17749/stat : 17749 (java) S 17747 17747 15724 0 -1 1077944320 5634 0 0 0 11 1 0 0 20 0 20 0 511499312 28904853504 7076 33554432000 4194304 4196468 140737159253984 140737159236528 139983657119479 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 11460608 140737159254998 140737159255174 140737159255174 140737159258063 0 /proc/17749/statm: 7056849 7076 3113 1 0 7019032 0 [pid=17749/tid=17750] ppid=17747 vsize=28227396 memory=576460756329955445 CPUtime=0.08 cores=0-7 /proc/17749/task/17750/stat : 17750 (java) R 17747 17747 15724 0 -1 4202560 3570 0 0 0 8 0 0 0 20 0 20 0 511499312 28904853504 7142 33554432000 4194304 4196468 140737159253984 139983661347504 139983657131414 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 11460608 140737159254998 140737159255174 140737159255174 140737159258063 0 [pid=17749/tid=17751] ppid=17747 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/17749/task/17751/stat : 17751 (java) S 17747 17747 15724 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511499313 28904853504 7142 33554432000 4194304 4196468 140737159253984 139983609739792 139983657129685 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11460608 140737159254998 140737159255174 140737159255174 140737159258063 0 [pid=17749/tid=17752] ppid=17747 vsize=28227396 memory=3545940739681511072 CPUtime=0 cores=0-7 /proc/17749/task/17752/stat : 17752 (java) S 17747 17747 15724 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511499313 28904853504 7142 33554432000 4194304 4196468 140737159253984 139983608687248 139983657129685 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11460608 140737159254998 140737159255174 140737159255174 140737159258063 0 [pid=17749/tid=17753] ppid=17747 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/17749/task/17753/stat : 17753 (java) S 17747 17747 15724 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511499313 28904853504 7142 33554432000 4194304 4196468 140737159253984 139983607634192 139983657129685 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11460608 140737159254998 140737159255174 140737159255174 140737159258063 0 [pid=17749/tid=17754] ppid=17747 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/17749/task/17754/stat : 17754 (java) S 17747 17747 15724 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511499313 28904853504 7142 33554432000 4194304 4196468 140737159253984 139983606581648 139983657129685 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11460608 140737159254998 140737159255174 140737159255174 140737159258063 0 [pid=17749/tid=17755] ppid=17747 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/17749/task/17755/stat : 17755 (java) S 17747 17747 15724 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511499313 28904853504 7142 33554432000 4194304 4196468 140737159253984 139983605529616 139983657129685 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11460608 140737159254998 140737159255174 140737159255174 140737159258063 0 [pid=17749/tid=17756] ppid=17747 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/17749/task/17756/stat : 17756 (java) S 17747 17747 15724 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511499313 28904853504 7142 33554432000 4194304 4196468 140737159253984 139983604477072 139983657129685 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11460608 140737159254998 140737159255174 140737159255174 140737159258063 0 [pid=17749/tid=17757] ppid=17747 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/17749/task/17757/stat : 17757 (java) S 17747 17747 15724 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511499313 28904853504 7142 33554432000 4194304 4196468 140737159253984 139983603424016 139983657129685 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11460608 140737159254998 140737159255174 140737159255174 140737159258063 0 [pid=17749/tid=17758] ppid=17747 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/17749/task/17758/stat : 17758 (java) S 17747 17747 15724 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511499313 28904853504 7142 33554432000 4194304 4196468 140737159253984 139983602371472 139983657129685 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11460608 140737159254998 140737159255174 140737159255174 140737159258063 0 [pid=17749/tid=17759] ppid=17747 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/17749/task/17759/stat : 17759 (java) S 17747 17747 15724 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511499315 28904853504 7142 33554432000 4194304 4196468 140737159253984 139982169663728 139983657130626 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11460608 140737159254998 140737159255174 140737159255174 140737159258063 0 [pid=17749/tid=17760] ppid=17747 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/17749/task/17760/stat : 17760 (java) S 17747 17747 15724 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 511499315 28904853504 7142 33554432000 4194304 4196468 140737159253984 139982168609952 139983657129685 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11460608 140737159254998 140737159255174 140737159255174 140737159258063 0 [pid=17749/tid=17761] ppid=17747 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/17749/task/17761/stat : 17761 (java) S 17747 17747 15724 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 511499315 28904853504 7142 33554432000 4194304 4196468 140737159253984 139982167556848 139983657129685 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11460608 140737159254998 140737159255174 140737159255174 140737159258063 0 [pid=17749/tid=17762] ppid=17747 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/17749/task/17762/stat : 17762 (java) S 17747 17747 15724 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511499318 28904853504 7142 33554432000 4194304 4196468 140737159253984 139982166505424 139983657138075 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11460608 140737159254998 140737159255174 140737159255174 140737159258063 0 [pid=17749/tid=17763] ppid=17747 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/17749/task/17763/stat : 17763 (java) S 17747 17747 15724 0 -1 1077944384 307 0 0 0 0 0 0 0 20 0 20 0 511499318 28904853504 7142 33554432000 4194304 4196468 140737159253984 139982165453552 139983657130626 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11460608 140737159254998 140737159255174 140737159255174 140737159258063 0 [pid=17749/tid=17764] ppid=17747 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/17749/task/17764/stat : 17764 (java) S 17747 17747 15724 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 20 0 511499318 28904853504 7142 33554432000 4194304 4196468 140737159253984 139982164401008 139983657130626 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11460608 140737159254998 140737159255174 140737159255174 140737159258063 0 [pid=17749/tid=17765] ppid=17747 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/17749/task/17765/stat : 17765 (java) S 17747 17747 15724 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511499318 28904853504 7142 33554432000 4194304 4196468 140737159253984 139982163347952 139983657130626 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11460608 140737159254998 140737159255174 140737159255174 140737159258063 0 [pid=17749/tid=17766] ppid=17747 vsize=28227396 memory=0 CPUtime=0.02 cores=0-7 /proc/17749/task/17766/stat : 17766 (java) S 17747 17747 15724 0 -1 1077944384 327 0 0 0 2 0 0 0 20 0 20 0 511499318 28904853504 7142 33554432000 4194304 4196468 140737159253984 139982162295408 139983657130626 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11460608 140737159254998 140737159255174 140737159255174 140737159258063 0 [pid=17749/tid=17767] ppid=17747 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/17749/task/17767/stat : 17767 (java) S 17747 17747 15724 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511499318 28904853504 7142 33554432000 4194304 4196468 140737159253984 139982161242592 139983657129685 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11460608 140737159254998 140737159255174 140737159255174 140737159258063 0 [pid=17749/tid=17768] ppid=17747 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/17749/task/17768/stat : 17768 (java) S 17747 17747 15724 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511499318 28904853504 7142 33554432000 4194304 4196468 140737159253984 139982160190128 139983657130626 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11460608 140737159254998 140737159255174 140737159255174 140737159258063 0 Current children cumulated CPU time: 0.12 s Current children cumulated vsize: 28340524 KiB Current children cumulated memory: 29752 KiB [startup+0.210166 s]* /proc/loadavg: 6.76 8.00 8.13 2/211 17768 /proc/meminfo: memFree=28715012/32770624 swapFree=66954108/67108860 [pid=17747] ppid=17744 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/17747/stat : 17747 (xcsp3-exec) S 17744 17747 15724 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 511499312 115843072 362 33554432000 4194304 5098028 140731395996624 140731395994728 140262962782844 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 29904896 140731395998546 140731395998805 140731395998805 140731396001734 0 /proc/17747/statm: 28282 362 304 221 0 87 0 [pid=17749] ppid=17747 vsize=28227396 memory=41468 CPUtime=0.34 cores=0-7 /proc/17749/stat : 17749 (java) S 17747 17747 15724 0 -1 1077944320 9553 0 0 0 31 3 0 0 20 0 20 0 511499312 28904853504 10367 33554432000 4194304 4196468 140737159253984 140737159236528 139983657119479 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 11460608 140737159254998 140737159255174 140737159255174 140737159258063 0 /proc/17749/statm: 7056849 10367 3317 1 0 7019032 0 [pid=17749/tid=17750] ppid=17747 vsize=28227396 memory=8316850467074736180 CPUtime=0.2 cores=0-7 /proc/17749/task/17750/stat : 17750 (java) R 17747 17747 15724 0 -1 4202560 6613 0 0 0 18 2 0 0 20 0 20 0 511499312 28904853504 10367 33554432000 4194304 4196468 140737159253984 139983661349200 139983641199966 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 11460608 140737159254998 140737159255174 140737159255174 140737159258063 0 [pid=17749/tid=17751] ppid=17747 vsize=28227396 memory=10927 CPUtime=0 cores=0-7 /proc/17749/task/17751/stat : 17751 (java) S 17747 17747 15724 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511499313 28904853504 10367 33554432000 4194304 4196468 140737159253984 139983609739792 139983657129685 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11460608 140737159254998 140737159255174 140737159255174 140737159258063 0 [pid=17749/tid=17752] ppid=17747 vsize=28227396 memory=139756465839849 CPUtime=0 cores=0-7 /proc/17749/task/17752/stat : 17752 (java) S 17747 17747 15724 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511499313 28904853504 10367 33554432000 4194304 4196468 140737159253984 139983608687248 139983657129685 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11460608 140737159254998 140737159255174 140737159255174 140737159258063 0 [pid=17749/tid=17753] ppid=17747 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/17749/task/17753/stat : 17753 (java) S 17747 17747 15724 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511499313 28904853504 10367 33554432000 4194304 4196468 140737159253984 139983607634192 139983657129685 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11460608 140737159254998 140737159255174 140737159255174 140737159258063 0 [pid=17749/tid=17754] ppid=17747 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/17749/task/17754/stat : 17754 (java) S 17747 17747 15724 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511499313 28904853504 10367 33554432000 4194304 4196468 140737159253984 139983606581648 139983657129685 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11460608 140737159254998 140737159255174 140737159255174 140737159258063 0 [pid=17749/tid=17755] ppid=17747 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/17749/task/17755/stat : 17755 (java) S 17747 17747 15724 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511499313 28904853504 10367 33554432000 4194304 4196468 140737159253984 139983605529616 139983657129685 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11460608 140737159254998 140737159255174 140737159255174 140737159258063 0 [pid=17749/tid=17756] ppid=17747 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/17749/task/17756/stat : 17756 (java) S 17747 17747 15724 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511499313 28904853504 10367 33554432000 4194304 4196468 140737159253984 139983604477072 139983657129685 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11460608 140737159254998 140737159255174 140737159255174 140737159258063 0 [pid=17749/tid=17757] ppid=17747 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/17749/task/17757/stat : 17757 (java) S 17747 17747 15724 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511499313 28904853504 10367 33554432000 4194304 4196468 140737159253984 139983603424016 139983657129685 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11460608 140737159254998 140737159255174 140737159255174 140737159258063 0 [pid=17749/tid=17758] ppid=17747 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/17749/task/17758/stat : 17758 (java) S 17747 17747 15724 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511499313 28904853504 10367 33554432000 4194304 4196468 140737159253984 139983602371472 139983657129685 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11460608 140737159254998 140737159255174 140737159255174 140737159258063 0 [pid=17749/tid=17759] ppid=17747 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/17749/task/17759/stat : 17759 (java) S 17747 17747 15724 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 511499315 28904853504 10367 33554432000 4194304 4196468 140737159253984 139982169663728 139983657130626 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11460608 140737159254998 140737159255174 140737159255174 140737159258063 0 [pid=17749/tid=17760] ppid=17747 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/17749/task/17760/stat : 17760 (java) S 17747 17747 15724 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 511499315 28904853504 10367 33554432000 4194304 4196468 140737159253984 139982168609952 139983657129685 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11460608 140737159254998 140737159255174 140737159255174 140737159258063 0 [pid=17749/tid=17761] ppid=17747 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/17749/task/17761/stat : 17761 (java) S 17747 17747 15724 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 511499315 28904853504 10367 33554432000 4194304 4196468 140737159253984 139982167556848 139983657129685 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11460608 140737159254998 140737159255174 140737159255174 140737159258063 0 [pid=17749/tid=17762] ppid=17747 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/17749/task/17762/stat : 17762 (java) S 17747 17747 15724 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511499318 28904853504 10367 33554432000 4194304 4196468 140737159253984 139982166505424 139983657138075 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11460608 140737159254998 140737159255174 140737159255174 140737159258063 0 [pid=17749/tid=17763] ppid=17747 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7 /proc/17749/task/17763/stat : 17763 (java) R 17747 17747 15724 0 -1 1077944384 331 0 0 0 1 0 0 0 20 0 20 0 511499318 28904853504 10367 33554432000 4194304 4196468 140737159253984 139982165453552 139983657130626 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11460608 140737159254998 140737159255174 140737159255174 140737159258063 0 [pid=17749/tid=17764] ppid=17747 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7 /proc/17749/task/17764/stat : 17764 (java) R 17747 17747 15724 0 -1 1077944384 155 0 0 0 1 0 0 0 20 0 20 0 511499318 28904853504 10367 33554432000 4194304 4196468 140737159253984 139982164401008 139983657130626 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11460608 140737159254998 140737159255174 140737159255174 140737159258063 0 [pid=17749/tid=17765] ppid=17747 vsize=28227396 memory=-1 CPUtime=0.02 cores=0-7 /proc/17749/task/17765/stat : 17765 (java) S 17747 17747 15724 0 -1 1077944384 408 0 0 0 2 0 0 0 20 0 20 0 511499318 28904853504 10367 33554432000 4194304 4196468 140737159253984 139982163347952 139983657130626 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11460608 140737159254998 140737159255174 140737159255174 140737159258063 0 [pid=17749/tid=17766] ppid=17747 vsize=28227396 memory=-1 CPUtime=0.08 cores=0-7 /proc/17749/task/17766/stat : 17766 (java) S 17747 17747 15724 0 -1 1077944384 736 0 0 0 8 0 0 0 20 0 20 0 511499318 28904853504 10367 33554432000 4194304 4196468 140737159253984 139982162295408 139983657130626 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11460608 140737159254998 140737159255174 140737159255174 140737159258063 0 [pid=17749/tid=17767] ppid=17747 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/17749/task/17767/stat : 17767 (java) S 17747 17747 15724 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511499318 28904853504 10367 33554432000 4194304 4196468 140737159253984 139982161242592 139983657129685 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11460608 140737159254998 140737159255174 140737159255174 140737159258063 0 [pid=17749/tid=17768] ppid=17747 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/17749/task/17768/stat : 17768 (java) S 17747 17747 15724 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511499318 28904853504 10367 33554432000 4194304 4196468 140737159253984 139982160190128 139983657130626 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11460608 140737159254998 140737159255174 140737159255174 140737159258063 0 Current children cumulated CPU time: 0.34 s Current children cumulated vsize: 28340524 KiB Current children cumulated memory: 42916 KiB [startup+0.30951 s]* /proc/loadavg: 6.76 8.00 8.13 3/211 17768 /proc/meminfo: memFree=28707368/32770624 swapFree=66954108/67108860 [pid=17747] ppid=17744 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/17747/stat : 17747 (xcsp3-exec) S 17744 17747 15724 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 511499312 115843072 362 33554432000 4194304 5098028 140731395996624 140731395994728 140262962782844 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 29904896 140731395998546 140731395998805 140731395998805 140731396001734 0 /proc/17747/statm: 28282 362 304 221 0 87 0 [pid=17749] ppid=17747 vsize=28231652 memory=49768 CPUtime=0.52 cores=0-7 /proc/17749/stat : 17749 (java) S 17747 17747 15724 0 -1 1077944320 10804 0 0 0 49 3 0 0 20 0 20 0 511499312 28909211648 12442 33554432000 4194304 4196468 140737159253984 140737159236528 139983657119479 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 11460608 140737159254998 140737159255174 140737159255174 140737159258063 0 /proc/17749/statm: 7057913 12442 3348 1 0 7019032 0 [pid=17749/tid=17750] ppid=17747 vsize=28231652 memory=8317482817917895235 CPUtime=0.29 cores=0-7 /proc/17749/task/17750/stat : 17750 (java) R 17747 17747 15724 0 -1 4202560 7700 0 0 0 27 2 0 0 20 0 20 0 511499312 28909211648 12442 33554432000 4194304 4196468 140737159253984 139983661350592 139983642802000 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 11460608 140737159254998 140737159255174 140737159255174 140737159258063 0 [pid=17749/tid=17751] ppid=17747 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/17749/task/17751/stat : 17751 (java) S 17747 17747 15724 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511499313 28909211648 12442 33554432000 4194304 4196468 140737159253984 139983609739792 139983657129685 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11460608 140737159254998 140737159255174 140737159255174 140737159258063 0 [pid=17749/tid=17752] ppid=17747 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/17749/task/17752/stat : 17752 (java) S 17747 17747 15724 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511499313 28909211648 12442 33554432000 4194304 4196468 140737159253984 139983608687248 139983657129685 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11460608 140737159254998 140737159255174 140737159255174 140737159258063 0 [pid=17749/tid=17753] ppid=17747 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/17749/task/17753/stat : 17753 (java) S 17747 17747 15724 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511499313 28909211648 12442 33554432000 4194304 4196468 140737159253984 139983607634192 139983657129685 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11460608 140737159254998 140737159255174 140737159255174 140737159258063 0 [pid=17749/tid=17754] ppid=17747 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/17749/task/17754/stat : 17754 (java) S 17747 17747 15724 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511499313 28909211648 12442 33554432000 4194304 4196468 140737159253984 139983606581648 139983657129685 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11460608 140737159254998 140737159255174 140737159255174 140737159258063 0 [pid=17749/tid=17755] ppid=17747 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/17749/task/17755/stat : 17755 (java) S 17747 17747 15724 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511499313 28909211648 12442 33554432000 4194304 4196468 140737159253984 139983605529616 139983657129685 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11460608 140737159254998 140737159255174 140737159255174 140737159258063 0 [pid=17749/tid=17756] ppid=17747 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/17749/task/17756/stat : 17756 (java) S 17747 17747 15724 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511499313 28909211648 12442 33554432000 4194304 4196468 140737159253984 139983604477072 139983657129685 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11460608 140737159254998 140737159255174 140737159255174 140737159258063 0 [pid=17749/tid=17757] ppid=17747 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/17749/task/17757/stat : 17757 (java) S 17747 17747 15724 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511499313 28909211648 12442 33554432000 4194304 4196468 140737159253984 139983603424016 139983657129685 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11460608 140737159254998 140737159255174 140737159255174 140737159258063 0 [pid=17749/tid=17758] ppid=17747 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/17749/task/17758/stat : 17758 (java) S 17747 17747 15724 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511499313 28909211648 12442 33554432000 4194304 4196468 140737159253984 139983602371472 139983657129685 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11460608 140737159254998 140737159255174 140737159255174 140737159258063 0 [pid=17749/tid=17759] ppid=17747 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/17749/task/17759/stat : 17759 (java) S 17747 17747 15724 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 511499315 28909211648 12442 33554432000 4194304 4196468 140737159253984 139982169663728 139983657130626 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11460608 140737159254998 140737159255174 140737159255174 140737159258063 0 [pid=17749/tid=17760] ppid=17747 vsize=28231652 memory=279512713731456 CPUtime=0 cores=0-7 /proc/17749/task/17760/stat : 17760 (java) S 17747 17747 15724 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 511499315 28909211648 12442 33554432000 4194304 4196468 140737159253984 139982168609952 139983657129685 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11460608 140737159254998 140737159255174 140737159255174 140737159258063 0 [pid=17749/tid=17761] ppid=17747 vsize=28231652 memory=279512713736064 CPUtime=0 cores=0-7 /proc/17749/task/17761/stat : 17761 (java) S 17747 17747 15724 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 511499315 28909211648 12442 33554432000 4194304 4196468 140737159253984 139982167556848 139983657129685 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11460608 140737159254998 140737159255174 140737159255174 140737159258063 0 [pid=17749/tid=17762] ppid=17747 vsize=28231652 memory=279512713740672 CPUtime=0 cores=0-7 /proc/17749/task/17762/stat : 17762 (java) S 17747 17747 15724 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511499318 28909211648 12442 33554432000 4194304 4196468 140737159253984 139982166505424 139983657138075 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11460608 140737159254998 140737159255174 140737159255174 140737159258063 0 [pid=17749/tid=17763] ppid=17747 vsize=28231652 memory=279512713745280 CPUtime=0.02 cores=0-7 /proc/17749/task/17763/stat : 17763 (java) R 17747 17747 15724 0 -1 4202560 432 0 0 0 2 0 0 0 20 0 20 0 511499318 28909211648 12442 33554432000 4194304 4196468 140737159253984 139982165443936 139983640618113 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 11460608 140737159254998 140737159255174 140737159255174 140737159258063 0 [pid=17749/tid=17764] ppid=17747 vsize=28231652 memory=279512713749888 CPUtime=0.01 cores=0-7 /proc/17749/task/17764/stat : 17764 (java) S 17747 17747 15724 0 -1 1077944384 163 0 0 0 1 0 0 0 20 0 20 0 511499318 28909211648 12442 33554432000 4194304 4196468 140737159253984 139982164401008 139983657130626 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11460608 140737159254998 140737159255174 140737159255174 140737159258063 0 [pid=17749/tid=17765] ppid=17747 vsize=28231652 memory=279512713754496 CPUtime=0.04 cores=0-7 /proc/17749/task/17765/stat : 17765 (java) S 17747 17747 15724 0 -1 1077944384 414 0 0 0 4 0 0 0 20 0 20 0 511499318 28909211648 12442 33554432000 4194304 4196468 140737159253984 139982163347952 139983657130626 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11460608 140737159254998 140737159255174 140737159255174 140737159258063 0 [pid=17749/tid=17766] ppid=17747 vsize=28231652 memory=279512713759104 CPUtime=0.13 cores=0-7 /proc/17749/task/17766/stat : 17766 (java) S 17747 17747 15724 0 -1 1077944384 801 0 0 0 13 0 0 0 20 0 20 0 511499318 28909211648 12442 33554432000 4194304 4196468 140737159253984 139982162295408 139983657130626 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11460608 140737159254998 140737159255174 140737159255174 140737159258063 0 [pid=17749/tid=17767] ppid=17747 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/17749/task/17767/stat : 17767 (java) S 17747 17747 15724 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511499318 28909211648 12442 33554432000 4194304 4196468 140737159253984 139982161242592 139983657129685 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11460608 140737159254998 140737159255174 140737159255174 140737159258063 0 [pid=17749/tid=17768] ppid=17747 vsize=28231652 memory=-1 CPUtime=0 cores=0-7 /proc/17749/task/17768/stat : 17768 (java) S 17747 17747 15724 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511499318 28909211648 12442 33554432000 4194304 4196468 140737159253984 139982160190128 139983657130626 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11460608 140737159254998 140737159255174 140737159255174 140737159258063 0 Current children cumulated CPU time: 0.52 s Current children cumulated vsize: 28344780 KiB Current children cumulated memory: 51216 KiB [startup+0.700943 s] /proc/loadavg: 6.76 8.00 8.13 5/211 17768 /proc/meminfo: memFree=28691672/32770624 swapFree=66954108/67108860 [pid=17747] ppid=17744 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/17747/stat : 17747 (xcsp3-exec) S 17744 17747 15724 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 511499312 115843072 362 33554432000 4194304 5098028 140731395996624 140731395994728 140262962782844 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 29904896 140731395998546 140731395998805 140731395998805 140731396001734 0 /proc/17747/statm: 28282 362 304 221 0 87 0 [pid=17749] ppid=17747 vsize=28233776 memory=107092 CPUtime=1.71 cores=0-7 /proc/17749/stat : 17749 (java) S 17747 17747 15724 0 -1 1077944320 15941 0 0 0 166 5 0 0 20 0 20 0 511499312 28911386624 26773 33554432000 4194304 4196468 140737159253984 140737159236528 139983657119479 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 11460608 140737159254998 140737159255174 140737159255174 140737159258063 0 /proc/17749/statm: 7058444 26773 3451 1 0 7019544 0 [pid=17749/tid=17750] ppid=17747 vsize=28233776 memory=0 CPUtime=0.67 cores=0-7 /proc/17749/task/17750/stat : 17750 (java) R 17747 17747 15724 0 -1 4202560 9014 0 0 0 64 3 0 0 20 0 20 0 511499312 28911386624 26773 33554432000 4194304 4196468 140737159253984 139983661355776 139983272805324 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 11460608 140737159254998 140737159255174 140737159255174 140737159258063 0 [pid=17749/tid=17751] ppid=17747 vsize=28233776 memory=139756357067648 CPUtime=0 cores=0-7 /proc/17749/task/17751/stat : 17751 (java) S 17747 17747 15724 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511499313 28911386624 26773 33554432000 4194304 4196468 140737159253984 139983609739792 139983657129685 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11460608 140737159254998 140737159255174 140737159255174 140737159258063 0 [pid=17749/tid=17752] ppid=17747 vsize=28233776 memory=0 CPUtime=0 cores=0-7 /proc/17749/task/17752/stat : 17752 (java) S 17747 17747 15724 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511499313 28911386624 26773 33554432000 4194304 4196468 140737159253984 139983608687248 139983657129685 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11460608 140737159254998 140737159255174 140737159255174 140737159258063 0 [pid=17749/tid=17753] ppid=17747 vsize=28233776 memory=9364 CPUtime=0 cores=0-7 /proc/17749/task/17753/stat : 17753 (java) S 17747 17747 15724 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511499313 28911386624 26773 33554432000 4194304 4196468 140737159253984 139983607634192 139983657129685 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11460608 140737159254998 140737159255174 140737159255174 140737159258063 0 ################ # More data... # ################ [pid=17749/tid=17766] ppid=17747 vsize=28766288 memory=0 CPUtime=0.79 cores=0-7 /proc/17749/task/17766/stat : 17766 (java) S 17747 17747 15724 0 -1 1077944384 11258 0 0 0 77 2 0 0 20 0 28 0 511499318 29456678912 551956 33554432000 4194304 4196468 140737159253984 139982162295408 139983657130626 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11460608 140737159254998 140737159255174 140737159255174 140737159258063 0 [pid=17749/tid=17767] ppid=17747 vsize=28766288 memory=0 CPUtime=0 cores=0-7 /proc/17749/task/17767/stat : 17767 (java) S 17747 17747 15724 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 511499318 29456678912 551956 33554432000 4194304 4196468 140737159253984 139982161242592 139983657129685 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11460608 140737159254998 140737159255174 140737159255174 140737159258063 0 [pid=17749/tid=17768] ppid=17747 vsize=28766288 memory=2203728 CPUtime=0.04 cores=0-7 /proc/17749/task/17768/stat : 17768 (java) S 17747 17747 15724 0 -1 1077944384 1445 0 0 0 2 2 0 0 20 0 28 0 511499318 29456678912 551956 33554432000 4194304 4196468 140737159253984 139982160190128 139983657130626 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11460608 140737159254998 140737159255174 140737159255174 140737159258063 0 [pid=17749/tid=17769] ppid=17747 vsize=28766288 memory=0 CPUtime=111.01 cores=0-7 /proc/17749/task/17769/stat : 17769 (java) S 17747 17747 15724 0 -1 1077944384 3142 0 0 0 11095 6 0 0 20 0 28 0 511499711 29456678912 551956 33554432000 4194304 4196468 140737159253984 139982151212352 139983657129685 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 1 0 0 6293624 6294260 11460608 140737159254998 140737159255174 140737159255174 140737159258063 0 [pid=17749/tid=17770] ppid=17747 vsize=28766288 memory=641 CPUtime=110.46 cores=0-7 /proc/17749/task/17770/stat : 17770 (java) S 17747 17747 15724 0 -1 1077944384 2099 0 0 0 11040 6 0 0 20 0 28 0 511499711 29456678912 551956 33554432000 4194304 4196468 140737159253984 139982150161232 139983657129685 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11460608 140737159254998 140737159255174 140737159255174 140737159258063 0 [pid=17749/tid=17771] ppid=17747 vsize=28766288 memory=576461252204721717 CPUtime=110.82 cores=0-7 /proc/17749/task/17771/stat : 17771 (java) S 17747 17747 15724 0 -1 1077944384 4797 0 0 0 11077 5 0 0 20 0 28 0 511499711 29456678912 551956 33554432000 4194304 4196468 140737159253984 139982149109200 139983657129685 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11460608 140737159254998 140737159255174 140737159255174 140737159258063 0 [pid=17749/tid=17772] ppid=17747 vsize=28766288 memory=288285588845764364 CPUtime=110.16 cores=0-7 /proc/17749/task/17772/stat : 17772 (java) R 17747 17747 15724 0 -1 4202560 3506 0 0 0 11013 3 0 0 20 0 28 0 511499711 29456678912 551956 33554432000 4194304 4196468 140737159253984 139982148051464 139983277569869 0 4 0 16800975 0 0 0 -1 5 0 0 1 0 0 6293624 6294260 11460608 140737159254998 140737159255174 140737159255174 140737159258063 0 [pid=17749/tid=17773] ppid=17747 vsize=28766288 memory=3906646388657883168 CPUtime=111.18 cores=0-7 /proc/17749/task/17773/stat : 17773 (java) S 17747 17747 15724 0 -1 1077944384 2286 0 0 0 11115 3 0 0 20 0 28 0 511499711 29456678912 551956 33554432000 4194304 4196468 140737159253984 139982147003600 139983657129685 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 1 0 0 6293624 6294260 11460608 140737159254998 140737159255174 140737159255174 140737159258063 0 [pid=17749/tid=17774] ppid=17747 vsize=28766288 memory=25348 CPUtime=111.14 cores=0-7 /proc/17749/task/17774/stat : 17774 (java) R 17747 17747 15724 0 -1 4202560 3533 0 0 0 11110 4 0 0 20 0 28 0 511499711 29456678912 551956 33554432000 4194304 4196468 140737159253984 139982145945864 139983277519876 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 11460608 140737159254998 140737159255174 140737159255174 140737159258063 0 [pid=17749/tid=17775] ppid=17747 vsize=28766288 memory=0 CPUtime=110.1 cores=0-7 /proc/17749/task/17775/stat : 17775 (java) R 17747 17747 15724 0 -1 4202560 75984 0 0 0 11000 10 0 0 20 0 28 0 511499711 29456678912 551956 33554432000 4194304 4196468 140737159253984 139982144892560 139983277519891 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 11460608 140737159254998 140737159255174 140737159255174 140737159258063 0 [pid=17749/tid=17776] ppid=17747 vsize=28766288 memory=0 CPUtime=110.41 cores=0-7 /proc/17749/task/17776/stat : 17776 (java) S 17747 17747 15724 0 -1 1077944384 15030 0 0 0 11034 7 0 0 20 0 28 0 511499711 29456678912 551956 33554432000 4194304 4196468 140737159253984 139982143845456 139983657129685 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11460608 140737159254998 140737159255174 140737159255174 140737159258063 0 Current children cumulated CPU time: 908.01 s Current children cumulated vsize: 28879416 KiB Current children cumulated memory: 2209272 KiB [startup+116.801 s] /proc/loadavg: 7.83 8.00 8.12 9/220 17784 /proc/meminfo: memFree=26549220/32770624 swapFree=66954108/67108860 [pid=17747] ppid=17744 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/17747/stat : 17747 (xcsp3-exec) S 17744 17747 15724 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 511499312 115843072 362 33554432000 4194304 5098028 140731395996624 140731395994728 140262962782844 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 29904896 140731395998546 140731395998805 140731395998805 140731396001734 0 /proc/17747/statm: 28282 362 304 221 0 87 0 [pid=17749] ppid=17747 vsize=28766288 memory=2207824 CPUtime=908.47 cores=0-7 /proc/17749/stat : 17749 (java) S 17747 17747 15724 0 -1 1077944320 202412 0 0 0 90491 356 0 0 20 0 28 0 511499312 29456678912 551956 33554432000 4194304 4196468 140737159253984 140737159236528 139983657119479 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 11460608 140737159254998 140737159255174 140737159255174 140737159258063 0 /proc/17749/statm: 7191572 551956 3537 1 0 7152672 0 [pid=17749/tid=17750] ppid=17747 vsize=28766288 memory=0 CPUtime=3.23 cores=0-7 /proc/17749/task/17750/stat : 17750 (java) S 17747 17747 15724 0 -1 1077944384 10654 0 0 0 310 13 0 0 20 0 28 0 511499312 29456678912 551956 33554432000 4194304 4196468 140737159253984 139983661360256 139983657129685 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11460608 140737159254998 140737159255174 140737159255174 140737159258063 0 [pid=17749/tid=17751] ppid=17747 vsize=28766288 memory=2201680 CPUtime=1.41 cores=0-7 /proc/17749/task/17751/stat : 17751 (java) S 17747 17747 15724 0 -1 1077944384 2227 0 0 0 104 37 0 0 20 0 28 0 511499313 29456678912 551956 33554432000 4194304 4196468 140737159253984 139983609739792 139983657129685 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11460608 140737159254998 140737159255174 140737159255174 140737159258063 0 [pid=17749/tid=17752] ppid=17747 vsize=28766288 memory=1448 CPUtime=1.43 cores=0-7 /proc/17749/task/17752/stat : 17752 (java) S 17747 17747 15724 0 -1 1077944384 2034 0 0 0 106 37 0 0 20 0 28 0 511499313 29456678912 551956 33554432000 4194304 4196468 140737159253984 139983608687248 139983657129685 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11460608 140737159254998 140737159255174 140737159255174 140737159258063 0 [pid=17749/tid=17753] ppid=17747 vsize=28766288 memory=2185296 CPUtime=1.43 cores=0-7 /proc/17749/task/17753/stat : 17753 (java) S 17747 17747 15724 0 -1 1077944384 2094 0 0 0 107 36 0 0 20 0 28 0 511499313 29456678912 551956 33554432000 4194304 4196468 140737159253984 139983607634192 139983657129685 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11460608 140737159254998 140737159255174 140737159255174 140737159258063 0 [pid=17749/tid=17754] ppid=17747 vsize=28766288 memory=292003516 CPUtime=1.43 cores=0-7 /proc/17749/task/17754/stat : 17754 (java) S 17747 17747 15724 0 -1 1077944384 1819 0 0 0 109 34 0 0 20 0 28 0 511499313 29456678912 551956 33554432000 4194304 4196468 140737159253984 139983606581648 139983657129685 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11460608 140737159254998 140737159255174 140737159255174 140737159258063 0 [pid=17749/tid=17755] ppid=17747 vsize=28766288 memory=988 CPUtime=1.41 cores=0-7 /proc/17749/task/17755/stat : 17755 (java) S 17747 17747 15724 0 -1 1077944384 1853 0 0 0 107 34 0 0 20 0 28 0 511499313 29456678912 551956 33554432000 4194304 4196468 140737159253984 139983605529616 139983657129685 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11460608 140737159254998 140737159255174 140737159255174 140737159258063 0 [pid=17749/tid=17756] ppid=17747 vsize=28766288 memory=2016 CPUtime=1.41 cores=0-7 /proc/17749/task/17756/stat : 17756 (java) S 17747 17747 15724 0 -1 1077944384 1941 0 0 0 108 33 0 0 20 0 28 0 511499313 29456678912 551956 33554432000 4194304 4196468 140737159253984 139983604477072 139983657129685 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11460608 140737159254998 140737159255174 140737159255174 140737159258063 0 [pid=17749/tid=17757] ppid=17747 vsize=28766288 memory=1284 CPUtime=1.38 cores=0-7 /proc/17749/task/17757/stat : 17757 (java) S 17747 17747 15724 0 -1 1077944384 1692 0 0 0 105 33 0 0 20 0 28 0 511499313 29456678912 551956 33554432000 4194304 4196468 140737159253984 139983603424016 139983657129685 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11460608 140737159254998 140737159255174 140737159255174 140737159258063 0 [pid=17749/tid=17758] ppid=17747 vsize=28766288 memory=1044 CPUtime=1.39 cores=0-7 /proc/17749/task/17758/stat : 17758 (java) S 17747 17747 15724 0 -1 1077944384 1746 0 0 0 105 34 0 0 20 0 28 0 511499313 29456678912 551956 33554432000 4194304 4196468 140737159253984 139983602371472 139983657129685 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11460608 140737159254998 140737159255174 140737159255174 140737159258063 0 [pid=17749/tid=17759] ppid=17747 vsize=28766288 memory=708 CPUtime=0.07 cores=0-7 /proc/17749/task/17759/stat : 17759 (java) S 17747 17747 15724 0 -1 1077944384 5738 0 0 0 6 1 0 0 20 0 28 0 511499315 29456678912 551956 33554432000 4194304 4196468 140737159253984 139982169663728 139983657130626 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11460608 140737159254998 140737159255174 140737159255174 140737159258063 0 [pid=17749/tid=17760] ppid=17747 vsize=28766288 memory=9364 CPUtime=0 cores=0-7 /proc/17749/task/17760/stat : 17760 (java) S 17747 17747 15724 0 -1 1077944384 37 0 0 0 0 0 0 0 20 0 28 0 511499315 29456678912 551956 33554432000 4194304 4196468 140737159253984 139982168610016 139983657129685 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11460608 140737159254998 140737159255174 140737159255174 140737159258063 0 [pid=17749/tid=17761] ppid=17747 vsize=28766288 memory=1120 CPUtime=0 cores=0-7 /proc/17749/task/17761/stat : 17761 (java) S 17747 17747 15724 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 28 0 511499315 29456678912 551956 33554432000 4194304 4196468 140737159253984 139982167556864 139983657129685 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11460608 140737159254998 140737159255174 140737159255174 140737159258063 0 [pid=17749/tid=17762] ppid=17747 vsize=28766288 memory=776 CPUtime=0 cores=0-7 /proc/17749/task/17762/stat : 17762 (java) S 17747 17747 15724 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 511499318 29456678912 551956 33554432000 4194304 4196468 140737159253984 139982166505424 139983657138075 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11460608 140737159254998 140737159255174 140737159255174 140737159258063 0 [pid=17749/tid=17763] ppid=17747 vsize=28766288 memory=1724 CPUtime=2.32 cores=0-7 /proc/17749/task/17763/stat : 17763 (java) S 17747 17747 15724 0 -1 1077944384 16218 0 0 0 230 2 0 0 20 0 28 0 511499318 29456678912 551956 33554432000 4194304 4196468 140737159253984 139982165453552 139983657130626 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11460608 140737159254998 140737159255174 140737159255174 140737159258063 0 [pid=17749/tid=17764] ppid=17747 vsize=28766288 memory=4 CPUtime=2.08 cores=0-7 /proc/17749/task/17764/stat : 17764 (java) S 17747 17747 15724 0 -1 1077944384 14231 0 0 0 205 3 0 0 20 0 28 0 511499318 29456678912 551956 33554432000 4194304 4196468 140737159253984 139982164401008 139983657130626 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11460608 140737159254998 140737159255174 140737159255174 140737159258063 0 [pid=17749/tid=17765] ppid=17747 vsize=28766288 memory=9067 CPUtime=2.67 cores=0-7 /proc/17749/task/17765/stat : 17765 (java) S 17747 17747 15724 0 -1 1077944384 15762 0 0 0 265 2 0 0 20 0 28 0 511499318 29456678912 551956 33554432000 4194304 4196468 140737159253984 139982163347952 139983657130626 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11460608 140737159254998 140737159255174 140737159255174 140737159258063 0 [pid=17749/tid=17766] ppid=17747 vsize=28766288 memory=9027 CPUtime=0.79 cores=0-7 /proc/17749/task/17766/stat : 17766 (java) S 17747 17747 15724 0 -1 1077944384 11258 0 0 0 77 2 0 0 20 0 28 0 511499318 29456678912 551956 33554432000 4194304 4196468 140737159253984 139982162295408 139983657130626 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11460608 140737159254998 140737159255174 140737159255174 140737159258063 0 [pid=17749/tid=17767] ppid=17747 vsize=28766288 memory=9054 CPUtime=0 cores=0-7 /proc/17749/task/17767/stat : 17767 (java) S 17747 17747 15724 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 511499318 29456678912 551956 33554432000 4194304 4196468 140737159253984 139982161242592 139983657129685 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11460608 140737159254998 140737159255174 140737159255174 140737159258063 0 [pid=17749/tid=17768] ppid=17747 vsize=28766288 memory=9012 CPUtime=0.04 cores=0-7 /proc/17749/task/17768/stat : 17768 (java) S 17747 17747 15724 0 -1 1077944384 1445 0 0 0 2 2 0 0 20 0 28 0 511499318 29456678912 551956 33554432000 4194304 4196468 140737159253984 139982160190128 139983657130626 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11460608 140737159254998 140737159255174 140737159255174 140737159258063 0 [pid=17749/tid=17769] ppid=17747 vsize=28766288 memory=9082 CPUtime=111.01 cores=0-7 /proc/17749/task/17769/stat : 17769 (java) S 17747 17747 15724 0 -1 1077944384 3142 0 0 0 11095 6 0 0 20 0 28 0 511499711 29456678912 551956 33554432000 4194304 4196468 140737159253984 139982151212352 139983657129685 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 1 0 0 6293624 6294260 11460608 140737159254998 140737159255174 140737159255174 140737159258063 0 [pid=17749/tid=17770] ppid=17747 vsize=28766288 memory=9076 CPUtime=110.46 cores=0-7 /proc/17749/task/17770/stat : 17770 (java) S 17747 17747 15724 0 -1 1077944384 2099 0 0 0 11040 6 0 0 20 0 28 0 511499711 29456678912 551956 33554432000 4194304 4196468 140737159253984 139982150161232 139983657129685 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11460608 140737159254998 140737159255174 140737159255174 140737159258063 0 [pid=17749/tid=17771] ppid=17747 vsize=28766288 memory=8972 CPUtime=110.82 cores=0-7 /proc/17749/task/17771/stat : 17771 (java) S 17747 17747 15724 0 -1 1077944384 4797 0 0 0 11077 5 0 0 20 0 28 0 511499711 29456678912 551956 33554432000 4194304 4196468 140737159253984 139982149109200 139983657129685 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11460608 140737159254998 140737159255174 140737159255174 140737159258063 0 [pid=17749/tid=17772] ppid=17747 vsize=28766288 memory=9029 CPUtime=110.21 cores=0-7 /proc/17749/task/17772/stat : 17772 (java) S 17747 17747 15724 0 -1 1077944384 3508 0 0 0 11018 3 0 0 20 0 28 0 511499711 29456678912 551956 33554432000 4194304 4196468 140737159253984 139982148056656 139983657129685 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 1 0 0 6293624 6294260 11460608 140737159254998 140737159255174 140737159255174 140737159258063 0 [pid=17749/tid=17773] ppid=17747 vsize=28766288 memory=1448 CPUtime=111.18 cores=0-7 /proc/17749/task/17773/stat : 17773 (java) S 17747 17747 15724 0 -1 1077944384 2286 0 0 0 11115 3 0 0 20 0 28 0 511499711 29456678912 551956 33554432000 4194304 4196468 140737159253984 139982147003600 139983657129685 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 1 0 0 6293624 6294260 11460608 140737159254998 140737159255174 140737159255174 140737159258063 0 [pid=17749/tid=17774] ppid=17747 vsize=28766288 memory=2207824 CPUtime=111.15 cores=0-7 /proc/17749/task/17774/stat : 17774 (java) S 17747 17747 15724 0 -1 1077944384 3533 0 0 0 11111 4 0 0 20 0 28 0 511499711 29456678912 551956 33554432000 4194304 4196468 140737159253984 139982145951056 139983657129685 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11460608 140737159254998 140737159255174 140737159255174 140737159258063 0 [pid=17749/tid=17775] ppid=17747 vsize=28766288 memory=14981065810905736 CPUtime=110.5 cores=0-7 /proc/17749/task/17775/stat : 17775 (java) R 17747 17747 15724 0 -1 4202560 75984 0 0 0 11040 10 0 0 20 0 28 0 511499711 29456678912 551956 33554432000 4194304 4196468 140737159253984 139982144892672 139983277569862 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 11460608 140737159254998 140737159255174 140737159255174 140737159258063 0 [pid=17749/tid=17776] ppid=17747 vsize=28766288 memory=14008 CPUtime=110.41 cores=0-7 /proc/17749/task/17776/stat : 17776 (java) S 17747 17747 15724 0 -1 1077944384 15030 0 0 0 11034 7 0 0 20 0 28 0 511499711 29456678912 551956 33554432000 4194304 4196468 140737159253984 139982143845456 139983657129685 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11460608 140737159254998 140737159255174 140737159255174 140737159258063 0 Current children cumulated CPU time: 908.47 s Current children cumulated vsize: 28879416 KiB Current children cumulated memory: 2209272 KiB [startup+116.901 s] /proc/loadavg: 7.83 8.00 8.12 9/220 17784 /proc/meminfo: memFree=26549220/32770624 swapFree=66954108/67108860 [pid=17747] ppid=17744 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/17747/stat : 17747 (xcsp3-exec) S 17744 17747 15724 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 511499312 115843072 362 33554432000 4194304 5098028 140731395996624 140731395994728 140262962782844 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 29904896 140731395998546 140731395998805 140731395998805 140731396001734 0 /proc/17747/statm: 28282 362 304 221 0 87 0 [pid=17749] ppid=17747 vsize=28766288 memory=2207824 CPUtime=908.57 cores=0-7 /proc/17749/stat : 17749 (java) S 17747 17747 15724 0 -1 1077944320 202412 0 0 0 90501 356 0 0 20 0 28 0 511499312 29456678912 551956 33554432000 4194304 4196468 140737159253984 140737159236528 139983657119479 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 11460608 140737159254998 140737159255174 140737159255174 140737159258063 0 /proc/17749/statm: 7191572 551956 3537 1 0 7152672 0 [pid=17749/tid=17750] ppid=17747 vsize=28766288 memory=2207824 CPUtime=3.23 cores=0-7 /proc/17749/task/17750/stat : 17750 (java) S 17747 17747 15724 0 -1 1077944384 10654 0 0 0 310 13 0 0 20 0 28 0 511499312 29456678912 551956 33554432000 4194304 4196468 140737159253984 139983661360256 139983657129685 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11460608 140737159254998 140737159255174 140737159255174 140737159258063 0 [pid=17749/tid=17751] ppid=17747 vsize=28766288 memory=2185296 CPUtime=1.41 cores=0-7 /proc/17749/task/17751/stat : 17751 (java) S 17747 17747 15724 0 -1 1077944384 2227 0 0 0 104 37 0 0 20 0 28 0 511499313 29456678912 551956 33554432000 4194304 4196468 140737159253984 139983609739792 139983657129685 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11460608 140737159254998 140737159255174 140737159255174 140737159258063 0 [pid=17749/tid=17752] ppid=17747 vsize=28766288 memory=2203728 CPUtime=1.43 cores=0-7 /proc/17749/task/17752/stat : 17752 (java) S 17747 17747 15724 0 -1 1077944384 2034 0 0 0 106 37 0 0 20 0 28 0 511499313 29456678912 551956 33554432000 4194304 4196468 140737159253984 139983608687248 139983657129685 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11460608 140737159254998 140737159255174 140737159255174 140737159258063 0 [pid=17749/tid=17753] ppid=17747 vsize=28766288 memory=2207824 CPUtime=1.43 cores=0-7 /proc/17749/task/17753/stat : 17753 (java) S 17747 17747 15724 0 -1 1077944384 2094 0 0 0 107 36 0 0 20 0 28 0 511499313 29456678912 551956 33554432000 4194304 4196468 140737159253984 139983607634192 139983657129685 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11460608 140737159254998 140737159255174 140737159255174 140737159258063 0 [pid=17749/tid=17754] ppid=17747 vsize=28766288 memory=1448 CPUtime=1.43 cores=0-7 /proc/17749/task/17754/stat : 17754 (java) S 17747 17747 15724 0 -1 1077944384 1819 0 0 0 109 34 0 0 20 0 28 0 511499313 29456678912 551956 33554432000 4194304 4196468 140737159253984 139983606581648 139983657129685 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11460608 140737159254998 140737159255174 140737159255174 140737159258063 0 [pid=17749/tid=17755] ppid=17747 vsize=28766288 memory=2185296 CPUtime=1.41 cores=0-7 /proc/17749/task/17755/stat : 17755 (java) S 17747 17747 15724 0 -1 1077944384 1853 0 0 0 107 34 0 0 20 0 28 0 511499313 29456678912 551956 33554432000 4194304 4196468 140737159253984 139983605529616 139983657129685 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11460608 140737159254998 140737159255174 140737159255174 140737159258063 0 [pid=17749/tid=17756] ppid=17747 vsize=28766288 memory=279512714407424 CPUtime=1.41 cores=0-7 /proc/17749/task/17756/stat : 17756 (java) S 17747 17747 15724 0 -1 1077944384 1941 0 0 0 108 33 0 0 20 0 28 0 511499313 29456678912 551956 33554432000 4194304 4196468 140737159253984 139983604477072 139983657129685 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11460608 140737159254998 140737159255174 140737159255174 140737159258063 0 [pid=17749/tid=17757] ppid=17747 vsize=28766288 memory=-4695043397844020537 CPUtime=1.38 cores=0-7 /proc/17749/task/17757/stat : 17757 (java) S 17747 17747 15724 0 -1 1077944384 1692 0 0 0 105 33 0 0 20 0 28 0 511499313 29456678912 551956 33554432000 4194304 4196468 140737159253984 139983603424016 139983657129685 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11460608 140737159254998 140737159255174 140737159255174 140737159258063 0 [pid=17749/tid=17758] ppid=17747 vsize=28766288 memory=1448 CPUtime=1.39 cores=0-7 /proc/17749/task/17758/stat : 17758 (java) S 17747 17747 15724 0 -1 1077944384 1746 0 0 0 105 34 0 0 20 0 28 0 511499313 29456678912 551956 33554432000 4194304 4196468 140737159253984 139983602371472 139983657129685 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11460608 140737159254998 140737159255174 140737159255174 140737159258063 0 [pid=17749/tid=17759] ppid=17747 vsize=28766288 memory=2127916 CPUtime=0.07 cores=0-7 /proc/17749/task/17759/stat : 17759 (java) S 17747 17747 15724 0 -1 1077944384 5738 0 0 0 6 1 0 0 20 0 28 0 511499315 29456678912 551956 33554432000 4194304 4196468 140737159253984 139982169663728 139983657130626 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11460608 140737159254998 140737159255174 140737159255174 140737159258063 0 [pid=17749/tid=17760] ppid=17747 vsize=28766288 memory=6791534058613427641 CPUtime=0 cores=0-7 /proc/17749/task/17760/stat : 17760 (java) S 17747 17747 15724 0 -1 1077944384 37 0 0 0 0 0 0 0 20 0 28 0 511499315 29456678912 551956 33554432000 4194304 4196468 140737159253984 139982168610016 139983657129685 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11460608 140737159254998 140737159255174 140737159255174 140737159258063 0 [pid=17749/tid=17761] ppid=17747 vsize=28766288 memory=2123796 CPUtime=0 cores=0-7 /proc/17749/task/17761/stat : 17761 (java) S 17747 17747 15724 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 28 0 511499315 29456678912 551956 33554432000 4194304 4196468 140737159253984 139982167556864 139983657129685 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11460608 140737159254998 140737159255174 140737159255174 140737159258063 0 [pid=17749/tid=17762] ppid=17747 vsize=28766288 memory=1448 CPUtime=0 cores=0-7 /proc/17749/task/17762/stat : 17762 (java) S 17747 17747 15724 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 511499318 29456678912 551956 33554432000 4194304 4196468 140737159253984 139982166505424 139983657138075 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11460608 140737159254998 140737159255174 140737159255174 140737159258063 0 [pid=17749/tid=17763] ppid=17747 vsize=28766288 memory=2203728 CPUtime=2.32 cores=0-7 /proc/17749/task/17763/stat : 17763 (java) S 17747 17747 15724 0 -1 1077944384 16218 0 0 0 230 2 0 0 20 0 28 0 511499318 29456678912 551956 33554432000 4194304 4196468 140737159253984 139982165453552 139983657130626 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11460608 140737159254998 140737159255174 140737159255174 140737159258063 0 [pid=17749/tid=17764] ppid=17747 vsize=28766288 memory=279512714393520 CPUtime=2.08 cores=0-7 /proc/17749/task/17764/stat : 17764 (java) S 17747 17747 15724 0 -1 1077944384 14231 0 0 0 205 3 0 0 20 0 28 0 511499318 29456678912 551956 33554432000 4194304 4196468 140737159253984 139982164401008 139983657130626 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11460608 140737159254998 140737159255174 140737159255174 140737159258063 0 [pid=17749/tid=17765] ppid=17747 vsize=28766288 memory=29968178230 CPUtime=2.67 cores=0-7 /proc/17749/task/17765/stat : 17765 (java) S 17747 17747 15724 0 -1 1077944384 15762 0 0 0 265 2 0 0 20 0 28 0 511499318 29456678912 551956 33554432000 4194304 4196468 140737159253984 139982163347952 139983657130626 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11460608 140737159254998 140737159255174 140737159255174 140737159258063 0 [pid=17749/tid=17766] ppid=17747 vsize=28766288 memory=1448 CPUtime=0.79 cores=0-7 /proc/17749/task/17766/stat : 17766 (java) S 17747 17747 15724 0 -1 1077944384 11258 0 0 0 77 2 0 0 20 0 28 0 511499318 29456678912 551956 33554432000 4194304 4196468 140737159253984 139982162295408 139983657130626 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11460608 140737159254998 140737159255174 140737159255174 140737159258063 0 [pid=17749/tid=17767] ppid=17747 vsize=28766288 memory=0 CPUtime=0 cores=0-7 /proc/17749/task/17767/stat : 17767 (java) S 17747 17747 15724 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 511499318 29456678912 551956 33554432000 4194304 4196468 140737159253984 139982161242592 139983657129685 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11460608 140737159254998 140737159255174 140737159255174 140737159258063 0 [pid=17749/tid=17768] ppid=17747 vsize=28766288 memory=7236847456869568618 CPUtime=0.04 cores=0-7 /proc/17749/task/17768/stat : 17768 (java) S 17747 17747 15724 0 -1 1077944384 1445 0 0 0 2 2 0 0 20 0 28 0 511499318 29456678912 551956 33554432000 4194304 4196468 140737159253984 139982160190128 139983657130626 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11460608 140737159254998 140737159255174 140737159255174 140737159258063 0 [pid=17749/tid=17769] ppid=17747 vsize=28766288 memory=1448 CPUtime=111.01 cores=0-7 /proc/17749/task/17769/stat : 17769 (java) S 17747 17747 15724 0 -1 1077944384 3142 0 0 0 11095 6 0 0 20 0 28 0 511499711 29456678912 551956 33554432000 4194304 4196468 140737159253984 139982151212352 139983657129685 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 1 0 0 6293624 6294260 11460608 140737159254998 140737159255174 140737159255174 140737159258063 0 [pid=17749/tid=17770] ppid=17747 vsize=28766288 memory=2132016 CPUtime=110.46 cores=0-7 /proc/17749/task/17770/stat : 17770 (java) S 17747 17747 15724 0 -1 1077944384 2099 0 0 0 11040 6 0 0 20 0 28 0 511499711 29456678912 551956 33554432000 4194304 4196468 140737159253984 139982150161232 139983657129685 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11460608 140737159254998 140737159255174 140737159255174 140737159258063 0 [pid=17749/tid=17771] ppid=17747 vsize=28766288 memory=4104 CPUtime=110.82 cores=0-7 /proc/17749/task/17771/stat : 17771 (java) S 17747 17747 15724 0 -1 1077944384 4797 0 0 0 11077 5 0 0 20 0 28 0 511499711 29456678912 551956 33554432000 4194304 4196468 140737159253984 139982149109200 139983657129685 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11460608 140737159254998 140737159255174 140737159255174 140737159258063 0 [pid=17749/tid=17772] ppid=17747 vsize=28766288 memory=1044 CPUtime=110.21 cores=0-7 /proc/17749/task/17772/stat : 17772 (java) S 17747 17747 15724 0 -1 1077944384 3508 0 0 0 11018 3 0 0 20 0 28 0 511499711 29456678912 551956 33554432000 4194304 4196468 140737159253984 139982148056656 139983657129685 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 1 0 0 6293624 6294260 11460608 140737159254998 140737159255174 140737159255174 140737159258063 0 [pid=17749/tid=17773] ppid=17747 vsize=28766288 memory=708 CPUtime=111.18 cores=0-7 /proc/17749/task/17773/stat : 17773 (java) S 17747 17747 15724 0 -1 1077944384 2286 0 0 0 11115 3 0 0 20 0 28 0 511499711 29456678912 551956 33554432000 4194304 4196468 140737159253984 139982147003600 139983657129685 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 1 0 0 6293624 6294260 11460608 140737159254998 140737159255174 140737159255174 140737159258063 0 [pid=17749/tid=17774] ppid=17747 vsize=28766288 memory=1448 CPUtime=111.15 cores=0-7 /proc/17749/task/17774/stat : 17774 (java) S 17747 17747 15724 0 -1 1077944384 3533 0 0 0 11111 4 0 0 20 0 28 0 511499711 29456678912 551956 33554432000 4194304 4196468 140737159253984 139982145951056 139983657129685 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11460608 140737159254998 140737159255174 140737159255174 140737159258063 0 [pid=17749/tid=17775] ppid=17747 vsize=28766288 memory=2203728 CPUtime=110.6 cores=0-7 /proc/17749/task/17775/stat : 17775 (java) R 17747 17747 15724 0 -1 4202560 75984 0 0 0 11050 10 0 0 20 0 28 0 511499711 29456678912 551956 33554432000 4194304 4196468 140737159253984 139982144892672 139983277569803 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 11460608 140737159254998 140737159255174 140737159255174 140737159258063 0 [pid=17749/tid=17776] ppid=17747 vsize=28766288 memory=776 CPUtime=110.41 cores=0-7 /proc/17749/task/17776/stat : 17776 (java) S 17747 17747 15724 0 -1 1077944384 15030 0 0 0 11034 7 0 0 20 0 28 0 511499711 29456678912 551956 33554432000 4194304 4196468 140737159253984 139982143845456 139983657129685 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11460608 140737159254998 140737159255174 140737159255174 140737159258063 0 Current children cumulated CPU time: 908.57 s Current children cumulated vsize: 28879416 KiB Current children cumulated memory: 2209272 KiB Child status: 0 Real time (s): 116.939 CPU time (s): 908.622 CPU user time (s): 905.042 CPU system time (s): 3.58058 CPU usage (%): 777.007 Max. virtual memory (cumulated for all children) (KiB): 28879416 Max. memory (cumulated for all children) (KiB): 2209272 getrusage(RUSAGE_CHILDREN,...) data: user time used= 905.042 system time used= 3.58058 maximum resident set size= 2211984 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 204190 page faults= 0 swaps= 0 block input operations= 0 block output operations= 272 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 9179 involuntary context switches= 10241 # summary of solver processes directly reported to runsolver: # pid: 17747 # total CPU time (s): 908.622 # total CPU user time (s): 905.042 # total CPU system time (s): 3.58058 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 1.06289 second user time and 1.36444 second system time The end
Begin job on node107 at 2019-09-24 20:11:56 IDJOB=4406878 IDBENCH=131667 IDSOLVER=2871 FILE ID=node107/4406878-1569352440 RUNJOBID= node107-1569345579-15751 PBS_JOBID= 21705089 Free space on /var/tmp= 12564 MiB SOLVER NAME= choco-solver 2019-09-24 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-4406878-1569352440/watcher-4406878-1569352440 -o /var/tmp/evaluation-result-4406878-1569352440/solver-4406878-1569352440 -C 20160 -W 2520 -M 31000 --bin-var /var/tmp/runsolver-exch-node107-1569345579-15751 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 397099877 HOME/instance-4406878-1569352440.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 8e810070148f78cd392ecc5d984ef703 RANDOM SEED=397099877 node107.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 : 5334.11 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 : 5334.11 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 : 5334.11 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 : 5334.11 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: 28745548 kB MemAvailable: 31800472 kB Buffers: 67724 kB Cached: 3129544 kB SwapCached: 48164 kB Active: 1979284 kB Inactive: 1266616 kB Active(anon): 3272 kB Inactive(anon): 98476 kB Active(file): 1976012 kB Inactive(file): 1168140 kB Unevictable: 110992 kB Mlocked: 110992 kB SwapTotal: 67108860 kB SwapFree: 66954108 kB Dirty: 26224 kB Writeback: 0 kB AnonPages: 138868 kB Mapped: 54132 kB Shmem: 44500 kB Slab: 367580 kB SReclaimable: 339232 kB SUnreclaim: 28348 kB KernelStack: 3808 kB PageTables: 5336 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 505928 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 94208 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 101760 kB DirectMap2M: 33443840 kB Free space on /var/tmp at the end= 12536 MiB End job on node107 at 2019-09-24 20:13:54