Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
PicatSAT 2019-09-12 | SAT | 37.5295 | 37.5268 |
Name | SuperSolutions/SuperSolutions-Taillard-os10/ SuperTaillard-os-10-12.xml |
MD5SUM | 5dc18f9bddc2dfff84e0f90fec56ce3b |
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 | 24.9156 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 200 |
Number of constraints | 2800 |
Number of domains | 65 |
Minimum domain size | 520 |
Maximum domain size | 616 |
Distribution of domain sizes | [{"size":520,"count":2},{"size":521,"count":4},{"size":522,"count":2},{"size":523,"count":4},{"size":525,"count":4},{"size":527,"count":4},{"size":528,"count":2},{"size":529,"count":2},{"size":530,"count":6},{"size":531,"count":6},{"size":532,"count":2},{"size":534,"count":2},{"size":535,"count":2},{"size":536,"count":2},{"size":537,"count":2},{"size":541,"count":2},{"size":542,"count":4},{"size":543,"count":2},{"size":545,"count":4},{"size":547,"count":2},{"size":550,"count":2},{"size":551,"count":2},{"size":552,"count":2},{"size":553,"count":2},{"size":554,"count":2},"...",{"size":582,"count":6}, {"size":585,"count":4}, {"size":586,"count":2}, {"size":587,"count":2}, {"size":588,"count":2}, {"size":589,"count":4}, {"size":590,"count":2}, {"size":592,"count":2}, {"size":595,"count":4}, {"size":596,"count":2}, {"size":597,"count":2}, {"size":599,"count":2}, {"size":600,"count":6}, {"size":601,"count":2}, {"size":602,"count":2}, {"size":603,"count":2}, {"size":604,"count":6}, {"size":605,"count":2}, {"size":606,"count":2}, {"size":608,"count":4}, {"size":609,"count":2}, {"size":612,"count":4}, {"size":614,"count":6}, {"size":615,"count":4}, {"size":616,"count":4}] |
Minimum variable degree | 19 |
Maximum variable degree | 37 |
Distribution of variable degrees | [{"degree":19,"count":100},{"degree":37,"count":100}] |
Minimum constraint arity | 2 |
Maximum constraint arity | 2 |
Distribution of constraint arities | [{"arity":2,"count":2800}] |
Number of extensional constraints | 0 |
Number of intensional constraints | 2800 |
Distribution of constraint types | [{"type":"intension","count":2800}] |
Optimization problem | NO |
Type of objective |
13.69/13.77 c xcsp_picat version 2.7b12 (9/12/2019) 37.49/37.52 s SATISFIABLE 37.49/37.52 v <instantiation> 37.49/37.52 v <list> x2 x51 x127 x27 x76 x152 x102 x178 x3 x52 x128 x28 x77 x153 x103 x179 x4 x53 x29 x78 x154 x104 x180 x5 x54 x129 x30 x79 x155 x105 x181 x6 x55 x130 x80 x156 x106 x182 x56 x7 x131 x81 x157 x31 x107 x183 x8 x57 x132 x82 x158 x32 x108 x184 x9 x58 x133 x83 x159 x33 x109 x185 x10 x59 x134 x84 x160 x34 x110 x186 x11 x60 x135 x85 x161 x35 x111 x187 x12 x61 x136 x86 x162 x36 x112 x188 x62 x137 x87 x163 x37 x113 x189 x13 x138 x88 x164 x38 x114 x190 x14 x63 x139 x89 x165 x39 x115 x191 x15 x64 x140 x90 x166 x40 x116 x192 x16 x65 x141 x91 x167 x41 x117 x193 x17 x66 x142 x92 x168 x42 x118 x194 x18 x67 x143 x93 x169 x43 x119 x195 x19 x68 x144 x94 x170 x44 x120 x196 x20 x69 x145 x95 x171 x45 x121 x197 x21 x70 x146 x96 x172 x46 x122 x198 x22 x71 x147 x97 x173 x47 x123 x199 x23 x72 x148 x98 x174 x48 x124 x24 x73 x149 x99 x175 x0 x49 x125 x25 x74 x150 x100 x176 x1 x50 x126 x26 x75 x151 x101 x177 </list> 37.49/37.52 v <values> 158 351 19 65 419 163 4 600 157 488 222 170 401 164 0 598 479 489 174 522 255 220 161 483 108 239 56 350 256 221 145 596 109 195 442 40 257 351 4 597 191 449 38 253 256 365 261 0 442 257 343 153 109 1 263 57 602 256 342 152 110 374 519 56 117 168 512 356 449 440 515 192 119 164 515 357 448 441 429 168 591 333 6 512 393 190 198 605 341 5 602 398 191 428 495 16 416 447 508 86 299 197 498 18 234 448 502 89 297 255 355 272 165 544 49 32 1 257 353 273 127 542 50 31 0 544 187 50 0 168 585 541 331 541 186 49 371 169 574 539 332 440 0 134 168 257 355 394 257 443 7 131 178 255 351 387 258 72 441 546 532 448 272 235 574 73 444 550 529 453 273 222 575 0 54 386 375 296 449 528 1 68 384 398 59 297 451 525 528 530 353 273 63 344 9 64 354 529 355 269 </values> 37.49/37.52 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 (15262 MiB free) memory of node 1: 16384 MiB (15641 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4394910-1568343294/watcher-4394910-1568343294 -o /tmp/evaluation-result-4394910-1568343294/solver-4394910-1568343294 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node102-1568323474-16008 --watchdog 2580 xcsp_picat HOME/instance-4394910-1568343294.xml running on 4 cores: 1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Linux 3.10.0-514.16.1.el7.x86_64 Starting watchdog thread Current StackSize limit: 8192 KiB solver pid=22237, runsolver pid=22234 [startup+0.100169 s]* /proc/loadavg: 2.00 2.01 2.05 3/201 22238 /proc/meminfo: memFree=31624792/32770624 swapFree=66994056/67108860 [pid=22237] ppid=22234 vsize=2031716 memory=26524 CPUtime=0.1 cores=1,3,5,7 /proc/22237/stat : 22237 (xcsp_picat) R 22234 22237 15976 0 -1 4202496 1685 0 0 0 10 0 0 0 20 0 1 0 410580834 2080477184 6631 33554432000 4194304 5870510 140720524022608 140720524019752 4561975 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 47726592 140720524026911 140720524026989 140720524026989 140720524029898 0 /proc/22237/statm: 507929 6631 864 410 0 503402 0 Current children cumulated CPU time: 0.1 s Current children cumulated vsize: 2031716 KiB Current children cumulated memory: 26524 KiB [startup+0.209814 s]* /proc/loadavg: 2.00 2.01 2.05 3/201 22238 /proc/meminfo: memFree=31601040/32770624 swapFree=66994056/67108860 [pid=22237] ppid=22234 vsize=2055460 memory=50116 CPUtime=0.21 cores=1,3,5,7 /proc/22237/stat : 22237 (xcsp_picat) R 22234 22237 15976 0 -1 4202496 7018 0 0 0 20 1 0 0 20 0 1 0 410580834 2104791040 12529 33554432000 4194304 5870510 140720524022608 140720524019752 140350669605861 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 47726592 140720524026911 140720524026989 140720524026989 140720524029898 0 /proc/22237/statm: 513865 12529 889 410 0 509338 0 Current children cumulated CPU time: 0.21 s Current children cumulated vsize: 2055460 KiB Current children cumulated memory: 50116 KiB [startup+0.309662 s]* /proc/loadavg: 2.00 2.01 2.05 3/201 22238 /proc/meminfo: memFree=31581552/32770624 swapFree=66994056/67108860 [pid=22237] ppid=22234 vsize=2071020 memory=67264 CPUtime=0.31 cores=1,3,5,7 /proc/22237/stat : 22237 (xcsp_picat) R 22234 22237 15976 0 -1 4202496 10856 0 0 0 29 2 0 0 20 0 1 0 410580834 2120724480 16816 33554432000 4194304 5870510 140720524022608 140720524019752 5406879 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 47726592 140720524026911 140720524026989 140720524026989 140720524029898 0 /proc/22237/statm: 517755 16816 927 410 0 513228 0 Current children cumulated CPU time: 0.31 s Current children cumulated vsize: 2071020 KiB Current children cumulated memory: 67264 KiB [startup+0.700384 s] /proc/loadavg: 2.00 2.01 2.05 3/201 22238 /proc/meminfo: memFree=31581552/32770624 swapFree=66994056/67108860 [pid=22237] ppid=22234 vsize=2073596 memory=69900 CPUtime=0.69 cores=1,3,5,7 /proc/22237/stat : 22237 (xcsp_picat) R 22234 22237 15976 0 -1 4202496 11507 0 0 0 67 2 0 0 20 0 1 0 410580834 2123362304 17475 33554432000 4194304 5870510 140720524022608 140720524019752 140350669605861 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 47726592 140720524026911 140720524026989 140720524026989 140720524029898 0 /proc/22237/statm: 518399 17475 948 410 0 513872 0 Current children cumulated CPU time: 0.69 s Current children cumulated vsize: 2073596 KiB Current children cumulated memory: 69900 KiB [startup+1.50042 s] /proc/loadavg: 2.00 2.01 2.05 3/201 22238 /proc/meminfo: memFree=31574044/32770624 swapFree=66994056/67108860 [pid=22237] ppid=22234 vsize=2093852 memory=88376 CPUtime=1.49 cores=1,3,5,7 /proc/22237/stat : 22237 (xcsp_picat) R 22234 22237 15976 0 -1 4202496 15815 0 0 0 146 3 0 0 20 0 1 0 410580834 2144104448 22094 33554432000 4194304 5870510 140720524022608 140720524019752 5275198 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 47726592 140720524026911 140720524026989 140720524026989 140720524029898 0 /proc/22237/statm: 523463 22094 951 410 0 518936 0 Current children cumulated CPU time: 1.49 s Current children cumulated vsize: 2093852 KiB Current children cumulated memory: 88376 KiB [startup+3.10962 s] /proc/loadavg: 2.00 2.01 2.05 3/201 22238 /proc/meminfo: memFree=31560520/32770624 swapFree=66994056/67108860 [pid=22237] ppid=22234 vsize=2093852 memory=88456 CPUtime=3.1 cores=1,3,5,7 /proc/22237/stat : 22237 (xcsp_picat) R 22234 22237 15976 0 -1 4202496 22641 0 0 0 307 3 0 0 20 0 1 0 410580834 2144104448 22114 33554432000 4194304 5870510 140720524022608 140720524019752 140350675305023 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 47726592 140720524026911 140720524026989 140720524026989 140720524029898 0 /proc/22237/statm: 523463 22114 971 410 0 518936 0 Current children cumulated CPU time: 3.1 s Current children cumulated vsize: 2093852 KiB Current children cumulated memory: 88456 KiB [startup+6.30038 s] /proc/loadavg: 2.00 2.01 2.05 3/200 22238 /proc/meminfo: memFree=31556108/32770624 swapFree=66994056/67108860 [pid=22237] ppid=22234 vsize=2112528 memory=94608 CPUtime=6.29 cores=1,3,5,7 /proc/22237/stat : 22237 (xcsp_picat) R 22234 22237 15976 0 -1 4202496 31170 0 0 0 625 4 0 0 20 0 1 0 410580834 2163228672 23652 33554432000 4194304 5870510 140720524022608 140720524021416 5282642 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 47726592 140720524026911 140720524026989 140720524026989 140720524029898 0 /proc/22237/statm: 528132 23652 973 410 0 523605 0 Current children cumulated CPU time: 6.29 s Current children cumulated vsize: 2112528 KiB Current children cumulated memory: 94608 KiB [startup+12.7004 s] /proc/loadavg: 2.00 2.01 2.05 3/200 22238 /proc/meminfo: memFree=31556852/32770624 swapFree=66994056/67108860 [pid=22237] ppid=22234 vsize=2119892 memory=107968 CPUtime=12.69 cores=1,3,5,7 /proc/22237/stat : 22237 (xcsp_picat) R 22234 22237 15976 0 -1 4202496 42220 0 0 0 1263 6 0 0 20 0 1 0 410580834 2170769408 26992 33554432000 4194304 5870510 140720524022608 140720524021048 140350675305494 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 47726592 140720524026911 140720524026989 140720524026989 140720524029898 0 /proc/22237/statm: 529973 26992 973 410 0 525446 0 Current children cumulated CPU time: 12.69 s Current children cumulated vsize: 2119892 KiB Current children cumulated memory: 107968 KiB [startup+25.5004 s] /proc/loadavg: 2.00 2.01 2.05 3/200 22239 /proc/meminfo: memFree=31524676/32770624 swapFree=66994056/67108860 [pid=22237] ppid=22234 vsize=2127932 memory=124348 CPUtime=25.5 cores=1,3,5,7 /proc/22237/stat : 22237 (xcsp_picat) R 22234 22237 15976 0 -1 4202496 51904 0 0 0 2543 7 0 0 20 0 1 0 410580834 2179002368 31087 33554432000 4194304 5870510 140720524022608 140720524021176 5272665 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 47726592 140720524026911 140720524026989 140720524026989 140720524029898 0 /proc/22237/statm: 531983 31087 973 410 0 527456 0 Current children cumulated CPU time: 25.5 s Current children cumulated vsize: 2127932 KiB Current children cumulated memory: 124348 KiB [startup+37.5267 s] # the end of solver process 22237 was just reported to runsolver # cumulated CPU time of all completed processes: user=37.4495 s, system=0.080005 s Solver just ended. ??? end of watcher thread Dumping a history of the last processes samples [startup+25.6004 s] /proc/loadavg: 2.00 2.01 2.05 3/200 22239 /proc/meminfo: memFree=31524676/32770624 swapFree=66994056/67108860 [pid=22237] ppid=22234 vsize=2127932 memory=124348 CPUtime=25.6 cores=1,3,5,7 /proc/22237/stat : 22237 (xcsp_picat) R 22234 22237 15976 0 -1 4202496 51904 0 0 0 2553 7 0 0 20 0 1 0 410580834 2179002368 31087 33554432000 4194304 5870510 140720524022608 140720524021176 5272904 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 47726592 140720524026911 140720524026989 140720524026989 140720524029898 0 /proc/22237/statm: 531983 31087 973 410 0 527456 0 Current children cumulated CPU time: 25.6 s Current children cumulated vsize: 2127932 KiB Current children cumulated memory: 124348 KiB [startup+32.0004 s]* /proc/loadavg: 2.00 2.01 2.05 3/200 22239 /proc/meminfo: memFree=31570284/32770624 swapFree=66994056/67108860 [pid=22237] ppid=22234 vsize=2127932 memory=124348 CPUtime=32 cores=1,3,5,7 /proc/22237/stat : 22237 (xcsp_picat) R 22234 22237 15976 0 -1 4202496 61147 0 0 0 3193 7 0 0 20 0 1 0 410580834 2179002368 31087 33554432000 4194304 5870510 140720524022608 140720524021176 5288833 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 47726592 140720524026911 140720524026989 140720524026989 140720524029898 0 /proc/22237/statm: 531983 31087 973 410 0 527456 0 Current children cumulated CPU time: 32 s Current children cumulated vsize: 2127932 KiB Current children cumulated memory: 124348 KiB [startup+35.2004 s] /proc/loadavg: 2.00 2.01 2.05 3/200 22239 /proc/meminfo: memFree=31556012/32770624 swapFree=66994056/67108860 [pid=22237] ppid=22234 vsize=2127932 memory=124348 CPUtime=35.19 cores=1,3,5,7 /proc/22237/stat : 22237 (xcsp_picat) R 22234 22237 15976 0 -1 4202496 61266 0 0 0 3512 7 0 0 20 0 1 0 410580834 2179002368 31087 33554432000 4194304 5870510 140720524022608 140720524021176 5283135 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 47726592 140720524026911 140720524026989 140720524026989 140720524029898 0 /proc/22237/statm: 531983 31087 973 410 0 527456 0 Current children cumulated CPU time: 35.19 s Current children cumulated vsize: 2127932 KiB Current children cumulated memory: 124348 KiB [startup+36.8004 s] /proc/loadavg: 2.00 2.01 2.05 3/200 22239 /proc/meminfo: memFree=31556012/32770624 swapFree=66994056/67108860 [pid=22237] ppid=22234 vsize=2127932 memory=124348 CPUtime=36.79 cores=1,3,5,7 /proc/22237/stat : 22237 (xcsp_picat) R 22234 22237 15976 0 -1 4202496 61268 0 0 0 3672 7 0 0 20 0 1 0 410580834 2179002368 31087 33554432000 4194304 5870510 140720524022608 140720524021176 5308205 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 47726592 140720524026911 140720524026989 140720524026989 140720524029898 0 /proc/22237/statm: 531983 31087 973 410 0 527456 0 Current children cumulated CPU time: 36.79 s Current children cumulated vsize: 2127932 KiB Current children cumulated memory: 124348 KiB [startup+37.2004 s] /proc/loadavg: 2.00 2.01 2.05 3/200 22239 /proc/meminfo: memFree=31555640/32770624 swapFree=66994056/67108860 [pid=22237] ppid=22234 vsize=2127932 memory=124348 CPUtime=37.19 cores=1,3,5,7 /proc/22237/stat : 22237 (xcsp_picat) R 22234 22237 15976 0 -1 4202496 61268 0 0 0 3712 7 0 0 20 0 1 0 410580834 2179002368 31087 33554432000 4194304 5870510 140720524022608 140720524021176 5308227 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 47726592 140720524026911 140720524026989 140720524026989 140720524029898 0 /proc/22237/statm: 531983 31087 973 410 0 527456 0 Current children cumulated CPU time: 37.19 s Current children cumulated vsize: 2127932 KiB Current children cumulated memory: 124348 KiB [startup+37.4004 s] /proc/loadavg: 2.00 2.01 2.05 3/200 22239 /proc/meminfo: memFree=31555640/32770624 swapFree=66994056/67108860 [pid=22237] ppid=22234 vsize=2127932 memory=124348 CPUtime=37.39 cores=1,3,5,7 /proc/22237/stat : 22237 (xcsp_picat) R 22234 22237 15976 0 -1 4202496 61268 0 0 0 3732 7 0 0 20 0 1 0 410580834 2179002368 31087 33554432000 4194304 5870510 140720524022608 140720524021176 5282680 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 47726592 140720524026911 140720524026989 140720524026989 140720524029898 0 /proc/22237/statm: 531983 31087 973 410 0 527456 0 Current children cumulated CPU time: 37.39 s Current children cumulated vsize: 2127932 KiB Current children cumulated memory: 124348 KiB [startup+37.5004 s] /proc/loadavg: 2.00 2.01 2.05 3/200 22239 /proc/meminfo: memFree=31555640/32770624 swapFree=66994056/67108860 [pid=22237] ppid=22234 vsize=2127932 memory=124348 CPUtime=37.49 cores=1,3,5,7 /proc/22237/stat : 22237 (xcsp_picat) R 22234 22237 15976 0 -1 4202496 61268 0 0 0 3742 7 0 0 20 0 1 0 410580834 2179002368 31087 33554432000 4194304 5870510 140720524022608 140720524021176 5288765 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 47726592 140720524026911 140720524026989 140720524026989 140720524029898 0 /proc/22237/statm: 531983 31087 973 410 0 527456 0 Current children cumulated CPU time: 37.49 s Current children cumulated vsize: 2127932 KiB Current children cumulated memory: 124348 KiB Child status: 0 Real time (s): 37.5268 CPU time (s): 37.5295 CPU user time (s): 37.4495 CPU system time (s): 0.080005 CPU usage (%): 100.007 Max. virtual memory (cumulated for all children) (KiB): 2127932 Max. memory (cumulated for all children) (KiB): 124348 getrusage(RUSAGE_CHILDREN,...) data: user time used= 37.4495 system time used= 0.080005 maximum resident set size= 134792 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 61878 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 4 involuntary context switches= 20 # summary of solver processes directly reported to runsolver: # pid: 22237 # total CPU time (s): 37.5295 # total CPU user time (s): 37.4495 # total CPU system time (s): 0.080005 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.194087 second user time and 0.298962 second system time The end
Begin job on node102 at 2019-09-13 04:54:09 IDJOB=4394910 IDBENCH=138454 IDSOLVER=2844 FILE ID=node102/4394910-1568343294 RUNJOBID= node102-1568323474-16008 PBS_JOBID= 21701144 Free space on /tmp= 56904 MiB SOLVER NAME= PicatSAT 2019-09-12 BENCH NAME= XCSP17/SuperSolutions/SuperSolutions-Taillard-os10/SuperTaillard-os-10-12.xml COMMAND LINE= xcsp_picat BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4394910-1568343294/watcher-4394910-1568343294 -o /tmp/evaluation-result-4394910-1568343294/solver-4394910-1568343294 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node102-1568323474-16008 --watchdog 2580 xcsp_picat HOME/instance-4394910-1568343294.xml TIME LIMIT= 2520 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 5dc18f9bddc2dfff84e0f90fec56ce3b RANDOM SEED=897492920 node102.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.13 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.54 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.13 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.54 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.13 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.54 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.13 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.54 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770624 kB MemFree: 31645792 kB MemAvailable: 31829928 kB Buffers: 128036 kB Cached: 346020 kB SwapCached: 10760 kB Active: 314428 kB Inactive: 264936 kB Active(anon): 101468 kB Inactive(anon): 33420 kB Active(file): 212960 kB Inactive(file): 231516 kB Unevictable: 110464 kB Mlocked: 110464 kB SwapTotal: 67108860 kB SwapFree: 66994056 kB Dirty: 3112 kB Writeback: 0 kB AnonPages: 204840 kB Mapped: 34500 kB Shmem: 21092 kB Slab: 139528 kB SReclaimable: 110992 kB SUnreclaim: 28536 kB KernelStack: 3584 kB PageTables: 5820 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 2608212 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 143360 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 118144 kB DirectMap2M: 33427456 kB Free space on /tmp at the end= 56900 MiB End job on node102 at 2019-09-13 04:54:46