Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
choco-solver 2019-06-14 parallel | SAT | 26.6779 | 5.07739 |
Name | Subisomorphism/Subisomorphism-m1-si4-m4D/ Subisomorphism-si4-m4D-m625-05.xml |
MD5SUM | a06e274e1d637d430249b010d1ea7ff6 |
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 | 0.107886 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 250 |
Number of constraints | 900 |
Number of domains | 1 |
Minimum domain size | 625 |
Maximum domain size | 625 |
Distribution of domain sizes | [{"size":625,"count":250}] |
Minimum variable degree | 3 |
Maximum variable degree | 10 |
Distribution of variable degrees | [{"degree":3,"count":7},{"degree":4,"count":20},{"degree":6,"count":53},{"degree":7,"count":38},{"degree":8,"count":61},{"degree":9,"count":58},{"degree":10,"count":13}] |
Minimum constraint arity | 1 |
Maximum constraint arity | 250 |
Distribution of constraint arities | [{"arity":1,"count":223},{"arity":2,"count":676},{"arity":250,"count":1}] |
Number of extensional constraints | 899 |
Number of intensional constraints | 0 |
Distribution of constraint types | [{"type":"extension","count":899},{"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-4393495-1568431500.xml" -tl '20160s' -p 8 0.12/0.18 c Choco e747e1e 0.12/0.18 c [HOME/instance-4393495-1568431500.xml, -tl, 20160s, -p, 8] 0.34/0.22 c 8 solvers in parallel 0.34/0.29 c parse instance... 15.13/3.50 c solve instance... 26.48/5.05 s SATISFIABLE 26.48/5.05 v <instantiation> 26.48/5.05 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] x[240] x[241] x[242] x[243] x[244] x[245] x[246] x[247] x[248] x[249] </list> 26.48/5.05 v <values>0 82 86 388 498 258 312 406 416 520 120 325 429 185 43 145 180 233 396 70 187 311 403 254 322 379 492 168 320 378 604 42 256 428 462 616 24 39 230 74 227 335 270 375 263 89 303 503 527 338 476 319 573 76 511 152 279 434 352 333 602 176 308 64 437 471 596 58 205 236 93 156 535 31 350 472 108 487 386 103 151 570 368 580 344 455 15 215 347 362 415 494 47 295 479 52 26 447 104 558 474 507 404 433 623 484 525 617 193 56 65 414 442 11 480 555 470 543 77 243 369 191 618 149 345 336 561 25 54 274 430 544 242 244 16 33 300 376 486 123 179 473 261 622 121 167 475 539 582 80 101 161 326 252 318 342 355 427 37 466 248 446 540 489 409 567 63 217 560 136 353 523 321 384 88 290 436 611 365 400 159 444 8 272 231 599 586 372 536 387 419 87 615 621 28 229 504 496 497 153 408 213 299 381 184 394 304 111 49 518 48 339 488 485 499 247 59 147 351 502 163 514 40 450 590 495 255 53 493 574 324 424 198 44 45 262 392 614 23 155 310 139 112 385 359 453 354 190 348 71 </values> 26.48/5.05 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 (10666 MiB free) memory of node 1: 16384 MiB (13057 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4393495-1568431500/watcher-4393495-1568431500 -o /tmp/evaluation-result-4393495-1568431500/solver-4393495-1568431500 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node143-1568425676-7549 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 384915623 HOME/instance-4393495-1568431500.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 solver pid=9704, runsolver pid=9701 Current StackSize limit: 8192 KiB [startup+0.100161 s]* /proc/loadavg: 7.44 7.81 7.93 2/212 9725 /proc/meminfo: memFree=24278544/32770624 swapFree=67108848/67108860 [pid=9704] ppid=9701 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/9704/stat : 9704 (xcsp3-exec) S 9701 9704 7522 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 419087376 115843072 364 33554432000 4194304 5098028 140725642872224 140725642870328 140020666229372 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 33730560 140725642875766 140725642876009 140725642876009 140725642878922 0 /proc/9704/statm: 28282 364 305 221 0 87 0 [pid=9706] ppid=9704 vsize=28227388 memory=28788 CPUtime=0.12 cores=0-7 /proc/9706/stat : 9706 (java) S 9704 9704 7522 0 -1 1077944320 5671 0 0 0 11 1 0 0 20 0 20 0 419087377 28904845312 7197 33554432000 4194304 4196468 140734144917040 140734144899584 139652252810999 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 15933440 140734144918506 140734144918678 140734144918678 140734144921551 0 /proc/9706/statm: 7056847 7197 3117 1 0 7019032 0 [pid=9706/tid=9707] ppid=9704 vsize=28227388 memory=1398722017469774279 CPUtime=0.08 cores=0-7 /proc/9706/task/9707/stat : 9707 (java) R 9704 9704 7522 0 -1 4202560 3624 0 0 0 8 0 0 0 20 0 20 0 419087377 28904845312 7197 33554432000 4194304 4196468 140734144917040 139652257037136 139651885134240 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 15933440 140734144918506 140734144918678 140734144918678 140734144921551 0 [pid=9706/tid=9708] ppid=9704 vsize=28227388 memory=4872558044660077418 CPUtime=0 cores=0-7 /proc/9706/task/9708/stat : 9708 (java) S 9704 9704 7522 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419087378 28904845312 7197 33554432000 4194304 4196468 140734144917040 139652205431696 139652252821205 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15933440 140734144918506 140734144918678 140734144918678 140734144921551 0 [pid=9706/tid=9709] ppid=9704 vsize=28227388 memory=140357672797824 CPUtime=0 cores=0-7 /proc/9706/task/9709/stat : 9709 (java) S 9704 9704 7522 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419087378 28904845312 7197 33554432000 4194304 4196468 140734144917040 139651803110160 139652252821205 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15933440 140734144918506 140734144918678 140734144918678 140734144921551 0 [pid=9706/tid=9710] ppid=9704 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/9706/task/9710/stat : 9710 (java) S 9704 9704 7522 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419087378 28904845312 7197 33554432000 4194304 4196468 140734144917040 139651802057872 139652252821205 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15933440 140734144918506 140734144918678 140734144918678 140734144921551 0 [pid=9706/tid=9711] ppid=9704 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/9706/task/9711/stat : 9711 (java) S 9704 9704 7522 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419087378 28904845312 7197 33554432000 4194304 4196468 140734144917040 139651801005072 139652252821205 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15933440 140734144918506 140734144918678 140734144918678 140734144921551 0 [pid=9706/tid=9712] ppid=9704 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/9706/task/9712/stat : 9712 (java) S 9704 9704 7522 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419087378 28904845312 7197 33554432000 4194304 4196468 140734144917040 139651799951760 139652252821205 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15933440 140734144918506 140734144918678 140734144918678 140734144921551 0 [pid=9706/tid=9713] ppid=9704 vsize=28227388 memory=-1 CPUtime=0 cores=0-7 /proc/9706/task/9713/stat : 9713 (java) S 9704 9704 7522 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419087378 28904845312 7197 33554432000 4194304 4196468 140734144917040 139651798898960 139652252821205 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15933440 140734144918506 140734144918678 140734144918678 140734144921551 0 [pid=9706/tid=9714] ppid=9704 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/9706/task/9714/stat : 9714 (java) S 9704 9704 7522 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419087378 28904845312 7197 33554432000 4194304 4196468 140734144917040 139651797846672 139652252821205 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15933440 140734144918506 140734144918678 140734144918678 140734144921551 0 [pid=9706/tid=9715] ppid=9704 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/9706/task/9715/stat : 9715 (java) S 9704 9704 7522 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419087378 28904845312 7197 33554432000 4194304 4196468 140734144917040 139651796793872 139652252821205 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15933440 140734144918506 140734144918678 140734144918678 140734144921551 0 [pid=9706/tid=9716] ppid=9704 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/9706/task/9716/stat : 9716 (java) S 9704 9704 7522 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419087379 28904845312 7197 33554432000 4194304 4196468 140734144917040 139650649770608 139652252822146 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15933440 140734144918506 140734144918678 140734144918678 140734144921551 0 [pid=9706/tid=9717] ppid=9704 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/9706/task/9717/stat : 9717 (java) S 9704 9704 7522 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 419087380 28904845312 7197 33554432000 4194304 4196468 140734144917040 139650648716576 139652252821205 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15933440 140734144918506 140734144918678 140734144918678 140734144921551 0 [pid=9706/tid=9718] ppid=9704 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/9706/task/9718/stat : 9718 (java) S 9704 9704 7522 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 419087380 28904845312 7197 33554432000 4194304 4196468 140734144917040 139650647664240 139652252821205 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15933440 140734144918506 140734144918678 140734144918678 140734144921551 0 [pid=9706/tid=9719] ppid=9704 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/9706/task/9719/stat : 9719 (java) S 9704 9704 7522 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419087382 28904845312 7197 33554432000 4194304 4196468 140734144917040 139650646612560 139652252829595 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15933440 140734144918506 140734144918678 140734144918678 140734144921551 0 [pid=9706/tid=9720] ppid=9704 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/9706/task/9720/stat : 9720 (java) S 9704 9704 7522 0 -1 1077944384 299 0 0 0 0 0 0 0 20 0 20 0 419087382 28904845312 7197 33554432000 4194304 4196468 140734144917040 139650645559408 139652252822146 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15933440 140734144918506 140734144918678 140734144918678 140734144921551 0 [pid=9706/tid=9721] ppid=9704 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/9706/task/9721/stat : 9721 (java) S 9704 9704 7522 0 -1 1077944384 122 0 0 0 0 0 0 0 20 0 20 0 419087382 28904845312 7197 33554432000 4194304 4196468 140734144917040 139650644506608 139652252822146 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15933440 140734144918506 140734144918678 140734144918678 140734144921551 0 [pid=9706/tid=9722] ppid=9704 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/9706/task/9722/stat : 9722 (java) S 9704 9704 7522 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419087382 28904845312 7197 33554432000 4194304 4196468 140734144917040 139650643454320 139652252822146 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15933440 140734144918506 140734144918678 140734144918678 140734144921551 0 [pid=9706/tid=9723] ppid=9704 vsize=28227388 memory=0 CPUtime=0.01 cores=0-7 /proc/9706/task/9723/stat : 9723 (java) R 9704 9704 7522 0 -1 4202560 323 0 0 0 1 0 0 0 20 0 20 0 419087382 28904845312 7197 33554432000 4194304 4196468 140734144917040 139650642401520 139652252824863 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 15933440 140734144918506 140734144918678 140734144918678 140734144921551 0 [pid=9706/tid=9724] ppid=9704 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/9706/task/9724/stat : 9724 (java) S 9704 9704 7522 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419087383 28904845312 7197 33554432000 4194304 4196468 140734144917040 139650641349472 139652252821205 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15933440 140734144918506 140734144918678 140734144918678 140734144921551 0 [pid=9706/tid=9725] ppid=9704 vsize=28227388 memory=-1 CPUtime=0 cores=0-7 /proc/9706/task/9725/stat : 9725 (java) S 9704 9704 7522 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419087383 28904845312 7197 33554432000 4194304 4196468 140734144917040 139650640296752 139652252822146 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15933440 140734144918506 140734144918678 140734144918678 140734144921551 0 Current children cumulated CPU time: 0.12 s Current children cumulated vsize: 28340516 KiB Current children cumulated memory: 30244 KiB [startup+0.210179 s]* /proc/loadavg: 7.44 7.81 7.93 2/212 9725 /proc/meminfo: memFree=24264484/32770624 swapFree=67108848/67108860 [pid=9704] ppid=9701 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/9704/stat : 9704 (xcsp3-exec) S 9701 9704 7522 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 419087376 115843072 364 33554432000 4194304 5098028 140725642872224 140725642870328 140020666229372 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 33730560 140725642875766 140725642876009 140725642876009 140725642878922 0 /proc/9704/statm: 28282 364 305 221 0 87 0 [pid=9706] ppid=9704 vsize=28227388 memory=40792 CPUtime=0.34 cores=0-7 /proc/9706/stat : 9706 (java) S 9704 9704 7522 0 -1 1077944320 9500 0 0 0 31 3 0 0 20 0 20 0 419087377 28904845312 10198 33554432000 4194304 4196468 140734144917040 140734144899584 139652252810999 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 15933440 140734144918506 140734144918678 140734144918678 140734144921551 0 /proc/9706/statm: 7056847 10198 3269 1 0 7019032 0 [pid=9706/tid=9707] ppid=9704 vsize=28227388 memory=8318255677412212789 CPUtime=0.2 cores=0-7 /proc/9706/task/9707/stat : 9707 (java) R 9704 9704 7522 0 -1 4202560 6637 0 0 0 18 2 0 0 20 0 20 0 419087377 28904845312 10198 33554432000 4194304 4196468 140734144917040 139652257040432 139651885138273 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 15933440 140734144918506 140734144918678 140734144918678 140734144921551 0 [pid=9706/tid=9708] ppid=9704 vsize=28227388 memory=342 CPUtime=0 cores=0-7 /proc/9706/task/9708/stat : 9708 (java) S 9704 9704 7522 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419087378 28904845312 10198 33554432000 4194304 4196468 140734144917040 139652205431696 139652252821205 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15933440 140734144918506 140734144918678 140734144918678 140734144921551 0 [pid=9706/tid=9709] ppid=9704 vsize=28227388 memory=140357672807781 CPUtime=0 cores=0-7 /proc/9706/task/9709/stat : 9709 (java) S 9704 9704 7522 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419087378 28904845312 10198 33554432000 4194304 4196468 140734144917040 139651803110160 139652252821205 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15933440 140734144918506 140734144918678 140734144918678 140734144921551 0 [pid=9706/tid=9710] ppid=9704 vsize=28227388 memory=-1 CPUtime=0 cores=0-7 /proc/9706/task/9710/stat : 9710 (java) S 9704 9704 7522 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419087378 28904845312 10198 33554432000 4194304 4196468 140734144917040 139651802057872 139652252821205 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15933440 140734144918506 140734144918678 140734144918678 140734144921551 0 [pid=9706/tid=9711] ppid=9704 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/9706/task/9711/stat : 9711 (java) S 9704 9704 7522 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419087378 28904845312 10198 33554432000 4194304 4196468 140734144917040 139651801005072 139652252821205 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15933440 140734144918506 140734144918678 140734144918678 140734144921551 0 [pid=9706/tid=9712] ppid=9704 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/9706/task/9712/stat : 9712 (java) S 9704 9704 7522 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419087378 28904845312 10198 33554432000 4194304 4196468 140734144917040 139651799951760 139652252821205 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15933440 140734144918506 140734144918678 140734144918678 140734144921551 0 [pid=9706/tid=9713] ppid=9704 vsize=28227388 memory=-1 CPUtime=0 cores=0-7 /proc/9706/task/9713/stat : 9713 (java) S 9704 9704 7522 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419087378 28904845312 10198 33554432000 4194304 4196468 140734144917040 139651798898960 139652252821205 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15933440 140734144918506 140734144918678 140734144918678 140734144921551 0 [pid=9706/tid=9714] ppid=9704 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/9706/task/9714/stat : 9714 (java) S 9704 9704 7522 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419087378 28904845312 10198 33554432000 4194304 4196468 140734144917040 139651797846672 139652252821205 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15933440 140734144918506 140734144918678 140734144918678 140734144921551 0 [pid=9706/tid=9715] ppid=9704 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/9706/task/9715/stat : 9715 (java) S 9704 9704 7522 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419087378 28904845312 10198 33554432000 4194304 4196468 140734144917040 139651796793872 139652252821205 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15933440 140734144918506 140734144918678 140734144918678 140734144921551 0 [pid=9706/tid=9716] ppid=9704 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/9706/task/9716/stat : 9716 (java) S 9704 9704 7522 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 419087379 28904845312 10198 33554432000 4194304 4196468 140734144917040 139650649770608 139652252822146 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15933440 140734144918506 140734144918678 140734144918678 140734144921551 0 [pid=9706/tid=9717] ppid=9704 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/9706/task/9717/stat : 9717 (java) S 9704 9704 7522 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 419087380 28904845312 10198 33554432000 4194304 4196468 140734144917040 139650648716576 139652252821205 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15933440 140734144918506 140734144918678 140734144918678 140734144921551 0 [pid=9706/tid=9718] ppid=9704 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/9706/task/9718/stat : 9718 (java) S 9704 9704 7522 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 419087380 28904845312 10198 33554432000 4194304 4196468 140734144917040 139650647664240 139652252821205 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15933440 140734144918506 140734144918678 140734144918678 140734144921551 0 [pid=9706/tid=9719] ppid=9704 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/9706/task/9719/stat : 9719 (java) S 9704 9704 7522 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419087382 28904845312 10198 33554432000 4194304 4196468 140734144917040 139650646612560 139652252829595 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15933440 140734144918506 140734144918678 140734144918678 140734144921551 0 [pid=9706/tid=9720] ppid=9704 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/9706/task/9720/stat : 9720 (java) S 9704 9704 7522 0 -1 1077944384 301 0 0 0 0 0 0 0 20 0 20 0 419087382 28904845312 10198 33554432000 4194304 4196468 140734144917040 139650645559408 139652252822146 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15933440 140734144918506 140734144918678 140734144918678 140734144921551 0 [pid=9706/tid=9721] ppid=9704 vsize=28227388 memory=0 CPUtime=0.02 cores=0-7 /proc/9706/task/9721/stat : 9721 (java) S 9704 9704 7522 0 -1 1077944384 437 0 0 0 2 0 0 0 20 0 20 0 419087382 28904845312 10198 33554432000 4194304 4196468 140734144917040 139650644506608 139652252822146 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15933440 140734144918506 140734144918678 140734144918678 140734144921551 0 [pid=9706/tid=9722] ppid=9704 vsize=28227388 memory=-1 CPUtime=0.01 cores=0-7 /proc/9706/task/9722/stat : 9722 (java) S 9704 9704 7522 0 -1 1077944384 56 0 0 0 1 0 0 0 20 0 20 0 419087382 28904845312 10198 33554432000 4194304 4196468 140734144917040 139650643454320 139652252822146 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15933440 140734144918506 140734144918678 140734144918678 140734144921551 0 [pid=9706/tid=9723] ppid=9704 vsize=28227388 memory=-1 CPUtime=0.07 cores=0-7 /proc/9706/task/9723/stat : 9723 (java) R 9704 9704 7522 0 -1 4202560 758 0 0 0 7 0 0 0 20 0 20 0 419087382 28904845312 10198 33554432000 4194304 4196468 140734144917040 139650642401520 139652231749078 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 15933440 140734144918506 140734144918678 140734144918678 140734144921551 0 [pid=9706/tid=9724] ppid=9704 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/9706/task/9724/stat : 9724 (java) S 9704 9704 7522 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419087383 28904845312 10198 33554432000 4194304 4196468 140734144917040 139650641349472 139652252821205 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15933440 140734144918506 140734144918678 140734144918678 140734144921551 0 [pid=9706/tid=9725] ppid=9704 vsize=28227388 memory=-1 CPUtime=0 cores=0-7 /proc/9706/task/9725/stat : 9725 (java) S 9704 9704 7522 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419087383 28904845312 10198 33554432000 4194304 4196468 140734144917040 139650640296752 139652252822146 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15933440 140734144918506 140734144918678 140734144918678 140734144921551 0 Current children cumulated CPU time: 0.34 s Current children cumulated vsize: 28340516 KiB Current children cumulated memory: 42248 KiB [startup+0.309483 s]* /proc/loadavg: 7.44 7.81 7.93 2/212 9725 /proc/meminfo: memFree=24258616/32770624 swapFree=67108848/67108860 [pid=9704] ppid=9701 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/9704/stat : 9704 (xcsp3-exec) S 9701 9704 7522 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 419087376 115843072 364 33554432000 4194304 5098028 140725642872224 140725642870328 140020666229372 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 33730560 140725642875766 140725642876009 140725642876009 140725642878922 0 /proc/9704/statm: 28282 364 305 221 0 87 0 [pid=9706] ppid=9704 vsize=28231644 memory=49612 CPUtime=0.52 cores=0-7 /proc/9706/stat : 9706 (java) S 9704 9704 7522 0 -1 1077944320 10822 0 0 0 48 4 0 0 20 0 20 0 419087377 28909203456 12403 33554432000 4194304 4196468 140734144917040 140734144899584 139652252810999 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 15933440 140734144918506 140734144918678 140734144918678 140734144921551 0 /proc/9706/statm: 7057911 12403 3350 1 0 7019032 0 [pid=9706/tid=9707] ppid=9704 vsize=28231644 memory=1398722017469774279 CPUtime=0.29 cores=0-7 /proc/9706/task/9707/stat : 9707 (java) R 9704 9704 7522 0 -1 4202560 7754 0 0 0 27 2 0 0 20 0 20 0 419087377 28909203456 12443 33554432000 4194304 4196468 140734144917040 139652257042112 139652236891486 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 15933440 140734144918506 140734144918678 140734144918678 140734144921551 0 [pid=9706/tid=9708] ppid=9704 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/9706/task/9708/stat : 9708 (java) S 9704 9704 7522 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419087378 28909203456 12443 33554432000 4194304 4196468 140734144917040 139652205431696 139652252821205 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15933440 140734144918506 140734144918678 140734144918678 140734144921551 0 [pid=9706/tid=9709] ppid=9704 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/9706/task/9709/stat : 9709 (java) S 9704 9704 7522 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419087378 28909203456 12443 33554432000 4194304 4196468 140734144917040 139651803110160 139652252821205 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15933440 140734144918506 140734144918678 140734144918678 140734144921551 0 [pid=9706/tid=9710] ppid=9704 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/9706/task/9710/stat : 9710 (java) S 9704 9704 7522 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419087378 28909203456 12443 33554432000 4194304 4196468 140734144917040 139651802057872 139652252821205 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15933440 140734144918506 140734144918678 140734144918678 140734144921551 0 [pid=9706/tid=9711] ppid=9704 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/9706/task/9711/stat : 9711 (java) S 9704 9704 7522 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419087378 28909203456 12443 33554432000 4194304 4196468 140734144917040 139651801005072 139652252821205 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15933440 140734144918506 140734144918678 140734144918678 140734144921551 0 [pid=9706/tid=9712] ppid=9704 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/9706/task/9712/stat : 9712 (java) S 9704 9704 7522 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419087378 28909203456 12443 33554432000 4194304 4196468 140734144917040 139651799951760 139652252821205 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15933440 140734144918506 140734144918678 140734144918678 140734144921551 0 [pid=9706/tid=9713] ppid=9704 vsize=28231644 memory=140357518060207 CPUtime=0 cores=0-7 /proc/9706/task/9713/stat : 9713 (java) S 9704 9704 7522 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419087378 28909203456 12443 33554432000 4194304 4196468 140734144917040 139651798898960 139652252821205 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15933440 140734144918506 140734144918678 140734144918678 140734144921551 0 [pid=9706/tid=9714] ppid=9704 vsize=28231644 memory=140357518062512 CPUtime=0 cores=0-7 /proc/9706/task/9714/stat : 9714 (java) S 9704 9704 7522 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419087378 28909203456 12443 33554432000 4194304 4196468 140734144917040 139651797846672 139652252821205 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15933440 140734144918506 140734144918678 140734144918678 140734144921551 0 [pid=9706/tid=9715] ppid=9704 vsize=28231644 memory=140357518064816 CPUtime=0 cores=0-7 /proc/9706/task/9715/stat : 9715 (java) S 9704 9704 7522 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419087378 28909203456 12443 33554432000 4194304 4196468 140734144917040 139651796793872 139652252821205 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15933440 140734144918506 140734144918678 140734144918678 140734144921551 0 [pid=9706/tid=9716] ppid=9704 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/9706/task/9716/stat : 9716 (java) S 9704 9704 7522 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 419087379 28909203456 12443 33554432000 4194304 4196468 140734144917040 139650649770608 139652252822146 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15933440 140734144918506 140734144918678 140734144918678 140734144921551 0 [pid=9706/tid=9717] ppid=9704 vsize=28231644 memory=280715036143504 CPUtime=0 cores=0-7 /proc/9706/task/9717/stat : 9717 (java) S 9704 9704 7522 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 419087380 28909203456 12443 33554432000 4194304 4196468 140734144917040 139650648716576 139652252821205 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15933440 140734144918506 140734144918678 140734144918678 140734144921551 0 [pid=9706/tid=9718] ppid=9704 vsize=28231644 memory=280715036141200 CPUtime=0 cores=0-7 /proc/9706/task/9718/stat : 9718 (java) S 9704 9704 7522 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 419087380 28909203456 12443 33554432000 4194304 4196468 140734144917040 139650647664240 139652252821205 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15933440 140734144918506 140734144918678 140734144918678 140734144921551 0 [pid=9706/tid=9719] ppid=9704 vsize=28231644 memory=280715036148112 CPUtime=0 cores=0-7 /proc/9706/task/9719/stat : 9719 (java) S 9704 9704 7522 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419087382 28909203456 12443 33554432000 4194304 4196468 140734144917040 139650646612560 139652252829595 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15933440 140734144918506 140734144918678 140734144918678 140734144921551 0 [pid=9706/tid=9720] ppid=9704 vsize=28231644 memory=280715036089392 CPUtime=0.01 cores=0-7 /proc/9706/task/9720/stat : 9720 (java) S 9704 9704 7522 0 -1 1077944384 343 0 0 0 1 0 0 0 20 0 20 0 419087382 28909203456 12443 33554432000 4194304 4196468 140734144917040 139650645559408 139652252822146 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15933440 140734144918506 140734144918678 140734144918678 140734144921551 0 [pid=9706/tid=9721] ppid=9704 vsize=28231644 memory=280715036161936 CPUtime=0.04 cores=0-7 /proc/9706/task/9721/stat : 9721 (java) R 9704 9704 7522 0 -1 4202560 524 0 0 0 4 0 0 0 20 0 20 0 419087382 28909203456 12443 33554432000 4194304 4196468 140734144917040 139650644487624 139652237706627 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 15933440 140734144918506 140734144918678 140734144918678 140734144921551 0 [pid=9706/tid=9722] ppid=9704 vsize=28231644 memory=280715036168848 CPUtime=0.02 cores=0-7 /proc/9706/task/9722/stat : 9722 (java) S 9704 9704 7522 0 -1 1077944384 64 0 0 0 2 0 0 0 20 0 20 0 419087382 28909203456 12443 33554432000 4194304 4196468 140734144917040 139650643454320 139652252822146 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15933440 140734144918506 140734144918678 140734144918678 140734144921551 0 [pid=9706/tid=9723] ppid=9704 vsize=28231644 memory=280715036166544 CPUtime=0.12 cores=0-7 /proc/9706/task/9723/stat : 9723 (java) S 9704 9704 7522 0 -1 1077944384 839 0 0 0 12 0 0 0 20 0 20 0 419087382 28909203456 12443 33554432000 4194304 4196468 140734144917040 139650642401520 139652252822146 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15933440 140734144918506 140734144918678 140734144918678 140734144921551 0 [pid=9706/tid=9724] ppid=9704 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/9706/task/9724/stat : 9724 (java) S 9704 9704 7522 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419087383 28909203456 12509 33554432000 4194304 4196468 140734144917040 139650641349472 139652252821205 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15933440 140734144918506 140734144918678 140734144918678 140734144921551 0 [pid=9706/tid=9725] ppid=9704 vsize=28231644 memory=-1 CPUtime=0 cores=0-7 /proc/9706/task/9725/stat : 9725 (java) S 9704 9704 7522 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419087383 28909203456 12509 33554432000 4194304 4196468 140734144917040 139650640296752 139652252822146 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15933440 140734144918506 140734144918678 140734144918678 140734144921551 0 Current children cumulated CPU time: 0.52 s Current children cumulated vsize: 28344772 KiB Current children cumulated memory: 51068 KiB [startup+0.700965 s] /proc/loadavg: 7.44 7.81 7.93 6/212 9725 /proc/meminfo: memFree=24244052/32770624 swapFree=67108848/67108860 [pid=9704] ppid=9701 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/9704/stat : 9704 (xcsp3-exec) S 9701 9704 7522 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 419087376 115843072 364 33554432000 4194304 5098028 140725642872224 140725642870328 140020666229372 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 33730560 140725642875766 140725642876009 140725642876009 140725642878922 0 /proc/9704/statm: 28282 364 305 221 0 87 0 [pid=9706] ppid=9704 vsize=28233768 memory=117700 CPUtime=1.69 cores=0-7 /proc/9706/stat : 9706 (java) S 9704 9704 7522 0 -1 1077944320 15444 0 0 0 162 7 0 0 20 0 20 0 419087377 28911378432 29425 33554432000 4194304 4196468 140734144917040 140734144899584 139652252810999 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 15933440 140734144918506 140734144918678 140734144918678 140734144921551 0 /proc/9706/statm: 7058442 29425 3448 1 0 7019544 0 [pid=9706/tid=9707] ppid=9704 vsize=28233768 memory=0 CPUtime=0.67 cores=0-7 /proc/9706/task/9707/stat : 9707 (java) R 9704 9704 7522 0 -1 4202560 9076 0 0 0 63 4 0 0 20 0 20 0 419087377 28911378432 29425 33554432000 4194304 4196468 140734144917040 139652257048160 139652232536058 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 15933440 140734144918506 140734144918678 140734144918678 140734144921551 0 [pid=9706/tid=9708] ppid=9704 vsize=28233768 memory=140357518271344 CPUtime=0 cores=0-7 /proc/9706/task/9708/stat : 9708 (java) S 9704 9704 7522 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419087378 28911378432 29425 33554432000 4194304 4196468 140734144917040 139652205431696 139652252821205 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15933440 140734144918506 140734144918678 140734144918678 140734144921551 0 [pid=9706/tid=9709] ppid=9704 vsize=28233768 memory=0 CPUtime=0 cores=0-7 /proc/9706/task/9709/stat : 9709 (java) S 9704 9704 7522 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419087378 28911378432 29425 33554432000 4194304 4196468 140734144917040 139651803110160 139652252821205 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15933440 140734144918506 140734144918678 140734144918678 140734144921551 0 [pid=9706/tid=9710] ppid=9704 vsize=28233768 memory=7180 CPUtime=0 cores=0-7 /proc/9706/task/9710/stat : 9710 (java) S 9704 9704 7522 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419087378 28911378432 29425 33554432000 4194304 4196468 140734144917040 139651802057872 139652252821205 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15933440 140734144918506 140734144918678 140734144918678 140734144921551 0 ################ # More data... # ################ [pid=9706/tid=9723] ppid=9704 vsize=28766280 memory=0 CPUtime=0.53 cores=0-7 /proc/9706/task/9723/stat : 9723 (java) S 9704 9704 7522 0 -1 1077944384 2266 0 0 0 53 0 0 0 20 0 28 0 419087382 29456670720 379444 33554432000 4194304 4196468 140734144917040 139650642401520 139652252822146 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15933440 140734144918506 140734144918678 140734144918678 140734144921551 0 [pid=9706/tid=9724] ppid=9704 vsize=28766280 memory=280715036274256 CPUtime=0 cores=0-7 /proc/9706/task/9724/stat : 9724 (java) S 9704 9704 7522 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 419087383 29456670720 379444 33554432000 4194304 4196468 140734144917040 139650641349472 139652252821205 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15933440 140734144918506 140734144918678 140734144918678 140734144921551 0 [pid=9706/tid=9725] ppid=9704 vsize=28766280 memory=0 CPUtime=0 cores=0-7 /proc/9706/task/9725/stat : 9725 (java) D 9704 9704 7522 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 28 0 419087383 29456670720 379444 33554432000 4194304 4196468 140734144917040 139650640296672 139652237667086 0 4 0 16800975 18446744072100220037 0 0 -1 7 0 0 0 0 0 6293624 6294260 15933440 140734144918506 140734144918678 140734144918678 140734144921551 0 [pid=9706/tid=9726] ppid=9704 vsize=28766280 memory=0 CPUtime=0.33 cores=0-7 /proc/9706/task/9726/stat : 9726 (java) R 9704 9704 7522 0 -1 4202560 62 0 0 0 33 0 0 0 20 0 28 0 419087729 29456670720 379444 33554432000 4194304 4196468 140734144917040 139650631084360 139651891737207 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 15933440 140734144918506 140734144918678 140734144918678 140734144921551 0 [pid=9706/tid=9727] ppid=9704 vsize=28766280 memory=0 CPUtime=0.45 cores=0-7 /proc/9706/task/9727/stat : 9727 (java) R 9704 9704 7522 0 -1 4202560 34 0 0 0 45 0 0 0 20 0 28 0 419087729 29456670720 379444 33554432000 4194304 4196468 140734144917040 139650630034424 139651891959096 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 15933440 140734144918506 140734144918678 140734144918678 140734144921551 0 [pid=9706/tid=9728] ppid=9704 vsize=28766280 memory=0 CPUtime=0.35 cores=0-7 /proc/9706/task/9728/stat : 9728 (java) R 9704 9704 7522 0 -1 4202560 45 0 0 0 35 0 0 0 20 0 28 0 419087729 29456670720 379444 33554432000 4194304 4196468 140734144917040 139650628982664 139651891970712 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 15933440 140734144918506 140734144918678 140734144918678 140734144921551 0 [pid=9706/tid=9729] ppid=9704 vsize=28766280 memory=0 CPUtime=0.39 cores=0-7 /proc/9706/task/9729/stat : 9729 (java) R 9704 9704 7522 0 -1 4202560 29 0 0 0 39 0 0 0 20 0 28 0 419087729 29456670720 379444 33554432000 4194304 4196468 140734144917040 139650627927864 139651891737070 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 15933440 140734144918506 140734144918678 140734144918678 140734144921551 0 [pid=9706/tid=9730] ppid=9704 vsize=28766280 memory=8242475861848699186 CPUtime=0.4 cores=0-7 /proc/9706/task/9730/stat : 9730 (java) R 9704 9704 7522 0 -1 4202560 30 0 0 0 40 0 0 0 20 0 28 0 419087729 29456670720 379444 33554432000 4194304 4196468 140734144917040 139650626874112 139651891863744 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 15933440 140734144918506 140734144918678 140734144918678 140734144921551 0 [pid=9706/tid=9731] ppid=9704 vsize=28766280 memory=6944656592455359580 CPUtime=0.44 cores=0-7 /proc/9706/task/9731/stat : 9731 (java) R 9704 9704 7522 0 -1 4202560 25 0 0 0 44 0 0 0 20 0 28 0 419087729 29456670720 379444 33554432000 4194304 4196468 140734144917040 139650625822776 139651891737202 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 15933440 140734144918506 140734144918678 140734144918678 140734144921551 0 [pid=9706/tid=9732] ppid=9704 vsize=28766280 memory=5931311422665402976 CPUtime=0.43 cores=0-7 /proc/9706/task/9732/stat : 9732 (java) R 9704 9704 7522 0 -1 4202560 25 0 0 0 43 0 0 0 20 0 28 0 419087729 29456670720 379444 33554432000 4194304 4196468 140734144917040 139650624769288 139651891737144 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 15933440 140734144918506 140734144918678 140734144918678 140734144921551 0 [pid=9706/tid=9733] ppid=9704 vsize=28766280 memory=-8253362664378449550 CPUtime=0.32 cores=0-7 /proc/9706/task/9733/stat : 9733 (java) R 9704 9704 7522 0 -1 4202560 27 0 0 0 32 0 0 0 20 0 28 0 419087729 29456670720 379444 33554432000 4194304 4196468 140734144917040 139650623717544 139651891863693 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 15933440 140734144918506 140734144918678 140734144918678 140734144921551 0 Current children cumulated CPU time: 19.66 s Current children cumulated vsize: 28879408 KiB Current children cumulated memory: 1519232 KiB [startup+4.80182 s] /proc/loadavg: 7.44 7.81 7.93 10/220 9733 /proc/meminfo: memFree=22775592/32770624 swapFree=67108848/67108860 [pid=9704] ppid=9701 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/9704/stat : 9704 (xcsp3-exec) S 9701 9704 7522 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 419087376 115843072 364 33554432000 4194304 5098028 140725642872224 140725642870328 140020666229372 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 33730560 140725642875766 140725642876009 140725642876009 140725642878922 0 /proc/9704/statm: 28282 364 305 221 0 87 0 [pid=9706] ppid=9704 vsize=28766280 memory=1519960 CPUtime=25.03 cores=0-7 /proc/9706/stat : 9706 (java) S 9704 9704 7522 0 -1 1077944320 36758 0 0 0 2240 263 0 0 20 0 28 0 419087377 29456670720 379990 33554432000 4194304 4196468 140734144917040 140734144899584 139652252810999 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 15933440 140734144918506 140734144918678 140734144918678 140734144921551 0 /proc/9706/statm: 7191570 379990 3526 1 0 7152672 0 [pid=9706/tid=9707] ppid=9704 vsize=28766280 memory=0 CPUtime=2.15 cores=0-7 /proc/9706/task/9707/stat : 9707 (java) S 9704 9704 7522 0 -1 1077944384 9912 0 0 0 205 10 0 0 20 0 28 0 419087377 29456670720 379990 33554432000 4194304 4196468 140734144917040 139652257051776 139652252821205 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15933440 140734144918506 140734144918678 140734144918678 140734144921551 0 [pid=9706/tid=9708] ppid=9704 vsize=28766280 memory=0 CPUtime=1.23 cores=0-7 /proc/9706/task/9708/stat : 9708 (java) S 9704 9704 7522 0 -1 1077944384 831 0 0 0 93 30 0 0 20 0 28 0 419087378 29456670720 379990 33554432000 4194304 4196468 140734144917040 139652205431696 139652252821205 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15933440 140734144918506 140734144918678 140734144918678 140734144921551 0 [pid=9706/tid=9709] ppid=9704 vsize=28766280 memory=0 CPUtime=1.25 cores=0-7 /proc/9706/task/9709/stat : 9709 (java) S 9704 9704 7522 0 -1 1077944384 646 0 0 0 96 29 0 0 20 0 28 0 419087378 29456670720 379990 33554432000 4194304 4196468 140734144917040 139651803110160 139652252821205 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 1 0 0 6293624 6294260 15933440 140734144918506 140734144918678 140734144918678 140734144921551 0 [pid=9706/tid=9710] ppid=9704 vsize=28766280 memory=2241 CPUtime=1.24 cores=0-7 /proc/9706/task/9710/stat : 9710 (java) S 9704 9704 7522 0 -1 1077944384 894 0 0 0 96 28 0 0 20 0 28 0 419087378 29456670720 379990 33554432000 4194304 4196468 140734144917040 139651802057872 139652252821205 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15933440 140734144918506 140734144918678 140734144918678 140734144921551 0 [pid=9706/tid=9711] ppid=9704 vsize=28766280 memory=2244 CPUtime=1.22 cores=0-7 /proc/9706/task/9711/stat : 9711 (java) S 9704 9704 7522 0 -1 1077944384 901 0 0 0 93 29 0 0 20 0 28 0 419087378 29456670720 379990 33554432000 4194304 4196468 140734144917040 139651801005072 139652252821205 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 2 0 0 6293624 6294260 15933440 140734144918506 140734144918678 140734144918678 140734144921551 0 [pid=9706/tid=9712] ppid=9704 vsize=28766280 memory=0 CPUtime=1.23 cores=0-7 /proc/9706/task/9712/stat : 9712 (java) S 9704 9704 7522 0 -1 1077944384 668 0 0 0 91 32 0 0 20 0 28 0 419087378 29456670720 379990 33554432000 4194304 4196468 140734144917040 139651799951760 139652252821205 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 1 0 0 6293624 6294260 15933440 140734144918506 140734144918678 140734144918678 140734144921551 0 [pid=9706/tid=9713] ppid=9704 vsize=28766280 memory=0 CPUtime=1.24 cores=0-7 /proc/9706/task/9713/stat : 9713 (java) S 9704 9704 7522 0 -1 1077944384 647 0 0 0 96 28 0 0 20 0 28 0 419087378 29456670720 379990 33554432000 4194304 4196468 140734144917040 139651798898960 139652252821205 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 1 0 0 6293624 6294260 15933440 140734144918506 140734144918678 140734144918678 140734144921551 0 [pid=9706/tid=9714] ppid=9704 vsize=28766280 memory=0 CPUtime=1.25 cores=0-7 /proc/9706/task/9714/stat : 9714 (java) S 9704 9704 7522 0 -1 1077944384 631 0 0 0 95 30 0 0 20 0 28 0 419087378 29456670720 379990 33554432000 4194304 4196468 140734144917040 139651797846672 139652252821205 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 2 0 0 6293624 6294260 15933440 140734144918506 140734144918678 140734144918678 140734144921551 0 [pid=9706/tid=9715] ppid=9704 vsize=28766280 memory=0 CPUtime=1.24 cores=0-7 /proc/9706/task/9715/stat : 9715 (java) S 9704 9704 7522 0 -1 1077944384 959 0 0 0 95 29 0 0 20 0 28 0 419087378 29456670720 379990 33554432000 4194304 4196468 140734144917040 139651796793872 139652252821205 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 1 0 0 6293624 6294260 15933440 140734144918506 140734144918678 140734144918678 140734144921551 0 [pid=9706/tid=9716] ppid=9704 vsize=28766280 memory=0 CPUtime=0.03 cores=0-7 /proc/9706/task/9716/stat : 9716 (java) S 9704 9704 7522 0 -1 1077944384 1333 0 0 0 3 0 0 0 20 0 28 0 419087379 29456670720 379990 33554432000 4194304 4196468 140734144917040 139650649770608 139652252822146 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15933440 140734144918506 140734144918678 140734144918678 140734144921551 0 [pid=9706/tid=9717] ppid=9704 vsize=28766280 memory=0 CPUtime=0 cores=0-7 /proc/9706/task/9717/stat : 9717 (java) S 9704 9704 7522 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 28 0 419087380 29456670720 379990 33554432000 4194304 4196468 140734144917040 139650648716640 139652252821205 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15933440 140734144918506 140734144918678 140734144918678 140734144921551 0 [pid=9706/tid=9718] ppid=9704 vsize=28766280 memory=-3253322038155611931 CPUtime=0 cores=0-7 /proc/9706/task/9718/stat : 9718 (java) S 9704 9704 7522 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 28 0 419087380 29456670720 379990 33554432000 4194304 4196468 140734144917040 139650647664256 139652252821205 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15933440 140734144918506 140734144918678 140734144918678 140734144921551 0 [pid=9706/tid=9719] ppid=9704 vsize=28766280 memory=6944656592455097440 CPUtime=0 cores=0-7 /proc/9706/task/9719/stat : 9719 (java) S 9704 9704 7522 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 419087382 29456670720 379990 33554432000 4194304 4196468 140734144917040 139650646612560 139652252829595 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15933440 140734144918506 140734144918678 140734144918678 140734144921551 0 [pid=9706/tid=9720] ppid=9704 vsize=28766280 memory=6944656592387989600 CPUtime=1.52 cores=0-7 /proc/9706/task/9720/stat : 9720 (java) R 9704 9704 7522 0 -1 4202560 4746 0 0 0 150 2 0 0 20 0 28 0 419087382 29456670720 379990 33554432000 4194304 4196468 140734144917040 139650645548080 139652234355203 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 15933440 140734144918506 140734144918678 140734144918678 140734144921551 0 [pid=9706/tid=9721] ppid=9704 vsize=28766280 memory=6944656592455359580 CPUtime=1.48 cores=0-7 /proc/9706/task/9721/stat : 9721 (java) R 9704 9704 7522 0 -1 4202560 4932 0 0 0 146 2 0 0 20 0 28 0 419087382 29456670720 379990 33554432000 4194304 4196468 140734144917040 139650644498560 139652252832346 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 15933440 140734144918506 140734144918678 140734144918678 140734144921551 0 [pid=9706/tid=9722] ppid=9704 vsize=28766280 memory=-7022074515825631275 CPUtime=1.65 cores=0-7 /proc/9706/task/9722/stat : 9722 (java) R 9704 9704 7522 0 -1 4202560 4151 0 0 0 164 1 0 0 20 0 28 0 419087382 29456670720 379990 33554432000 4194304 4196468 140734144917040 139650643440352 139652252832346 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 15933440 140734144918506 140734144918678 140734144918678 140734144921551 0 [pid=9706/tid=9723] ppid=9704 vsize=28766280 memory=6944656601042741910 CPUtime=0.59 cores=0-7 /proc/9706/task/9723/stat : 9723 (java) S 9704 9704 7522 0 -1 1077944384 2863 0 0 0 58 1 0 0 20 0 28 0 419087382 29456670720 379990 33554432000 4194304 4196468 140734144917040 139650642401520 139652252822146 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15933440 140734144918506 140734144918678 140734144918678 140734144921551 0 [pid=9706/tid=9724] ppid=9704 vsize=28766280 memory=1456 CPUtime=0 cores=0-7 /proc/9706/task/9724/stat : 9724 (java) S 9704 9704 7522 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 419087383 29456670720 379990 33554432000 4194304 4196468 140734144917040 139650641349472 139652252821205 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15933440 140734144918506 140734144918678 140734144918678 140734144921551 0 [pid=9706/tid=9725] ppid=9704 vsize=28766280 memory=625088 CPUtime=0 cores=0-7 /proc/9706/task/9725/stat : 9725 (java) S 9704 9704 7522 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 28 0 419087383 29456670720 379990 33554432000 4194304 4196468 140734144917040 139650640296752 139652252822146 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 33 0 0 6293624 6294260 15933440 140734144918506 140734144918678 140734144918678 140734144921551 0 [pid=9706/tid=9726] ppid=9704 vsize=28766280 memory=-2026666227646604569 CPUtime=0.74 cores=0-7 /proc/9706/task/9726/stat : 9726 (java) R 9704 9704 7522 0 -1 4202560 114 0 0 0 74 0 0 0 20 0 28 0 419087729 29456670720 379990 33554432000 4194304 4196468 140734144917040 139650631084712 139651892493229 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 15933440 140734144918506 140734144918678 140734144918678 140734144921551 0 [pid=9706/tid=9727] ppid=9704 vsize=28766280 memory=-7022074515825631275 CPUtime=1.05 cores=0-7 /proc/9706/task/9727/stat : 9727 (java) R 9704 9704 7522 0 -1 4202560 82 0 0 0 105 0 0 0 20 0 28 0 419087729 29456670720 379990 33554432000 4194304 4196468 140734144917040 139650630036056 139651892493120 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 15933440 140734144918506 140734144918678 140734144918678 140734144921551 0 [pid=9706/tid=9728] ppid=9704 vsize=28766280 memory=-4695043397844020537 CPUtime=0.73 cores=0-7 /proc/9706/task/9728/stat : 9728 (java) R 9704 9704 7522 0 -1 4202560 146 0 0 0 71 2 0 0 20 0 28 0 419087729 29456670720 379990 33554432000 4194304 4196468 140734144917040 139650628979632 139651892493444 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 15933440 140734144918506 140734144918678 140734144918678 140734144921551 0 [pid=9706/tid=9729] ppid=9704 vsize=28766280 memory=-2605811476043407915 CPUtime=1.12 cores=0-7 /proc/9706/task/9729/stat : 9729 (java) R 9704 9704 7522 0 -1 4202560 76 0 0 0 112 0 0 0 20 0 28 0 419087729 29456670720 379990 33554432000 4194304 4196468 140734144917040 139650627926760 139651892493507 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 15933440 140734144918506 140734144918678 140734144918678 140734144921551 0 [pid=9706/tid=9730] ppid=9704 vsize=28766280 memory=-4695043397844020537 CPUtime=0.84 cores=0-7 /proc/9706/task/9730/stat : 9730 (java) R 9704 9704 7522 0 -1 4202560 164 0 0 0 82 2 0 0 20 0 28 0 419087729 29456670720 379990 33554432000 4194304 4196468 140734144917040 139650626874704 139651892493120 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 15933440 140734144918506 140734144918678 140734144918678 140734144921551 0 [pid=9706/tid=9731] ppid=9704 vsize=28766280 memory=-7022074515825631275 CPUtime=1.1 cores=0-7 /proc/9706/task/9731/stat : 9731 (java) R 9704 9704 7522 0 -1 4202560 141 0 0 0 110 0 0 0 20 0 28 0 419087729 29456670720 379990 33554432000 4194304 4196468 140734144917040 139650625821808 139651892493229 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 15933440 140734144918506 140734144918678 140734144918678 140734144921551 0 [pid=9706/tid=9732] ppid=9704 vsize=28766280 memory=8562125494162282060 CPUtime=1.11 cores=0-7 /proc/9706/task/9732/stat : 9732 (java) R 9704 9704 7522 0 -1 4202560 557 0 0 0 111 0 0 0 20 0 28 0 419087729 29456670720 379990 33554432000 4194304 4196468 140734144917040 139650624769728 139651892493220 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 15933440 140734144918506 140734144918678 140734144918678 140734144921551 0 [pid=9706/tid=9733] ppid=9704 vsize=28766280 memory=0 CPUtime=0.84 cores=0-7 /proc/9706/task/9733/stat : 9733 (java) R 9704 9704 7522 0 -1 4202560 61 0 0 0 83 1 0 0 20 0 28 0 419087729 29456670720 379990 33554432000 4194304 4196468 140734144917040 139650623717880 139651891667591 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 15933440 140734144918506 140734144918678 140734144918678 140734144921551 0 Current children cumulated CPU time: 25.03 s Current children cumulated vsize: 28879408 KiB Current children cumulated memory: 1521416 KiB [startup+5.00118 s]* /proc/loadavg: 7.64 7.85 7.94 5/220 9733 /proc/meminfo: memFree=22781612/32770624 swapFree=67108848/67108860 [pid=9704] ppid=9701 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/9704/stat : 9704 (xcsp3-exec) S 9701 9704 7522 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 419087376 115843072 364 33554432000 4194304 5098028 140725642872224 140725642870328 140020666229372 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 33730560 140725642875766 140725642876009 140725642876009 140725642878922 0 /proc/9704/statm: 28282 364 305 221 0 87 0 [pid=9706] ppid=9704 vsize=28766280 memory=1523300 CPUtime=26.48 cores=0-7 /proc/9706/stat : 9706 (java) S 9704 9704 7522 0 -1 1077944320 40895 0 0 0 2383 265 0 0 20 0 28 0 419087377 29456670720 380825 33554432000 4194304 4196468 140734144917040 140734144899584 139652252810999 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 15933440 140734144918506 140734144918678 140734144918678 140734144921551 0 /proc/9706/statm: 7191570 380825 3527 1 0 7152672 0 [pid=9706/tid=9707] ppid=9704 vsize=28766280 memory=23060 CPUtime=2.15 cores=0-7 /proc/9706/task/9707/stat : 9707 (java) S 9704 9704 7522 0 -1 1077944384 9912 0 0 0 205 10 0 0 20 0 28 0 419087377 29456670720 380825 33554432000 4194304 4196468 140734144917040 139652257051776 139652252821205 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15933440 140734144918506 140734144918678 140734144918678 140734144921551 0 [pid=9706/tid=9708] ppid=9704 vsize=28766280 memory=4872558044660077418 CPUtime=1.23 cores=0-7 /proc/9706/task/9708/stat : 9708 (java) S 9704 9704 7522 0 -1 1077944384 831 0 0 0 93 30 0 0 20 0 28 0 419087378 29456670720 380825 33554432000 4194304 4196468 140734144917040 139652205431696 139652252821205 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15933440 140734144918506 140734144918678 140734144918678 140734144921551 0 [pid=9706/tid=9709] ppid=9704 vsize=28766280 memory=0 CPUtime=1.25 cores=0-7 /proc/9706/task/9709/stat : 9709 (java) S 9704 9704 7522 0 -1 1077944384 646 0 0 0 96 29 0 0 20 0 28 0 419087378 29456670720 380825 33554432000 4194304 4196468 140734144917040 139651803110160 139652252821205 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 1 0 0 6293624 6294260 15933440 140734144918506 140734144918678 140734144918678 140734144921551 0 [pid=9706/tid=9710] ppid=9704 vsize=28766280 memory=0 CPUtime=1.24 cores=0-7 /proc/9706/task/9710/stat : 9710 (java) S 9704 9704 7522 0 -1 1077944384 894 0 0 0 96 28 0 0 20 0 28 0 419087378 29456670720 380825 33554432000 4194304 4196468 140734144917040 139651802057872 139652252821205 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15933440 140734144918506 140734144918678 140734144918678 140734144921551 0 [pid=9706/tid=9711] ppid=9704 vsize=28766280 memory=0 CPUtime=1.22 cores=0-7 /proc/9706/task/9711/stat : 9711 (java) S 9704 9704 7522 0 -1 1077944384 901 0 0 0 93 29 0 0 20 0 28 0 419087378 29456670720 380825 33554432000 4194304 4196468 140734144917040 139651801005072 139652252821205 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 2 0 0 6293624 6294260 15933440 140734144918506 140734144918678 140734144918678 140734144921551 0 [pid=9706/tid=9712] ppid=9704 vsize=28766280 memory=0 CPUtime=1.23 cores=0-7 /proc/9706/task/9712/stat : 9712 (java) S 9704 9704 7522 0 -1 1077944384 668 0 0 0 91 32 0 0 20 0 28 0 419087378 29456670720 380825 33554432000 4194304 4196468 140734144917040 139651799951760 139652252821205 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 1 0 0 6293624 6294260 15933440 140734144918506 140734144918678 140734144918678 140734144921551 0 [pid=9706/tid=9713] ppid=9704 vsize=28766280 memory=0 CPUtime=1.24 cores=0-7 /proc/9706/task/9713/stat : 9713 (java) S 9704 9704 7522 0 -1 1077944384 647 0 0 0 96 28 0 0 20 0 28 0 419087378 29456670720 380825 33554432000 4194304 4196468 140734144917040 139651798898960 139652252821205 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 1 0 0 6293624 6294260 15933440 140734144918506 140734144918678 140734144918678 140734144921551 0 [pid=9706/tid=9714] ppid=9704 vsize=28766280 memory=0 CPUtime=1.25 cores=0-7 /proc/9706/task/9714/stat : 9714 (java) S 9704 9704 7522 0 -1 1077944384 631 0 0 0 95 30 0 0 20 0 28 0 419087378 29456670720 380825 33554432000 4194304 4196468 140734144917040 139651797846672 139652252821205 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 2 0 0 6293624 6294260 15933440 140734144918506 140734144918678 140734144918678 140734144921551 0 [pid=9706/tid=9715] ppid=9704 vsize=28766280 memory=0 CPUtime=1.24 cores=0-7 /proc/9706/task/9715/stat : 9715 (java) S 9704 9704 7522 0 -1 1077944384 959 0 0 0 95 29 0 0 20 0 28 0 419087378 29456670720 380825 33554432000 4194304 4196468 140734144917040 139651796793872 139652252821205 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 1 0 0 6293624 6294260 15933440 140734144918506 140734144918678 140734144918678 140734144921551 0 [pid=9706/tid=9716] ppid=9704 vsize=28766280 memory=0 CPUtime=0.03 cores=0-7 /proc/9706/task/9716/stat : 9716 (java) S 9704 9704 7522 0 -1 1077944384 1333 0 0 0 3 0 0 0 20 0 28 0 419087379 29456670720 380825 33554432000 4194304 4196468 140734144917040 139650649770608 139652252822146 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15933440 140734144918506 140734144918678 140734144918678 140734144921551 0 [pid=9706/tid=9717] ppid=9704 vsize=28766280 memory=0 CPUtime=0 cores=0-7 /proc/9706/task/9717/stat : 9717 (java) S 9704 9704 7522 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 28 0 419087380 29456670720 380825 33554432000 4194304 4196468 140734144917040 139650648716640 139652252821205 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15933440 140734144918506 140734144918678 140734144918678 140734144921551 0 [pid=9706/tid=9718] ppid=9704 vsize=28766280 memory=0 CPUtime=0 cores=0-7 /proc/9706/task/9718/stat : 9718 (java) S 9704 9704 7522 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 28 0 419087380 29456670720 380825 33554432000 4194304 4196468 140734144917040 139650647664256 139652252821205 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15933440 140734144918506 140734144918678 140734144918678 140734144921551 0 [pid=9706/tid=9719] ppid=9704 vsize=28766280 memory=0 CPUtime=0 cores=0-7 /proc/9706/task/9719/stat : 9719 (java) S 9704 9704 7522 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 419087382 29456670720 380825 33554432000 4194304 4196468 140734144917040 139650646612560 139652252829595 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15933440 140734144918506 140734144918678 140734144918678 140734144921551 0 [pid=9706/tid=9720] ppid=9704 vsize=28766280 memory=0 CPUtime=1.72 cores=0-7 /proc/9706/task/9720/stat : 9720 (java) R 9704 9704 7522 0 -1 4202560 5628 0 0 0 170 2 0 0 20 0 28 0 419087382 29456670720 380825 33554432000 4194304 4196468 140734144917040 139650645545744 139652237919163 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 15933440 140734144918506 140734144918678 140734144918678 140734144921551 0 [pid=9706/tid=9721] ppid=9704 vsize=28766280 memory=0 CPUtime=1.67 cores=0-7 /proc/9706/task/9721/stat : 9721 (java) R 9704 9704 7522 0 -1 4202560 5902 0 0 0 165 2 0 0 20 0 28 0 419087382 29456670720 380825 33554432000 4194304 4196468 140734144917040 139650644492624 139652234355226 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 15933440 140734144918506 140734144918678 140734144918678 140734144921551 0 [pid=9706/tid=9722] ppid=9704 vsize=28766280 memory=0 CPUtime=1.86 cores=0-7 /proc/9706/task/9722/stat : 9722 (java) R 9704 9704 7522 0 -1 4202560 6274 0 0 0 185 1 0 0 20 0 28 0 419087382 29456670720 380825 33554432000 4194304 4196468 140734144917040 139650643440344 139652245100381 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 15933440 140734144918506 140734144918678 140734144918678 140734144921551 0 [pid=9706/tid=9723] ppid=9704 vsize=28766280 memory=0 CPUtime=0.61 cores=0-7 /proc/9706/task/9723/stat : 9723 (java) S 9704 9704 7522 0 -1 1077944384 2990 0 0 0 60 1 0 0 20 0 28 0 419087382 29456670720 380825 33554432000 4194304 4196468 140734144917040 139650642401520 139652252822146 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15933440 140734144918506 140734144918678 140734144918678 140734144921551 0 [pid=9706/tid=9724] ppid=9704 vsize=28766280 memory=0 CPUtime=0 cores=0-7 /proc/9706/task/9724/stat : 9724 (java) S 9704 9704 7522 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 419087383 29456670720 380825 33554432000 4194304 4196468 140734144917040 139650641349472 139652252821205 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15933440 140734144918506 140734144918678 140734144918678 140734144921551 0 [pid=9706/tid=9725] ppid=9704 vsize=28766280 memory=0 CPUtime=0 cores=0-7 /proc/9706/task/9725/stat : 9725 (java) S 9704 9704 7522 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 28 0 419087383 29456670720 380825 33554432000 4194304 4196468 140734144917040 139650640296752 139652252822146 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 33 0 0 6293624 6294260 15933440 140734144918506 140734144918678 140734144918678 140734144921551 0 [pid=9706/tid=9726] ppid=9704 vsize=28766280 memory=0 CPUtime=0.89 cores=0-7 /proc/9706/task/9726/stat : 9726 (java) S 9704 9704 7522 0 -1 1077944384 131 0 0 0 89 0 0 0 20 0 28 0 419087729 29456670720 380825 33554432000 4194304 4196468 140734144917040 139650631090288 139652252821205 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15933440 140734144918506 140734144918678 140734144918678 140734144921551 0 [pid=9706/tid=9727] ppid=9704 vsize=28766280 memory=0 CPUtime=1.06 cores=0-7 /proc/9706/task/9727/stat : 9727 (java) S 9704 9704 7522 0 -1 1077944384 105 0 0 0 106 0 0 0 20 0 28 0 419087729 29456670720 380825 33554432000 4194304 4196468 140734144917040 139650630038992 139652252821205 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15933440 140734144918506 140734144918678 140734144918678 140734144921551 0 [pid=9706/tid=9728] ppid=9704 vsize=28766280 memory=0 CPUtime=0.91 cores=0-7 /proc/9706/task/9728/stat : 9728 (java) R 9704 9704 7522 0 -1 4202560 193 0 0 0 89 2 0 0 20 0 28 0 419087729 29456670720 380825 33554432000 4194304 4196468 140734144917040 139650628982224 139651892544408 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 15933440 140734144918506 140734144918678 140734144918678 140734144921551 0 [pid=9706/tid=9729] ppid=9704 vsize=28766280 memory=0 CPUtime=1.17 cores=0-7 /proc/9706/task/9729/stat : 9729 (java) S 9704 9704 7522 0 -1 1077944384 79 0 0 0 117 0 0 0 20 0 28 0 419087729 29456670720 380825 33554432000 4194304 4196468 140734144917040 139650627932880 139652252821205 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15933440 140734144918506 140734144918678 140734144918678 140734144921551 0 [pid=9706/tid=9730] ppid=9704 vsize=28766280 memory=0 CPUtime=0.9 cores=0-7 /proc/9706/task/9730/stat : 9730 (java) S 9704 9704 7522 0 -1 1077944384 165 0 0 0 88 2 0 0 20 0 28 0 419087729 29456670720 380825 33554432000 4194304 4196468 140734144917040 139650626880592 139652252821205 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15933440 140734144918506 140734144918678 140734144918678 140734144921551 0 [pid=9706/tid=9731] ppid=9704 vsize=28766280 memory=0 CPUtime=1.21 cores=0-7 /proc/9706/task/9731/stat : 9731 (java) S 9704 9704 7522 0 -1 1077944384 141 0 0 0 121 0 0 0 20 0 28 0 419087729 29456670720 380825 33554432000 4194304 4196468 140734144917040 139650625827792 139652252821205 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15933440 140734144918506 140734144918678 140734144918678 140734144921551 0 [pid=9706/tid=9732] ppid=9704 vsize=28766280 memory=-1 CPUtime=1.22 cores=0-7 /proc/9706/task/9732/stat : 9732 (java) S 9704 9704 7522 0 -1 1077944384 557 0 0 0 122 0 0 0 20 0 28 0 419087729 29456670720 380825 33554432000 4194304 4196468 140734144917040 139650624775504 139652252821205 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15933440 140734144918506 140734144918678 140734144918678 140734144921551 0 [pid=9706/tid=9733] ppid=9704 vsize=28766280 memory=-1 CPUtime=0.99 cores=0-7 /proc/9706/task/9733/stat : 9733 (java) S 9704 9704 7522 0 -1 1077944384 61 0 0 0 98 1 0 0 20 0 28 0 419087729 29456670720 380825 33554432000 4194304 4196468 140734144917040 139650623722704 139652252821205 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15933440 140734144918506 140734144918678 140734144918678 140734144921551 0 Current children cumulated CPU time: 26.48 s Current children cumulated vsize: 28879408 KiB Current children cumulated memory: 1524756 KiB Child status: 0 Real time (s): 5.07739 CPU time (s): 26.6779 CPU user time (s): 24.0043 CPU system time (s): 2.67357 CPU usage (%): 525.425 Max. virtual memory (cumulated for all children) (KiB): 28879408 Max. memory (cumulated for all children) (KiB): 1524756 getrusage(RUSAGE_CHILDREN,...) data: user time used= 24.0043 system time used= 2.67357 maximum resident set size= 1523712 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 43240 page faults= 0 swaps= 0 block input operations= 0 block output operations= 128 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 4382 involuntary context switches= 409 # summary of solver processes directly reported to runsolver: # pid: 9704 # total CPU time (s): 26.6779 # total CPU user time (s): 24.0043 # total CPU system time (s): 2.67357 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.062042 second user time and 0.097232 second system time The end
Begin job on node143 at 2019-09-14 05:24:19 IDJOB=4393495 IDBENCH=130877 IDSOLVER=2841 FILE ID=node143/4393495-1568431500 RUNJOBID= node143-1568425676-7549 PBS_JOBID= 21702285 Free space on /tmp= 59272 MiB SOLVER NAME= choco-solver parallel 2019-06-14 BENCH NAME= XCSP17/Subisomorphism/Subisomorphism-m1-si4-m4D/Subisomorphism-si4-m4D-m625-05.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 /tmp/evaluation-result-4393495-1568431500/watcher-4393495-1568431500 -o /tmp/evaluation-result-4393495-1568431500/solver-4393495-1568431500 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node143-1568425676-7549 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 384915623 HOME/instance-4393495-1568431500.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= a06e274e1d637d430249b010d1ea7ff6 RANDOM SEED=384915623 node143.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.73 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.73 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.73 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.73 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: 24294472 kB MemAvailable: 31756000 kB Buffers: 205460 kB Cached: 7545524 kB SwapCached: 8 kB Active: 2145912 kB Inactive: 5654964 kB Active(anon): 4228 kB Inactive(anon): 145040 kB Active(file): 2141684 kB Inactive(file): 5509924 kB Unevictable: 107260 kB Mlocked: 107260 kB SwapTotal: 67108860 kB SwapFree: 67108848 kB Dirty: 26108 kB Writeback: 0 kB AnonPages: 157516 kB Mapped: 48920 kB Shmem: 90756 kB Slab: 266912 kB SReclaimable: 238380 kB SUnreclaim: 28532 kB KernelStack: 3456 kB PageTables: 5076 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 499344 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 71680 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 132480 kB DirectMap2M: 33413120 kB Free space on /tmp at the end= 59248 MiB End job on node143 at 2019-09-14 05:24:24