Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
choco-solver 2019-09-16 parallel | OPT | 624 | 42.6787 | 6.35283 |
Name | Fastfood/Fastfood-m1-s1/ Fastfood-ff50.xml |
MD5SUM | f7819cc540e1493da1332403e09ec21d |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 624 |
Best CPU time to get the best result obtained on this benchmark | 11.9411 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 319 |
Number of constraints | 313 |
Number of domains | 26 |
Minimum domain size | 24 |
Maximum domain size | 25 |
Distribution of domain sizes | [{"size":24,"count":32},{"size":25,"count":287}] |
Minimum variable degree | 2 |
Maximum variable degree | 40 |
Distribution of variable degrees | [{"degree":2,"count":312},{"degree":40,"count":7}] |
Minimum constraint arity | 2 |
Maximum constraint arity | 8 |
Distribution of constraint arities | [{"arity":2,"count":273},{"arity":7,"count":1},{"arity":8,"count":39}] |
Number of extensional constraints | 273 |
Number of intensional constraints | 0 |
Distribution of constraint types | [{"type":"extension","count":273},{"type":"ordered","count":1},{"type":"minimum","count":39}] |
Optimization problem | YES |
Type of objective | min SUM |
0.00/0.00 c java -server -Xmx24000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4400052-1568712607.xml" -tl '2016s' -p 8 0.12/0.18 c Choco e747e1e 0.12/0.18 c [HOME/instance-4400052-1568712607.xml, -tl, 2016s, -p, 8] 0.34/0.22 c 8 solvers in parallel 0.34/0.28 c parse instance... 4.13/1.15 c solve instance... 9.15/1.88 o 10022 9.15/1.89 o 8996 9.15/1.89 o 2308 9.75/1.92 o 1732 10.56/2.04 o 1730 10.56/2.09 o 1719 10.56/2.09 o 1703 10.56/2.10 o 1374 11.31/2.19 o 1080 13.53/2.47 o 1044 14.27/2.57 o 982 14.96/2.64 o 896 17.33/2.98 o 859 18.15/3.02 o 849 21.17/3.43 o 844 23.42/3.77 o 841 24.20/3.86 o 838 24.79/3.96 o 790 25.45/4.06 o 782 26.11/4.19 o 778 26.74/4.27 o 768 27.44/4.37 o 766 27.44/4.37 o 702 27.44/4.37 o 692 27.44/4.38 o 684 32.88/5.07 o 648 33.37/5.11 o 638 33.37/5.18 o 630 37.12/5.60 o 626 39.37/5.90 o 624 42.52/6.33 s OPTIMUM FOUND 42.52/6.33 v <instantiation> 42.52/6.33 v <list>x[0] x[1] x[2] x[3] x[4] x[5] x[6] drd[0][0] drd[0][1] drd[0][2] drd[0][3] drd[0][4] drd[0][5] drd[0][6] drd[1][0] drd[1][1] drd[1][2] drd[1][3] drd[1][4] drd[1][5] drd[1][6] drd[2][0] drd[2][1] drd[2][2] drd[2][3] drd[2][4] drd[2][5] drd[2][6] drd[3][0] drd[3][1] drd[3][2] drd[3][3] drd[3][4] drd[3][5] drd[3][6] drd[4][0] drd[4][1] drd[4][2] drd[4][3] drd[4][4] drd[4][5] drd[4][6] drd[5][0] drd[5][1] drd[5][2] drd[5][3] drd[5][4] drd[5][5] drd[5][6] drd[6][0] drd[6][1] drd[6][2] drd[6][3] drd[6][4] drd[6][5] drd[6][6] drd[7][0] drd[7][1] drd[7][2] drd[7][3] drd[7][4] drd[7][5] drd[7][6] drd[8][0] drd[8][1] drd[8][2] drd[8][3] drd[8][4] drd[8][5] drd[8][6] drd[9][0] drd[9][1] drd[9][2] drd[9][3] drd[9][4] drd[9][5] drd[9][6] drd[10][0] drd[10][1] drd[10][2] drd[10][3] drd[10][4] drd[10][5] drd[10][6] drd[11][0] drd[11][1] drd[11][2] drd[11][3] drd[11][4] drd[11][5] drd[11][6] drd[12][0] drd[12][1] drd[12][2] drd[12][3] drd[12][4] drd[12][5] drd[12][6] drd[13][0] drd[13][1] drd[13][2] drd[13][3] drd[13][4] drd[13][5] drd[13][6] drd[14][0] drd[14][1] drd[14][2] drd[14][3] drd[14][4] drd[14][5] drd[14][6] drd[15][0] drd[15][1] drd[15][2] drd[15][3] drd[15][4] drd[15][5] drd[15][6] drd[16][0] drd[16][1] drd[16][2] drd[16][3] drd[16][4] drd[16][5] drd[16][6] drd[17][0] drd[17][1] drd[17][2] drd[17][3] drd[17][4] drd[17][5] drd[17][6] drd[18][0] drd[18][1] drd[18][2] drd[18][3] drd[18][4] drd[18][5] drd[18][6] drd[19][0] drd[19][1] drd[19][2] drd[19][3] drd[19][4] drd[19][5] drd[19][6] drd[20][0] drd[20][1] drd[20][2] drd[20][3] drd[20][4] drd[20][5] drd[20][6] drd[21][0] drd[21][1] drd[21][2] drd[21][3] drd[21][4] drd[21][5] drd[21][6] drd[22][0] drd[22][1] drd[22][2] drd[22][3] drd[22][4] drd[22][5] drd[22][6] drd[23][0] drd[23][1] drd[23][2] drd[23][3] drd[23][4] drd[23][5] drd[23][6] drd[24][0] drd[24][1] drd[24][2] drd[24][3] drd[24][4] drd[24][5] drd[24][6] drd[25][0] drd[25][1] drd[25][2] drd[25][3] drd[25][4] drd[25][5] drd[25][6] drd[26][0] drd[26][1] drd[26][2] drd[26][3] drd[26][4] drd[26][5] drd[26][6] drd[27][0] drd[27][1] drd[27][2] drd[27][3] drd[27][4] drd[27][5] drd[27][6] drd[28][0] drd[28][1] drd[28][2] drd[28][3] drd[28][4] drd[28][5] drd[28][6] drd[29][0] drd[29][1] drd[29][2] drd[29][3] drd[29][4] drd[29][5] drd[29][6] drd[30][0] drd[30][1] drd[30][2] drd[30][3] drd[30][4] drd[30][5] drd[30][6] drd[31][0] drd[31][1] drd[31][2] drd[31][3] drd[31][4] drd[31][5] drd[31][6] drd[32][0] drd[32][1] drd[32][2] drd[32][3] drd[32][4] drd[32][5] drd[32][6] drd[33][0] drd[33][1] drd[33][2] drd[33][3] drd[33][4] drd[33][5] drd[33][6] drd[34][0] drd[34][1] drd[34][2] drd[34][3] drd[34][4] drd[34][5] drd[34][6] drd[35][0] drd[35][1] drd[35][2] drd[35][3] drd[35][4] drd[35][5] drd[35][6] drd[36][0] drd[36][1] drd[36][2] drd[36][3] drd[36][4] drd[36][5] drd[36][6] drd[37][0] drd[37][1] drd[37][2] drd[37][3] drd[37][4] drd[37][5] drd[37][6] drd[38][0] drd[38][1] drd[38][2] drd[38][3] drd[38][4] drd[38][5] drd[38][6] dr[0] dr[1] dr[2] dr[3] dr[4] dr[5] dr[6] dr[7] dr[8] dr[9] dr[10] dr[11] dr[12] dr[13] dr[14] dr[15] dr[16] dr[17] dr[18] dr[19] dr[20] dr[21] dr[22] dr[23] dr[24] dr[25] dr[26] dr[27] dr[28] dr[29] dr[30] dr[31] dr[32] dr[33] dr[34] dr[35] dr[36] dr[37] dr[38] </list> 42.52/6.33 v <values>30 166 238 340 592 669 831 552 416 344 242 10 87 249 552 416 344 242 10 87 249 21 115 187 289 541 618 780 21 115 187 289 541 618 780 170 34 38 140 392 469 631 170 34 38 140 392 469 631 11 147 219 321 573 650 812 337 201 129 27 225 302 464 337 201 129 27 225 302 464 694 558 486 384 132 55 107 695 559 487 385 133 56 106 656 520 448 346 94 17 145 656 520 448 346 94 17 145 2 138 210 312 564 641 803 639 503 431 329 77 0 162 639 503 431 329 77 0 162 623 487 415 313 61 16 178 250 114 42 60 312 389 551 248 112 40 62 314 391 553 578 442 370 268 16 61 223 578 442 370 268 16 61 223 19 117 189 291 543 620 782 19 117 189 291 543 620 782 208 72 0 102 354 431 593 208 72 0 102 354 431 593 801 665 593 491 239 162 0 801 665 593 491 239 162 0 136 0 72 174 426 503 665 136 0 72 174 426 503 665 98 38 110 212 464 541 703 98 38 110 212 464 541 703 0 136 208 310 562 639 801 1 137 209 311 563 640 802 618 482 410 308 56 21 183 562 426 354 252 0 77 239 310 174 102 0 252 329 491 310 174 102 0 252 329 491 200 64 8 110 362 439 601 200 64 8 110 362 439 601 10 10 21 21 34 34 11 27 27 55 56 17 17 2 0 0 16 42 40 16 16 19 19 0 0 0 0 0 0 38 38 0 1 21 0 0 0 8 8 </values> 42.52/6.33 v </instantiation>
OK 624
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 (14605 MiB free) memory of node 1: 16384 MiB (15754 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4400052-1568712607/watcher-4400052-1568712607 -o /tmp/evaluation-result-4400052-1568712607/solver-4400052-1568712607 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node139-1568702605-24310 --watchdog 312 xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 24000 -tdir HOME -seed 1430481776 HOME/instance-4400052-1568712607.xml running on 8 cores: 0,2,4,6,1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2016 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2046 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB Linux 3.10.0-514.16.1.el7.x86_64 Starting watchdog thread solver pid=26432, runsolver pid=26429 Current StackSize limit: 8192 KiB [startup+0.100157 s]* /proc/loadavg: 7.25 6.38 7.25 2/211 26453 /proc/meminfo: memFree=31073716/32770624 swapFree=66922860/67108860 [pid=26432] ppid=26429 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/26432/stat : 26432 (xcsp3-exec) S 26429 26432 24283 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 447529521 115843072 362 33554432000 4194304 5098028 140732527033264 140732527031368 140248628675196 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 26517504 140732527039355 140732527039598 140732527039598 140732527042506 0 /proc/26432/statm: 28282 362 304 221 0 87 0 [pid=26434] ppid=26432 vsize=28227396 memory=28916 CPUtime=0.12 cores=0-7 /proc/26434/stat : 26434 (java) S 26432 26432 24283 0 -1 1077944320 5708 0 0 0 11 1 0 0 20 0 20 0 447529521 28904853504 7229 33554432000 4194304 4196468 140723292854512 140723292837056 140390736785143 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 27025408 140723292857328 140723292857499 140723292857499 140723292860367 0 /proc/26434/statm: 7056849 7229 3114 1 0 7019032 0 [pid=26434/tid=26435] ppid=26432 vsize=28227396 memory=4134930498285298233 CPUtime=0.09 cores=0-7 /proc/26434/task/26435/stat : 26435 (java) R 26432 26432 24283 0 -1 4202560 3654 0 0 0 8 1 0 0 20 0 20 0 447529521 28904853504 7229 33554432000 4194304 4196468 140723292854512 140390741011104 140390736806490 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 27025408 140723292857328 140723292857499 140723292857499 140723292860367 0 [pid=26434/tid=26436] ppid=26432 vsize=28227396 memory=4872558044660077418 CPUtime=0 cores=0-7 /proc/26434/task/26436/stat : 26436 (java) S 26432 26432 24283 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447529522 28904853504 7229 33554432000 4194304 4196468 140723292854512 140390689405840 140390736795349 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27025408 140723292857328 140723292857499 140723292857499 140723292860367 0 [pid=26434/tid=26437] ppid=26432 vsize=28227396 memory=140195406374528 CPUtime=0 cores=0-7 /proc/26434/task/26437/stat : 26437 (java) S 26432 26432 24283 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447529522 28904853504 7229 33554432000 4194304 4196468 140723292854512 140390688353040 140390736795349 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27025408 140723292857328 140723292857499 140723292857499 140723292860367 0 [pid=26434/tid=26438] ppid=26432 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/26434/task/26438/stat : 26438 (java) S 26432 26432 24283 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447529522 28904853504 7229 33554432000 4194304 4196468 140723292854512 140390687300752 140390736795349 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27025408 140723292857328 140723292857499 140723292857499 140723292860367 0 [pid=26434/tid=26439] ppid=26432 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/26434/task/26439/stat : 26439 (java) S 26432 26432 24283 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447529522 28904853504 7229 33554432000 4194304 4196468 140723292854512 140390686247952 140390736795349 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27025408 140723292857328 140723292857499 140723292857499 140723292860367 0 [pid=26434/tid=26440] ppid=26432 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/26434/task/26440/stat : 26440 (java) S 26432 26432 24283 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447529522 28904853504 7229 33554432000 4194304 4196468 140723292854512 140390685194640 140390736795349 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27025408 140723292857328 140723292857499 140723292857499 140723292860367 0 [pid=26434/tid=26441] ppid=26432 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/26434/task/26441/stat : 26441 (java) S 26432 26432 24283 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447529522 28904853504 7229 33554432000 4194304 4196468 140723292854512 140390684141840 140390736795349 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27025408 140723292857328 140723292857499 140723292857499 140723292860367 0 [pid=26434/tid=26442] ppid=26432 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/26434/task/26442/stat : 26442 (java) S 26432 26432 24283 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447529522 28904853504 7229 33554432000 4194304 4196468 140723292854512 140390683089552 140390736795349 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27025408 140723292857328 140723292857499 140723292857499 140723292860367 0 [pid=26434/tid=26443] ppid=26432 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/26434/task/26443/stat : 26443 (java) S 26432 26432 24283 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447529522 28904853504 7229 33554432000 4194304 4196468 140723292854512 140390682036752 140390736795349 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27025408 140723292857328 140723292857499 140723292857499 140723292860367 0 [pid=26434/tid=26444] ppid=26432 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/26434/task/26444/stat : 26444 (java) S 26432 26432 24283 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447529524 28904853504 7229 33554432000 4194304 4196468 140723292854512 140388865096304 140390736796290 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27025408 140723292857328 140723292857499 140723292857499 140723292860367 0 [pid=26434/tid=26445] ppid=26432 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/26434/task/26445/stat : 26445 (java) S 26432 26432 24283 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 447529524 28904853504 7229 33554432000 4194304 4196468 140723292854512 140388864042272 140390736795349 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27025408 140723292857328 140723292857499 140723292857499 140723292860367 0 [pid=26434/tid=26446] ppid=26432 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/26434/task/26446/stat : 26446 (java) S 26432 26432 24283 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 447529524 28904853504 7229 33554432000 4194304 4196468 140723292854512 140388862989936 140390736795349 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27025408 140723292857328 140723292857499 140723292857499 140723292860367 0 [pid=26434/tid=26447] ppid=26432 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/26434/task/26447/stat : 26447 (java) S 26432 26432 24283 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447529527 28904853504 7229 33554432000 4194304 4196468 140723292854512 140388861938256 140390736803739 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27025408 140723292857328 140723292857499 140723292857499 140723292860367 0 [pid=26434/tid=26448] ppid=26432 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/26434/task/26448/stat : 26448 (java) S 26432 26432 24283 0 -1 1077944384 295 0 0 0 0 0 0 0 20 0 20 0 447529527 28904853504 7229 33554432000 4194304 4196468 140723292854512 140388860885104 140390736796290 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27025408 140723292857328 140723292857499 140723292857499 140723292860367 0 [pid=26434/tid=26449] ppid=26432 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/26434/task/26449/stat : 26449 (java) S 26432 26432 24283 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447529527 28904853504 7229 33554432000 4194304 4196468 140723292854512 140388859832304 140390736796290 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27025408 140723292857328 140723292857499 140723292857499 140723292860367 0 [pid=26434/tid=26450] ppid=26432 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/26434/task/26450/stat : 26450 (java) S 26432 26432 24283 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 20 0 447529527 28904853504 7229 33554432000 4194304 4196468 140723292854512 140388550400368 140390736796290 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27025408 140723292857328 140723292857499 140723292857499 140723292860367 0 [pid=26434/tid=26451] ppid=26432 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7 /proc/26434/task/26451/stat : 26451 (java) S 26432 26432 24283 0 -1 1077944384 325 0 0 0 1 0 0 0 20 0 20 0 447529527 28904853504 7229 33554432000 4194304 4196468 140723292854512 140388549347568 140390736796290 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27025408 140723292857328 140723292857499 140723292857499 140723292860367 0 [pid=26434/tid=26452] ppid=26432 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/26434/task/26452/stat : 26452 (java) S 26432 26432 24283 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447529527 28904853504 7229 33554432000 4194304 4196468 140723292854512 140388548295520 140390736795349 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27025408 140723292857328 140723292857499 140723292857499 140723292860367 0 [pid=26434/tid=26453] ppid=26432 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/26434/task/26453/stat : 26453 (java) S 26432 26432 24283 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447529527 28904853504 7229 33554432000 4194304 4196468 140723292854512 140388547242800 140390736796290 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27025408 140723292857328 140723292857499 140723292857499 140723292860367 0 Current children cumulated CPU time: 0.12 s Current children cumulated vsize: 28340524 KiB Current children cumulated memory: 30364 KiB [startup+0.209845 s]* /proc/loadavg: 7.25 6.38 7.25 2/211 26453 /proc/meminfo: memFree=31060316/32770624 swapFree=66922860/67108860 [pid=26432] ppid=26429 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/26432/stat : 26432 (xcsp3-exec) S 26429 26432 24283 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 447529521 115843072 362 33554432000 4194304 5098028 140732527033264 140732527031368 140248628675196 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 26517504 140732527039355 140732527039598 140732527039598 140732527042506 0 /proc/26432/statm: 28282 362 304 221 0 87 0 [pid=26434] ppid=26432 vsize=28227396 memory=40844 CPUtime=0.34 cores=0-7 /proc/26434/stat : 26434 (java) S 26432 26432 24283 0 -1 1077944320 9466 0 0 0 30 4 0 0 20 0 20 0 447529521 28904853504 10211 33554432000 4194304 4196468 140723292854512 140723292837056 140390736785143 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 27025408 140723292857328 140723292857499 140723292857499 140723292860367 0 /proc/26434/statm: 7056849 10211 3289 1 0 7019032 0 [pid=26434/tid=26435] ppid=26432 vsize=28227396 memory=29681743523217448 CPUtime=0.2 cores=0-7 /proc/26434/task/26435/stat : 26435 (java) R 26432 26432 24283 0 -1 4202560 6585 0 0 0 17 3 0 0 20 0 20 0 447529521 28904853504 10211 33554432000 4194304 4196468 140723292854512 140390741014864 140390736797078 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 27025408 140723292857328 140723292857499 140723292857499 140723292860367 0 [pid=26434/tid=26436] ppid=26432 vsize=28227396 memory=288230587528118625 CPUtime=0 cores=0-7 /proc/26434/task/26436/stat : 26436 (java) S 26432 26432 24283 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447529522 28904853504 10211 33554432000 4194304 4196468 140723292854512 140390689405840 140390736795349 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27025408 140723292857328 140723292857499 140723292857499 140723292860367 0 [pid=26434/tid=26437] ppid=26432 vsize=28227396 memory=288370571558086272 CPUtime=0 cores=0-7 /proc/26434/task/26437/stat : 26437 (java) S 26432 26432 24283 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447529522 28904853504 10211 33554432000 4194304 4196468 140723292854512 140390688353040 140390736795349 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27025408 140723292857328 140723292857499 140723292857499 140723292860367 0 [pid=26434/tid=26438] ppid=26432 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/26434/task/26438/stat : 26438 (java) S 26432 26432 24283 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447529522 28904853504 10211 33554432000 4194304 4196468 140723292854512 140390687300752 140390736795349 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27025408 140723292857328 140723292857499 140723292857499 140723292860367 0 [pid=26434/tid=26439] ppid=26432 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/26434/task/26439/stat : 26439 (java) S 26432 26432 24283 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447529522 28904853504 10211 33554432000 4194304 4196468 140723292854512 140390686247952 140390736795349 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27025408 140723292857328 140723292857499 140723292857499 140723292860367 0 [pid=26434/tid=26440] ppid=26432 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/26434/task/26440/stat : 26440 (java) S 26432 26432 24283 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447529522 28904853504 10211 33554432000 4194304 4196468 140723292854512 140390685194640 140390736795349 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27025408 140723292857328 140723292857499 140723292857499 140723292860367 0 [pid=26434/tid=26441] ppid=26432 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/26434/task/26441/stat : 26441 (java) S 26432 26432 24283 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447529522 28904853504 10211 33554432000 4194304 4196468 140723292854512 140390684141840 140390736795349 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27025408 140723292857328 140723292857499 140723292857499 140723292860367 0 [pid=26434/tid=26442] ppid=26432 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/26434/task/26442/stat : 26442 (java) S 26432 26432 24283 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447529522 28904853504 10211 33554432000 4194304 4196468 140723292854512 140390683089552 140390736795349 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27025408 140723292857328 140723292857499 140723292857499 140723292860367 0 [pid=26434/tid=26443] ppid=26432 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/26434/task/26443/stat : 26443 (java) S 26432 26432 24283 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447529522 28904853504 10211 33554432000 4194304 4196468 140723292854512 140390682036752 140390736795349 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27025408 140723292857328 140723292857499 140723292857499 140723292860367 0 [pid=26434/tid=26444] ppid=26432 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/26434/task/26444/stat : 26444 (java) S 26432 26432 24283 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 447529524 28904853504 10211 33554432000 4194304 4196468 140723292854512 140388865096304 140390736796290 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27025408 140723292857328 140723292857499 140723292857499 140723292860367 0 [pid=26434/tid=26445] ppid=26432 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/26434/task/26445/stat : 26445 (java) S 26432 26432 24283 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 447529524 28904853504 10211 33554432000 4194304 4196468 140723292854512 140388864042272 140390736795349 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27025408 140723292857328 140723292857499 140723292857499 140723292860367 0 [pid=26434/tid=26446] ppid=26432 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/26434/task/26446/stat : 26446 (java) S 26432 26432 24283 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 447529524 28904853504 10211 33554432000 4194304 4196468 140723292854512 140388862989936 140390736795349 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27025408 140723292857328 140723292857499 140723292857499 140723292860367 0 [pid=26434/tid=26447] ppid=26432 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/26434/task/26447/stat : 26447 (java) S 26432 26432 24283 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447529527 28904853504 10211 33554432000 4194304 4196468 140723292854512 140388861938256 140390736803739 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27025408 140723292857328 140723292857499 140723292857499 140723292860367 0 [pid=26434/tid=26448] ppid=26432 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7 /proc/26434/task/26448/stat : 26448 (java) S 26432 26432 24283 0 -1 1077944384 465 0 0 0 1 0 0 0 20 0 20 0 447529527 28904853504 10211 33554432000 4194304 4196468 140723292854512 140388860885104 140390736796290 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27025408 140723292857328 140723292857499 140723292857499 140723292860367 0 [pid=26434/tid=26449] ppid=26432 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7 /proc/26434/task/26449/stat : 26449 (java) R 26432 26432 24283 0 -1 1077944384 108 0 0 0 1 0 0 0 20 0 20 0 447529527 28904853504 10211 33554432000 4194304 4196468 140723292854512 140388859832304 140390736796290 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 27025408 140723292857328 140723292857499 140723292857499 140723292860367 0 [pid=26434/tid=26450] ppid=26432 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7 /proc/26434/task/26450/stat : 26450 (java) S 26432 26432 24283 0 -1 1077944384 220 0 0 0 1 0 0 0 20 0 20 0 447529527 28904853504 10211 33554432000 4194304 4196468 140723292854512 140388550400368 140390736796290 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27025408 140723292857328 140723292857499 140723292857499 140723292860367 0 [pid=26434/tid=26451] ppid=26432 vsize=28227396 memory=0 CPUtime=0.07 cores=0-7 /proc/26434/task/26451/stat : 26451 (java) R 26432 26432 24283 0 -1 4202560 776 0 0 0 7 0 0 0 20 0 20 0 447529527 28904853504 10211 33554432000 4194304 4196468 140723292854512 140388549347568 140390736806490 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 27025408 140723292857328 140723292857499 140723292857499 140723292860367 0 [pid=26434/tid=26452] ppid=26432 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/26434/task/26452/stat : 26452 (java) S 26432 26432 24283 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447529527 28904853504 10211 33554432000 4194304 4196468 140723292854512 140388548295520 140390736795349 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27025408 140723292857328 140723292857499 140723292857499 140723292860367 0 [pid=26434/tid=26453] ppid=26432 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/26434/task/26453/stat : 26453 (java) S 26432 26432 24283 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447529527 28904853504 10211 33554432000 4194304 4196468 140723292854512 140388547242800 140390736796290 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27025408 140723292857328 140723292857499 140723292857499 140723292860367 0 Current children cumulated CPU time: 0.34 s Current children cumulated vsize: 28340524 KiB Current children cumulated memory: 42292 KiB [startup+0.309518 s]* /proc/loadavg: 7.25 6.38 7.25 5/211 26453 /proc/meminfo: memFree=31053168/32770624 swapFree=66922860/67108860 [pid=26432] ppid=26429 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/26432/stat : 26432 (xcsp3-exec) S 26429 26432 24283 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 447529521 115843072 362 33554432000 4194304 5098028 140732527033264 140732527031368 140248628675196 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 26517504 140732527039355 140732527039598 140732527039598 140732527042506 0 /proc/26432/statm: 28282 362 304 221 0 87 0 [pid=26434] ppid=26432 vsize=28231652 memory=49680 CPUtime=0.53 cores=0-7 /proc/26434/stat : 26434 (java) S 26432 26432 24283 0 -1 1077944320 10811 0 0 0 48 5 0 0 20 0 20 0 447529521 28909211648 12420 33554432000 4194304 4196468 140723292854512 140723292837056 140390736785143 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 27025408 140723292857328 140723292857499 140723292857499 140723292860367 0 /proc/26434/statm: 7057913 12420 3334 1 0 7019032 0 [pid=26434/tid=26435] ppid=26432 vsize=28231652 memory=6791534058613427641 CPUtime=0.29 cores=0-7 /proc/26434/task/26435/stat : 26435 (java) R 26432 26432 24283 0 -1 4202560 7710 0 0 0 26 3 0 0 20 0 20 0 447529521 28909211648 12420 33554432000 4194304 4196468 140723292854512 140390741016256 140390720865630 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 27025408 140723292857328 140723292857499 140723292857499 140723292860367 0 [pid=26434/tid=26436] ppid=26432 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/26434/task/26436/stat : 26436 (java) S 26432 26432 24283 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447529522 28909211648 12420 33554432000 4194304 4196468 140723292854512 140390689405840 140390736795349 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27025408 140723292857328 140723292857499 140723292857499 140723292860367 0 [pid=26434/tid=26437] ppid=26432 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/26434/task/26437/stat : 26437 (java) S 26432 26432 24283 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447529522 28909211648 12420 33554432000 4194304 4196468 140723292854512 140390688353040 140390736795349 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27025408 140723292857328 140723292857499 140723292857499 140723292860367 0 [pid=26434/tid=26438] ppid=26432 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/26434/task/26438/stat : 26438 (java) S 26432 26432 24283 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447529522 28909211648 12420 33554432000 4194304 4196468 140723292854512 140390687300752 140390736795349 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27025408 140723292857328 140723292857499 140723292857499 140723292860367 0 [pid=26434/tid=26439] ppid=26432 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/26434/task/26439/stat : 26439 (java) S 26432 26432 24283 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447529522 28909211648 12420 33554432000 4194304 4196468 140723292854512 140390686247952 140390736795349 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27025408 140723292857328 140723292857499 140723292857499 140723292860367 0 [pid=26434/tid=26440] ppid=26432 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/26434/task/26440/stat : 26440 (java) S 26432 26432 24283 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447529522 28909211648 12420 33554432000 4194304 4196468 140723292854512 140390685194640 140390736795349 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27025408 140723292857328 140723292857499 140723292857499 140723292860367 0 [pid=26434/tid=26441] ppid=26432 vsize=28231652 memory=140195248827055 CPUtime=0 cores=0-7 /proc/26434/task/26441/stat : 26441 (java) S 26432 26432 24283 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447529522 28909211648 12420 33554432000 4194304 4196468 140723292854512 140390684141840 140390736795349 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27025408 140723292857328 140723292857499 140723292857499 140723292860367 0 [pid=26434/tid=26442] ppid=26432 vsize=28231652 memory=140195248829360 CPUtime=0 cores=0-7 /proc/26434/task/26442/stat : 26442 (java) S 26432 26432 24283 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447529522 28909211648 12420 33554432000 4194304 4196468 140723292854512 140390683089552 140390736795349 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27025408 140723292857328 140723292857499 140723292857499 140723292860367 0 [pid=26434/tid=26443] ppid=26432 vsize=28231652 memory=140195248831664 CPUtime=0 cores=0-7 /proc/26434/task/26443/stat : 26443 (java) S 26432 26432 24283 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447529522 28909211648 12420 33554432000 4194304 4196468 140723292854512 140390682036752 140390736795349 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27025408 140723292857328 140723292857499 140723292857499 140723292860367 0 [pid=26434/tid=26444] ppid=26432 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/26434/task/26444/stat : 26444 (java) S 26432 26432 24283 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 447529524 28909211648 12420 33554432000 4194304 4196468 140723292854512 140388865096304 140390736796290 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27025408 140723292857328 140723292857499 140723292857499 140723292860367 0 [pid=26434/tid=26445] ppid=26432 vsize=28231652 memory=280390497677200 CPUtime=0 cores=0-7 /proc/26434/task/26445/stat : 26445 (java) S 26432 26432 24283 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 447529524 28909211648 12448 33554432000 4194304 4196468 140723292854512 140388864042272 140390736795349 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27025408 140723292857328 140723292857499 140723292857499 140723292860367 0 [pid=26434/tid=26446] ppid=26432 vsize=28231652 memory=280390497674896 CPUtime=0 cores=0-7 /proc/26434/task/26446/stat : 26446 (java) S 26432 26432 24283 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 447529524 28909211648 12448 33554432000 4194304 4196468 140723292854512 140388862989936 140390736795349 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27025408 140723292857328 140723292857499 140723292857499 140723292860367 0 [pid=26434/tid=26447] ppid=26432 vsize=28231652 memory=280390497681808 CPUtime=0 cores=0-7 /proc/26434/task/26447/stat : 26447 (java) S 26432 26432 24283 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447529527 28909211648 12448 33554432000 4194304 4196468 140723292854512 140388861938256 140390736803739 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27025408 140723292857328 140723292857499 140723292857499 140723292860367 0 [pid=26434/tid=26448] ppid=26432 vsize=28231652 memory=280390497623088 CPUtime=0.02 cores=0-7 /proc/26434/task/26448/stat : 26448 (java) S 26432 26432 24283 0 -1 1077944384 476 0 0 0 2 0 0 0 20 0 20 0 447529527 28909211648 12448 33554432000 4194304 4196468 140723292854512 140388860885104 140390736796290 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27025408 140723292857328 140723292857499 140723292857499 140723292860367 0 [pid=26434/tid=26449] ppid=26432 vsize=28231652 memory=280390497695632 CPUtime=0.02 cores=0-7 /proc/26434/task/26449/stat : 26449 (java) S 26432 26432 24283 0 -1 1077944384 114 0 0 0 2 0 0 0 20 0 20 0 447529527 28909211648 12448 33554432000 4194304 4196468 140723292854512 140388859832304 140390736796290 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27025408 140723292857328 140723292857499 140723292857499 140723292860367 0 [pid=26434/tid=26450] ppid=26432 vsize=28231652 memory=280390497702544 CPUtime=0.03 cores=0-7 /proc/26434/task/26450/stat : 26450 (java) R 26432 26432 24283 0 -1 4202560 327 0 0 0 3 0 0 0 20 0 20 0 447529527 28909211648 12448 33554432000 4194304 4196468 140723292854512 140388550390752 140390718305536 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 27025408 140723292857328 140723292857499 140723292857499 140723292860367 0 [pid=26434/tid=26451] ppid=26432 vsize=28231652 memory=280390497700240 CPUtime=0.12 cores=0-7 /proc/26434/task/26451/stat : 26451 (java) S 26432 26432 24283 0 -1 1077944384 879 0 0 0 12 0 0 0 20 0 20 0 447529527 28909211648 12448 33554432000 4194304 4196468 140723292854512 140388549347568 140390736796290 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27025408 140723292857328 140723292857499 140723292857499 140723292860367 0 [pid=26434/tid=26452] ppid=26432 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/26434/task/26452/stat : 26452 (java) S 26432 26432 24283 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447529527 28909211648 12448 33554432000 4194304 4196468 140723292854512 140388548295520 140390736795349 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27025408 140723292857328 140723292857499 140723292857499 140723292860367 0 [pid=26434/tid=26453] ppid=26432 vsize=28231652 memory=-1 CPUtime=0 cores=0-7 /proc/26434/task/26453/stat : 26453 (java) S 26432 26432 24283 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447529527 28909211648 12448 33554432000 4194304 4196468 140723292854512 140388547242800 140390736796290 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27025408 140723292857328 140723292857499 140723292857499 140723292860367 0 Current children cumulated CPU time: 0.53 s Current children cumulated vsize: 28344780 KiB Current children cumulated memory: 51128 KiB [startup+0.705247 s] /proc/loadavg: 7.25 6.38 7.25 4/211 26453 /proc/meminfo: memFree=31038908/32770624 swapFree=66922860/67108860 [pid=26432] ppid=26429 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/26432/stat : 26432 (xcsp3-exec) S 26429 26432 24283 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 447529521 115843072 362 33554432000 4194304 5098028 140732527033264 140732527031368 140248628675196 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 26517504 140732527039355 140732527039598 140732527039598 140732527042506 0 /proc/26432/statm: 28282 362 304 221 0 87 0 [pid=26434] ppid=26432 vsize=28233776 memory=203980 CPUtime=1.81 cores=0-7 /proc/26434/stat : 26434 (java) S 26432 26432 24283 0 -1 1077944320 15128 0 0 0 167 14 0 0 20 0 20 0 447529521 28911386624 50995 33554432000 4194304 4196468 140723292854512 140723292837056 140390736785143 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 27025408 140723292857328 140723292857499 140723292857499 140723292860367 0 /proc/26434/statm: 7058444 50995 3456 1 0 7019544 0 [pid=26434/tid=26435] ppid=26432 vsize=28233776 memory=0 CPUtime=0.67 cores=0-7 /proc/26434/task/26435/stat : 26435 (java) S 26432 26432 24283 0 -1 1077944384 9263 0 0 0 61 6 0 0 20 0 20 0 447529521 28911386624 50995 33554432000 4194304 4196468 140723292854512 140390741022144 140390736795349 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27025408 140723292857328 140723292857499 140723292857499 140723292860367 0 [pid=26434/tid=26436] ppid=26432 vsize=28233776 memory=2353 CPUtime=0 cores=0-7 /proc/26434/task/26436/stat : 26436 (java) R 26432 26432 24283 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 20 0 447529522 28911386624 50995 33554432000 4194304 4196468 140723292854512 140390689405840 140390721813336 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27025408 140723292857328 140723292857499 140723292857499 140723292860367 0 [pid=26434/tid=26437] ppid=26432 vsize=28233776 memory=0 CPUtime=0 cores=0-7 /proc/26434/task/26437/stat : 26437 (java) R 26432 26432 24283 0 -1 4202560 24 0 0 0 0 0 0 0 20 0 20 0 447529522 28911386624 50995 33554432000 4194304 4196468 140723292854512 140390688353040 140390721812562 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 27025408 140723292857328 140723292857499 140723292857499 140723292860367 0 [pid=26434/tid=26438] ppid=26432 vsize=28233776 memory=1428 CPUtime=0 cores=0-7 /proc/26434/task/26438/stat : 26438 (java) R 26432 26432 24283 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 20 0 447529522 28911386624 50995 33554432000 4194304 4196468 140723292854512 140390687300752 140390721812562 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 27025408 140723292857328 140723292857499 140723292857499 140723292860367 0 ################ # More data... # ################ [pid=26434/tid=26447] ppid=26432 vsize=28769364 memory=-8412652143501565910 CPUtime=0 cores=0-7 /proc/26434/task/26447/stat : 26447 (java) S 26432 26432 24283 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 447529527 29459828736 209909 33554432000 4194304 4196468 140723292854512 140388861938256 140390736803739 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27025408 140723292857328 140723292857499 140723292857499 140723292860367 0 [pid=26434/tid=26448] ppid=26432 vsize=28769364 memory=-2915664509495274382 CPUtime=1.47 cores=0-7 /proc/26434/task/26448/stat : 26448 (java) R 26432 26432 24283 0 -1 4202560 3176 0 0 0 146 1 0 0 20 0 28 0 447529527 29459828736 209909 33554432000 4194304 4196468 140723292854512 140388860871128 140390718329347 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 27025408 140723292857328 140723292857499 140723292857499 140723292860367 0 [pid=26434/tid=26449] ppid=26432 vsize=28769364 memory=0 CPUtime=1.55 cores=0-7 /proc/26434/task/26449/stat : 26449 (java) R 26432 26432 24283 0 -1 4202560 2692 0 0 0 154 1 0 0 20 0 28 0 447529527 29459828736 209909 33554432000 4194304 4196468 140723292854512 140388859825328 140390715188717 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 27025408 140723292857328 140723292857499 140723292857499 140723292860367 0 [pid=26434/tid=26450] ppid=26432 vsize=28769364 memory=8740 CPUtime=1.54 cores=0-7 /proc/26434/task/26450/stat : 26450 (java) S 26432 26432 24283 0 -1 1077944384 2600 0 0 0 153 1 0 0 20 0 28 0 447529527 29459828736 209909 33554432000 4194304 4196468 140723292854512 140388550400368 140390736796290 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27025408 140723292857328 140723292857499 140723292857499 140723292860367 0 [pid=26434/tid=26451] ppid=26432 vsize=28769364 memory=0 CPUtime=0.84 cores=0-7 /proc/26434/task/26451/stat : 26451 (java) S 26432 26432 24283 0 -1 1077944384 3890 0 0 0 83 1 0 0 20 0 28 0 447529527 29459828736 209909 33554432000 4194304 4196468 140723292854512 140388549347568 140390736796290 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27025408 140723292857328 140723292857499 140723292857499 140723292860367 0 [pid=26434/tid=26452] ppid=26432 vsize=28769364 memory=22532 CPUtime=0 cores=0-7 /proc/26434/task/26452/stat : 26452 (java) S 26432 26432 24283 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 447529527 29459828736 209909 33554432000 4194304 4196468 140723292854512 140388548295520 140390736795349 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27025408 140723292857328 140723292857499 140723292857499 140723292860367 0 [pid=26434/tid=26453] ppid=26432 vsize=28769364 memory=6656426216303648864 CPUtime=0 cores=0-7 /proc/26434/task/26453/stat : 26453 (java) S 26432 26432 24283 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 447529527 29459828736 209909 33554432000 4194304 4196468 140723292854512 140388547242800 140390736796290 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27025408 140723292857328 140723292857499 140723292857499 140723292860367 0 Current children cumulated CPU time: 18.88 s Current children cumulated vsize: 28882492 KiB Current children cumulated memory: 841084 KiB [startup+6.30124 s] /proc/loadavg: 7.39 6.42 7.26 11/219 26701 /proc/meminfo: memFree=30250912/32770624 swapFree=66922860/67108860 [pid=26432] ppid=26429 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/26432/stat : 26432 (xcsp3-exec) S 26429 26432 24283 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 447529521 115843072 362 33554432000 4194304 5098028 140732527033264 140732527031368 140248628675196 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 26517504 140732527039355 140732527039598 140732527039598 140732527042506 0 /proc/26432/statm: 28282 362 304 221 0 87 0 [pid=26434] ppid=26432 vsize=28769364 memory=850648 CPUtime=42.52 cores=0-7 /proc/26434/stat : 26434 (java) S 26432 26432 24283 0 -1 1077944320 71629 0 0 0 4086 166 0 0 20 0 28 0 447529521 29459828736 212662 33554432000 4194304 4196468 140723292854512 140723292837056 140390736785143 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 27025408 140723292857328 140723292857499 140723292857499 140723292860367 0 /proc/26434/statm: 7192341 212662 3548 1 0 7153441 0 [pid=26434/tid=26435] ppid=26432 vsize=28769364 memory=56 CPUtime=1 cores=0-7 /proc/26434/task/26435/stat : 26435 (java) S 26432 26432 24283 0 -1 1077944384 9500 0 0 0 92 8 0 0 20 0 28 0 447529521 29459828736 212662 33554432000 4194304 4196468 140723292854512 140390741025920 140390736795349 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27025408 140723292857328 140723292857499 140723292857499 140723292860367 0 [pid=26434/tid=26436] ppid=26432 vsize=28769364 memory=-7173504570862900581 CPUtime=0.63 cores=0-7 /proc/26434/task/26436/stat : 26436 (java) S 26432 26432 24283 0 -1 1077944384 3336 0 0 0 48 15 0 0 20 0 28 0 447529522 29459828736 212662 33554432000 4194304 4196468 140723292854512 140390689405840 140390736795349 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27025408 140723292857328 140723292857499 140723292857499 140723292860367 0 [pid=26434/tid=26437] ppid=26432 vsize=28769364 memory=854664 CPUtime=0.63 cores=0-7 /proc/26434/task/26437/stat : 26437 (java) S 26432 26432 24283 0 -1 1077944384 3495 0 0 0 48 15 0 0 20 0 28 0 447529522 29459828736 212662 33554432000 4194304 4196468 140723292854512 140390688353040 140390736795349 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27025408 140723292857328 140723292857499 140723292857499 140723292860367 0 [pid=26434/tid=26438] ppid=26432 vsize=28769364 memory=836780 CPUtime=0.62 cores=0-7 /proc/26434/task/26438/stat : 26438 (java) S 26432 26432 24283 0 -1 1077944384 3504 0 0 0 46 16 0 0 20 0 28 0 447529522 29459828736 212662 33554432000 4194304 4196468 140723292854512 140390687300752 140390736795349 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27025408 140723292857328 140723292857499 140723292857499 140723292860367 0 [pid=26434/tid=26439] ppid=26432 vsize=28769364 memory=0 CPUtime=0.61 cores=0-7 /proc/26434/task/26439/stat : 26439 (java) S 26432 26432 24283 0 -1 1077944384 3504 0 0 0 45 16 0 0 20 0 28 0 447529522 29459828736 212662 33554432000 4194304 4196468 140723292854512 140390686247952 140390736795349 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27025408 140723292857328 140723292857499 140723292857499 140723292860367 0 [pid=26434/tid=26440] ppid=26432 vsize=28769364 memory=854664 CPUtime=0.62 cores=0-7 /proc/26434/task/26440/stat : 26440 (java) S 26432 26432 24283 0 -1 1077944384 3414 0 0 0 46 16 0 0 20 0 28 0 447529522 29459828736 212662 33554432000 4194304 4196468 140723292854512 140390685194640 140390736795349 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27025408 140723292857328 140723292857499 140723292857499 140723292860367 0 [pid=26434/tid=26441] ppid=26432 vsize=28769364 memory=8740 CPUtime=0.62 cores=0-7 /proc/26434/task/26441/stat : 26441 (java) S 26432 26432 24283 0 -1 1077944384 3402 0 0 0 46 16 0 0 20 0 28 0 447529522 29459828736 212662 33554432000 4194304 4196468 140723292854512 140390684141840 140390736795349 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27025408 140723292857328 140723292857499 140723292857499 140723292860367 0 [pid=26434/tid=26442] ppid=26432 vsize=28769364 memory=0 CPUtime=0.63 cores=0-7 /proc/26434/task/26442/stat : 26442 (java) S 26432 26432 24283 0 -1 1077944384 3680 0 0 0 46 17 0 0 20 0 28 0 447529522 29459828736 212662 33554432000 4194304 4196468 140723292854512 140390683089552 140390736795349 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27025408 140723292857328 140723292857499 140723292857499 140723292860367 0 [pid=26434/tid=26443] ppid=26432 vsize=28769364 memory=22532 CPUtime=0.63 cores=0-7 /proc/26434/task/26443/stat : 26443 (java) S 26432 26432 24283 0 -1 1077944384 3373 0 0 0 47 16 0 0 20 0 28 0 447529522 29459828736 212662 33554432000 4194304 4196468 140723292854512 140390682036752 140390736795349 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27025408 140723292857328 140723292857499 140723292857499 140723292860367 0 [pid=26434/tid=26444] ppid=26432 vsize=28769364 memory=6656426216303648864 CPUtime=0.02 cores=0-7 /proc/26434/task/26444/stat : 26444 (java) S 26432 26432 24283 0 -1 1077944384 668 0 0 0 2 0 0 0 20 0 28 0 447529524 29459828736 212662 33554432000 4194304 4196468 140723292854512 140388865096304 140390736796290 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27025408 140723292857328 140723292857499 140723292857499 140723292860367 0 [pid=26434/tid=26445] ppid=26432 vsize=28769364 memory=1448 CPUtime=0 cores=0-7 /proc/26434/task/26445/stat : 26445 (java) S 26432 26432 24283 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 28 0 447529524 29459828736 212662 33554432000 4194304 4196468 140723292854512 140388864042336 140390736795349 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27025408 140723292857328 140723292857499 140723292857499 140723292860367 0 [pid=26434/tid=26446] ppid=26432 vsize=28769364 memory=850488 CPUtime=0 cores=0-7 /proc/26434/task/26446/stat : 26446 (java) S 26432 26432 24283 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 28 0 447529524 29459828736 212662 33554432000 4194304 4196468 140723292854512 140388862989952 140390736795349 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27025408 140723292857328 140723292857499 140723292857499 140723292860367 0 [pid=26434/tid=26447] ppid=26432 vsize=28769364 memory=0 CPUtime=0 cores=0-7 /proc/26434/task/26447/stat : 26447 (java) S 26432 26432 24283 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 447529527 29459828736 212662 33554432000 4194304 4196468 140723292854512 140388861938256 140390736803739 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27025408 140723292857328 140723292857499 140723292857499 140723292860367 0 [pid=26434/tid=26448] ppid=26432 vsize=28769364 memory=0 CPUtime=2.26 cores=0-7 /proc/26434/task/26448/stat : 26448 (java) S 26432 26432 24283 0 -1 1077944384 4736 0 0 0 224 2 0 0 20 0 28 0 447529527 29459828736 212662 33554432000 4194304 4196468 140723292854512 140388860885104 140390736796290 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27025408 140723292857328 140723292857499 140723292857499 140723292860367 0 [pid=26434/tid=26449] ppid=26432 vsize=28769364 memory=0 CPUtime=2.17 cores=0-7 /proc/26434/task/26449/stat : 26449 (java) S 26432 26432 24283 0 -1 1077944384 3931 0 0 0 216 1 0 0 20 0 28 0 447529527 29459828736 212662 33554432000 4194304 4196468 140723292854512 140388859832304 140390736796290 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27025408 140723292857328 140723292857499 140723292857499 140723292860367 0 [pid=26434/tid=26450] ppid=26432 vsize=28769364 memory=1448 CPUtime=2.2 cores=0-7 /proc/26434/task/26450/stat : 26450 (java) S 26432 26432 24283 0 -1 1077944384 4570 0 0 0 218 2 0 0 20 0 28 0 447529527 29459828736 212662 33554432000 4194304 4196468 140723292854512 140388550400368 140390736796290 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27025408 140723292857328 140723292857499 140723292857499 140723292860367 0 [pid=26434/tid=26451] ppid=26432 vsize=28769364 memory=820340 CPUtime=0.93 cores=0-7 /proc/26434/task/26451/stat : 26451 (java) S 26432 26432 24283 0 -1 1077944384 4124 0 0 0 92 1 0 0 20 0 28 0 447529527 29459828736 212662 33554432000 4194304 4196468 140723292854512 140388549347568 140390736796290 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27025408 140723292857328 140723292857499 140723292857499 140723292860367 0 [pid=26434/tid=26452] ppid=26432 vsize=28769364 memory=0 CPUtime=0 cores=0-7 /proc/26434/task/26452/stat : 26452 (java) S 26432 26432 24283 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 447529527 29459828736 212662 33554432000 4194304 4196468 140723292854512 140388548295520 140390736795349 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27025408 140723292857328 140723292857499 140723292857499 140723292860367 0 [pid=26434/tid=26453] ppid=26432 vsize=28769364 memory=0 CPUtime=0 cores=0-7 /proc/26434/task/26453/stat : 26453 (java) S 26432 26432 24283 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 28 0 447529527 29459828736 212662 33554432000 4194304 4196468 140723292854512 140388547242800 140390736796290 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27025408 140723292857328 140723292857499 140723292857499 140723292860367 0 [pid=26434/tid=26694] ppid=26432 vsize=28769364 memory=0 CPUtime=0.38 cores=0-7 /proc/26434/task/26694/stat : 26694 (java) R 26432 26432 24283 0 -1 4202560 30 0 0 0 38 0 0 0 20 0 28 0 447530111 29459828736 212662 33554432000 4194304 4196468 140723292854512 140388538261400 140390357698591 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 27025408 140723292857328 140723292857499 140723292857499 140723292860367 0 [pid=26434/tid=26695] ppid=26432 vsize=28769364 memory=1448 CPUtime=0.37 cores=0-7 /proc/26434/task/26695/stat : 26695 (java) R 26432 26432 24283 0 -1 4202560 20 0 0 0 37 0 0 0 20 0 28 0 447530111 29459828736 212662 33554432000 4194304 4196468 140723292854512 140388531946032 140390357698733 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 27025408 140723292857328 140723292857499 140723292857499 140723292860367 0 [pid=26434/tid=26696] ppid=26432 vsize=28769364 memory=0 CPUtime=0.32 cores=0-7 /proc/26434/task/26696/stat : 26696 (java) R 26432 26432 24283 0 -1 4202560 17 0 0 0 32 0 0 0 20 0 28 0 447530111 29459828736 212662 33554432000 4194304 4196468 140723292854512 140388535102840 140390357698591 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 27025408 140723292857328 140723292857499 140723292857499 140723292860367 0 [pid=26434/tid=26697] ppid=26432 vsize=28769364 memory=0 CPUtime=0.39 cores=0-7 /proc/26434/task/26697/stat : 26697 (java) R 26432 26432 24283 0 -1 4202560 17 0 0 0 39 0 0 0 20 0 28 0 447530111 29459828736 212662 33554432000 4194304 4196468 140723292854512 140388532997464 140390357698447 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 27025408 140723292857328 140723292857499 140723292857499 140723292860367 0 [pid=26434/tid=26698] ppid=26432 vsize=28769364 memory=216 CPUtime=0.39 cores=0-7 /proc/26434/task/26698/stat : 26698 (java) R 26432 26432 24283 0 -1 4202560 19 0 0 0 39 0 0 0 20 0 28 0 447530111 29459828736 212662 33554432000 4194304 4196468 140723292854512 140388537208432 140390358499536 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 27025408 140723292857328 140723292857499 140723292857499 140723292860367 0 [pid=26434/tid=26699] ppid=26432 vsize=28769364 memory=217 CPUtime=0.38 cores=0-7 /proc/26434/task/26699/stat : 26699 (java) R 26432 26432 24283 0 -1 4202560 17 0 0 0 38 0 0 0 20 0 28 0 447530111 29459828736 212662 33554432000 4194304 4196468 140723292854512 140388536156072 140390359640060 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 27025408 140723292857328 140723292857499 140723292857499 140723292860367 0 [pid=26434/tid=26700] ppid=26432 vsize=28769364 memory=92 CPUtime=0.39 cores=0-7 /proc/26434/task/26700/stat : 26700 (java) R 26432 26432 24283 0 -1 4202560 19 0 0 0 39 0 0 0 20 0 28 0 447530111 29459828736 212662 33554432000 4194304 4196468 140723292854512 140388530892528 140390357698447 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27025408 140723292857328 140723292857499 140723292857499 140723292860367 0 [pid=26434/tid=26701] ppid=26432 vsize=28769364 memory=0 CPUtime=0.31 cores=0-7 /proc/26434/task/26701/stat : 26701 (java) R 26432 26432 24283 0 -1 4202560 17 0 0 0 31 0 0 0 20 0 28 0 447530111 29459828736 212662 33554432000 4194304 4196468 140723292854512 140388527742536 140390357698447 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27025408 140723292857328 140723292857499 140723292857499 140723292860367 0 Current children cumulated CPU time: 42.52 s Current children cumulated vsize: 28882492 KiB Current children cumulated memory: 852096 KiB [startup+6.35277 s] # the end of solver process 26432 was just reported to runsolver # cumulated CPU time of all completed processes: user=40.9915 s, system=1.68722 s Solver just ended. ??? end of watcher thread Dumping a history of the last processes samples [startup+6.30124 s] /proc/loadavg: 7.39 6.42 7.26 11/219 26701 /proc/meminfo: memFree=30250912/32770624 swapFree=66922860/67108860 [pid=26432] ppid=26429 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/26432/stat : 26432 (xcsp3-exec) S 26429 26432 24283 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 447529521 115843072 362 33554432000 4194304 5098028 140732527033264 140732527031368 140248628675196 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 26517504 140732527039355 140732527039598 140732527039598 140732527042506 0 /proc/26432/statm: 28282 362 304 221 0 87 0 [pid=26434] ppid=26432 vsize=28769364 memory=850648 CPUtime=42.52 cores=0-7 /proc/26434/stat : 26434 (java) S 26432 26432 24283 0 -1 1077944320 71629 0 0 0 4086 166 0 0 20 0 28 0 447529521 29459828736 212662 33554432000 4194304 4196468 140723292854512 140723292837056 140390736785143 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 27025408 140723292857328 140723292857499 140723292857499 140723292860367 0 /proc/26434/statm: 7192341 212662 3548 1 0 7153441 0 [pid=26434/tid=26435] ppid=26432 vsize=28769364 memory=56 CPUtime=1 cores=0-7 /proc/26434/task/26435/stat : 26435 (java) S 26432 26432 24283 0 -1 1077944384 9500 0 0 0 92 8 0 0 20 0 28 0 447529521 29459828736 212662 33554432000 4194304 4196468 140723292854512 140390741025920 140390736795349 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27025408 140723292857328 140723292857499 140723292857499 140723292860367 0 [pid=26434/tid=26436] ppid=26432 vsize=28769364 memory=-7173504570862900581 CPUtime=0.63 cores=0-7 /proc/26434/task/26436/stat : 26436 (java) S 26432 26432 24283 0 -1 1077944384 3336 0 0 0 48 15 0 0 20 0 28 0 447529522 29459828736 212662 33554432000 4194304 4196468 140723292854512 140390689405840 140390736795349 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27025408 140723292857328 140723292857499 140723292857499 140723292860367 0 [pid=26434/tid=26437] ppid=26432 vsize=28769364 memory=854664 CPUtime=0.63 cores=0-7 /proc/26434/task/26437/stat : 26437 (java) S 26432 26432 24283 0 -1 1077944384 3495 0 0 0 48 15 0 0 20 0 28 0 447529522 29459828736 212662 33554432000 4194304 4196468 140723292854512 140390688353040 140390736795349 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27025408 140723292857328 140723292857499 140723292857499 140723292860367 0 [pid=26434/tid=26438] ppid=26432 vsize=28769364 memory=836780 CPUtime=0.62 cores=0-7 /proc/26434/task/26438/stat : 26438 (java) S 26432 26432 24283 0 -1 1077944384 3504 0 0 0 46 16 0 0 20 0 28 0 447529522 29459828736 212662 33554432000 4194304 4196468 140723292854512 140390687300752 140390736795349 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27025408 140723292857328 140723292857499 140723292857499 140723292860367 0 [pid=26434/tid=26439] ppid=26432 vsize=28769364 memory=0 CPUtime=0.61 cores=0-7 /proc/26434/task/26439/stat : 26439 (java) S 26432 26432 24283 0 -1 1077944384 3504 0 0 0 45 16 0 0 20 0 28 0 447529522 29459828736 212662 33554432000 4194304 4196468 140723292854512 140390686247952 140390736795349 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27025408 140723292857328 140723292857499 140723292857499 140723292860367 0 [pid=26434/tid=26440] ppid=26432 vsize=28769364 memory=854664 CPUtime=0.62 cores=0-7 /proc/26434/task/26440/stat : 26440 (java) S 26432 26432 24283 0 -1 1077944384 3414 0 0 0 46 16 0 0 20 0 28 0 447529522 29459828736 212662 33554432000 4194304 4196468 140723292854512 140390685194640 140390736795349 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27025408 140723292857328 140723292857499 140723292857499 140723292860367 0 [pid=26434/tid=26441] ppid=26432 vsize=28769364 memory=8740 CPUtime=0.62 cores=0-7 /proc/26434/task/26441/stat : 26441 (java) S 26432 26432 24283 0 -1 1077944384 3402 0 0 0 46 16 0 0 20 0 28 0 447529522 29459828736 212662 33554432000 4194304 4196468 140723292854512 140390684141840 140390736795349 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27025408 140723292857328 140723292857499 140723292857499 140723292860367 0 [pid=26434/tid=26442] ppid=26432 vsize=28769364 memory=0 CPUtime=0.63 cores=0-7 /proc/26434/task/26442/stat : 26442 (java) S 26432 26432 24283 0 -1 1077944384 3680 0 0 0 46 17 0 0 20 0 28 0 447529522 29459828736 212662 33554432000 4194304 4196468 140723292854512 140390683089552 140390736795349 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27025408 140723292857328 140723292857499 140723292857499 140723292860367 0 [pid=26434/tid=26443] ppid=26432 vsize=28769364 memory=22532 CPUtime=0.63 cores=0-7 /proc/26434/task/26443/stat : 26443 (java) S 26432 26432 24283 0 -1 1077944384 3373 0 0 0 47 16 0 0 20 0 28 0 447529522 29459828736 212662 33554432000 4194304 4196468 140723292854512 140390682036752 140390736795349 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27025408 140723292857328 140723292857499 140723292857499 140723292860367 0 [pid=26434/tid=26444] ppid=26432 vsize=28769364 memory=6656426216303648864 CPUtime=0.02 cores=0-7 /proc/26434/task/26444/stat : 26444 (java) S 26432 26432 24283 0 -1 1077944384 668 0 0 0 2 0 0 0 20 0 28 0 447529524 29459828736 212662 33554432000 4194304 4196468 140723292854512 140388865096304 140390736796290 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27025408 140723292857328 140723292857499 140723292857499 140723292860367 0 [pid=26434/tid=26445] ppid=26432 vsize=28769364 memory=1448 CPUtime=0 cores=0-7 /proc/26434/task/26445/stat : 26445 (java) S 26432 26432 24283 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 28 0 447529524 29459828736 212662 33554432000 4194304 4196468 140723292854512 140388864042336 140390736795349 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27025408 140723292857328 140723292857499 140723292857499 140723292860367 0 [pid=26434/tid=26446] ppid=26432 vsize=28769364 memory=850488 CPUtime=0 cores=0-7 /proc/26434/task/26446/stat : 26446 (java) S 26432 26432 24283 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 28 0 447529524 29459828736 212662 33554432000 4194304 4196468 140723292854512 140388862989952 140390736795349 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27025408 140723292857328 140723292857499 140723292857499 140723292860367 0 [pid=26434/tid=26447] ppid=26432 vsize=28769364 memory=0 CPUtime=0 cores=0-7 /proc/26434/task/26447/stat : 26447 (java) S 26432 26432 24283 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 447529527 29459828736 212662 33554432000 4194304 4196468 140723292854512 140388861938256 140390736803739 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27025408 140723292857328 140723292857499 140723292857499 140723292860367 0 [pid=26434/tid=26448] ppid=26432 vsize=28769364 memory=0 CPUtime=2.26 cores=0-7 /proc/26434/task/26448/stat : 26448 (java) S 26432 26432 24283 0 -1 1077944384 4736 0 0 0 224 2 0 0 20 0 28 0 447529527 29459828736 212662 33554432000 4194304 4196468 140723292854512 140388860885104 140390736796290 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27025408 140723292857328 140723292857499 140723292857499 140723292860367 0 [pid=26434/tid=26449] ppid=26432 vsize=28769364 memory=0 CPUtime=2.17 cores=0-7 /proc/26434/task/26449/stat : 26449 (java) S 26432 26432 24283 0 -1 1077944384 3931 0 0 0 216 1 0 0 20 0 28 0 447529527 29459828736 212662 33554432000 4194304 4196468 140723292854512 140388859832304 140390736796290 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27025408 140723292857328 140723292857499 140723292857499 140723292860367 0 [pid=26434/tid=26450] ppid=26432 vsize=28769364 memory=1448 CPUtime=2.2 cores=0-7 /proc/26434/task/26450/stat : 26450 (java) S 26432 26432 24283 0 -1 1077944384 4570 0 0 0 218 2 0 0 20 0 28 0 447529527 29459828736 212662 33554432000 4194304 4196468 140723292854512 140388550400368 140390736796290 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27025408 140723292857328 140723292857499 140723292857499 140723292860367 0 [pid=26434/tid=26451] ppid=26432 vsize=28769364 memory=820340 CPUtime=0.93 cores=0-7 /proc/26434/task/26451/stat : 26451 (java) S 26432 26432 24283 0 -1 1077944384 4124 0 0 0 92 1 0 0 20 0 28 0 447529527 29459828736 212662 33554432000 4194304 4196468 140723292854512 140388549347568 140390736796290 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27025408 140723292857328 140723292857499 140723292857499 140723292860367 0 [pid=26434/tid=26452] ppid=26432 vsize=28769364 memory=0 CPUtime=0 cores=0-7 /proc/26434/task/26452/stat : 26452 (java) S 26432 26432 24283 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 447529527 29459828736 212662 33554432000 4194304 4196468 140723292854512 140388548295520 140390736795349 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27025408 140723292857328 140723292857499 140723292857499 140723292860367 0 [pid=26434/tid=26453] ppid=26432 vsize=28769364 memory=0 CPUtime=0 cores=0-7 /proc/26434/task/26453/stat : 26453 (java) S 26432 26432 24283 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 28 0 447529527 29459828736 212662 33554432000 4194304 4196468 140723292854512 140388547242800 140390736796290 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27025408 140723292857328 140723292857499 140723292857499 140723292860367 0 [pid=26434/tid=26694] ppid=26432 vsize=28769364 memory=0 CPUtime=0.38 cores=0-7 /proc/26434/task/26694/stat : 26694 (java) R 26432 26432 24283 0 -1 4202560 30 0 0 0 38 0 0 0 20 0 28 0 447530111 29459828736 212662 33554432000 4194304 4196468 140723292854512 140388538261400 140390357698591 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 27025408 140723292857328 140723292857499 140723292857499 140723292860367 0 [pid=26434/tid=26695] ppid=26432 vsize=28769364 memory=1448 CPUtime=0.37 cores=0-7 /proc/26434/task/26695/stat : 26695 (java) R 26432 26432 24283 0 -1 4202560 20 0 0 0 37 0 0 0 20 0 28 0 447530111 29459828736 212662 33554432000 4194304 4196468 140723292854512 140388531946032 140390357698733 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 27025408 140723292857328 140723292857499 140723292857499 140723292860367 0 [pid=26434/tid=26696] ppid=26432 vsize=28769364 memory=0 CPUtime=0.32 cores=0-7 /proc/26434/task/26696/stat : 26696 (java) R 26432 26432 24283 0 -1 4202560 17 0 0 0 32 0 0 0 20 0 28 0 447530111 29459828736 212662 33554432000 4194304 4196468 140723292854512 140388535102840 140390357698591 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 27025408 140723292857328 140723292857499 140723292857499 140723292860367 0 [pid=26434/tid=26697] ppid=26432 vsize=28769364 memory=0 CPUtime=0.39 cores=0-7 /proc/26434/task/26697/stat : 26697 (java) R 26432 26432 24283 0 -1 4202560 17 0 0 0 39 0 0 0 20 0 28 0 447530111 29459828736 212662 33554432000 4194304 4196468 140723292854512 140388532997464 140390357698447 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 27025408 140723292857328 140723292857499 140723292857499 140723292860367 0 [pid=26434/tid=26698] ppid=26432 vsize=28769364 memory=216 CPUtime=0.39 cores=0-7 /proc/26434/task/26698/stat : 26698 (java) R 26432 26432 24283 0 -1 4202560 19 0 0 0 39 0 0 0 20 0 28 0 447530111 29459828736 212662 33554432000 4194304 4196468 140723292854512 140388537208432 140390358499536 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 27025408 140723292857328 140723292857499 140723292857499 140723292860367 0 [pid=26434/tid=26699] ppid=26432 vsize=28769364 memory=217 CPUtime=0.38 cores=0-7 /proc/26434/task/26699/stat : 26699 (java) R 26432 26432 24283 0 -1 4202560 17 0 0 0 38 0 0 0 20 0 28 0 447530111 29459828736 212662 33554432000 4194304 4196468 140723292854512 140388536156072 140390359640060 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 27025408 140723292857328 140723292857499 140723292857499 140723292860367 0 [pid=26434/tid=26700] ppid=26432 vsize=28769364 memory=92 CPUtime=0.39 cores=0-7 /proc/26434/task/26700/stat : 26700 (java) R 26432 26432 24283 0 -1 4202560 19 0 0 0 39 0 0 0 20 0 28 0 447530111 29459828736 212662 33554432000 4194304 4196468 140723292854512 140388530892528 140390357698447 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27025408 140723292857328 140723292857499 140723292857499 140723292860367 0 [pid=26434/tid=26701] ppid=26432 vsize=28769364 memory=0 CPUtime=0.31 cores=0-7 /proc/26434/task/26701/stat : 26701 (java) R 26432 26432 24283 0 -1 4202560 17 0 0 0 31 0 0 0 20 0 28 0 447530111 29459828736 212662 33554432000 4194304 4196468 140723292854512 140388527742536 140390357698447 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27025408 140723292857328 140723292857499 140723292857499 140723292860367 0 Current children cumulated CPU time: 42.52 s Current children cumulated vsize: 28882492 KiB Current children cumulated memory: 852096 KiB Child status: 0 Real time (s): 6.35283 CPU time (s): 42.6787 CPU user time (s): 40.9915 CPU system time (s): 1.68722 CPU usage (%): 671.805 Max. virtual memory (cumulated for all children) (KiB): 28882492 Max. memory (cumulated for all children) (KiB): 856112 getrusage(RUSAGE_CHILDREN,...) data: user time used= 40.9915 system time used= 1.68722 maximum resident set size= 854988 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 72264 page faults= 0 swaps= 0 block input operations= 0 block output operations= 112 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 7133 involuntary context switches= 1020 # summary of solver processes directly reported to runsolver: # pid: 26432 # total CPU time (s): 42.6787 # total CPU user time (s): 40.9915 # total CPU system time (s): 1.68722 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.069452 second user time and 0.109243 second system time The end
Begin job on node139 at 2019-09-17 11:32:00 IDJOB=4400052 IDBENCH=138308 IDSOLVER=2855 FILE ID=node139/4400052-1568712607 RUNJOBID= node139-1568702605-24310 PBS_JOBID= 21703917 Free space on /tmp= 59556 MiB SOLVER NAME= choco-solver 2019-09-16 parallel BENCH NAME= XCSP17/Fastfood/Fastfood-m1-s1/Fastfood-ff50.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-4400052-1568712607/watcher-4400052-1568712607 -o /tmp/evaluation-result-4400052-1568712607/solver-4400052-1568712607 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node139-1568702605-24310 --watchdog 312 xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 24000 -tdir HOME -seed 1430481776 HOME/instance-4400052-1568712607.xml TIME LIMIT= 2016 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= f7819cc540e1493da1332403e09ec21d RANDOM SEED=1430481776 node139.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.57 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.57 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.57 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.57 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: 31088744 kB MemAvailable: 31823616 kB Buffers: 131432 kB Cached: 895204 kB SwapCached: 78124 kB Active: 632740 kB Inactive: 476512 kB Active(anon): 7840 kB Inactive(anon): 118256 kB Active(file): 624900 kB Inactive(file): 358256 kB Unevictable: 107692 kB Mlocked: 107692 kB SwapTotal: 67108860 kB SwapFree: 66922860 kB Dirty: 26280 kB Writeback: 0 kB AnonPages: 129680 kB Mapped: 48580 kB Shmem: 34768 kB Slab: 163812 kB SReclaimable: 135104 kB SUnreclaim: 28708 kB KernelStack: 3728 kB PageTables: 5948 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 496860 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 83968 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 107904 kB DirectMap2M: 33437696 kB Free space on /tmp at the end= 59532 MiB End job on node139 at 2019-09-17 11:32:07