Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| Exact 2024-07-05 | MSAT (TO) | 3600.12 | 3608.97 |
| Name | PB24/WBO/PARTIAL-LIN/wcsp/celar/ normalized-celar7-sub4-22_wcsp.wbo |
| MD5SUM | d7d01ec0794d07991a9972239b49c230 |
| Bench Category | PARTIAL-LIN (WBO, both soft and hard constraints, linear constraints) |
| Best result obtained on this benchmark | MSAT |
| Best cost obtained on this benchmark | 263041 |
| Best CPU time to get the best result obtained on this benchmark | 3600.2 |
| Max-Satisfiable | |
| Max-(Un)Satisfiability was proved | |
| Best value of the cost | |
| Optimality of the best cost was proved | |
| Number of variables | 444 |
| Total number of constraints | 80644 |
| Number of soft constraints | 80622 |
| Number of constraints which are clauses | 80622 |
| Number of constraints which are cardinality constraints (but not clauses) | 22 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 22 |
| Top cost | 54058235 |
| Min constraint cost | 1 |
| Max constraint cost | 1000000 |
| Sum of constraints costs | 6107276475 |
| Biggest number in a constraint | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 23 |
| Number of bits of the biggest sum of numbers | 5 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.79/0.82 o 15713153 0.79/0.88 o 612839 2.38/2.42 o 612744 4.57/4.63 o 592744 20.94/21.09 o 583046 21.04/21.16 o 583044 21.73/21.84 o 572944 22.23/22.36 o 562944 23.63/23.70 o 552543 49.16/49.38 o 542441 70.32/70.52 o 532641 95.04/95.33 o 532340 102.63/102.95 o 512337 115.71/116.04 o 502938 169.67/170.16 o 493038 221.93/222.55 o 473139 561.68/563.18 o 463034 921.69/924.04 o 462635 949.41/951.86 o 462432 953.70/956.15 o 452628 954.20/956.60 o 422427 1034.80/1037.46 o 422327 1146.31/1149.25 o 422326 1210.07/1213.10 o 412523 1341.83/1345.23 o 412427 1444.17/1447.87 o 402429 1877.16/1881.90 o 402328 1997.36/2002.42 o 393027 2062.68/2067.96 o 393026 3600.04/3608.90 c Program interrupted by user. 3600.04/3608.90 s SATISFIABLE 3600.04/3608.90 v -x1 -x2 -x3 x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 x63 -x64 -x65 -x66 x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 x230 -x231 -x232 -x233 -x234 -x235 -x236 x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 x287 -x288 -x289 -x290 -x291 -x292 x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 x439 -x440 -x441 -x442 -x443 -x444
OK 393026
runsolver version 3.4.2 (svn: 4680) 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: 63968 MiB (54153 MiB free)
memory of node 1: 64473 MiB (61323 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4425736-1720883148/watcher-4425736-1720883148 -o /tmp/evaluation-result-4425736-1720883148/solver-4425736-1720883148 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC035-1720877976-712353 --watchdog 3760 HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=197818886 HOME/instance-4425736-1720883148.wbo
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 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 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=716854, runsolver pid=716851
[startup+0.100661 s]*
/proc/loadavg: 4.15 4.11 4.09 5/256 716855
/proc/meminfo: memFree=118196016/131524600 swapFree=131071996/131071996
[pid=716854] ppid=716851 vsize=83140 memory=58136 CPUtime=0.09 cores=5,7
/proc/716854/stat : 716854 (Exact) R 716851 716854 709774 0 -1 4194304 16484 0 0 0 7 2 0 0 20 0 1 0 140485647 85135360 14534 134679101440 4194304 8309489 140720345817024 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 24985600 140720345822117 140720345822286 140720345822286 140720345829327 0
/proc/716854/statm: 20785 14534 884 1005 0 19548 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 83140 KiB
Current children cumulated memory: 58136 KiB
[startup+0.205508 s]*
/proc/loadavg: 4.15 4.11 4.09 5/256 716855
/proc/meminfo: memFree=118143112/131524600 swapFree=131071996/131071996
[pid=716854] ppid=716851 vsize=132684 memory=109120 CPUtime=0.19 cores=5,7
/proc/716854/stat : 716854 (Exact) R 716851 716854 709774 0 -1 4194304 25632 0 0 0 15 4 0 0 20 0 1 0 140485647 135868416 27280 134679101440 4194304 8309489 140720345817024 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 24985600 140720345822117 140720345822286 140720345822286 140720345829327 0
/proc/716854/statm: 33171 27280 884 1005 0 31934 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 132684 KiB
Current children cumulated memory: 109120 KiB
[startup+0.305574 s]*
/proc/loadavg: 4.15 4.11 4.09 5/256 716855
/proc/meminfo: memFree=118114740/131524600 swapFree=131071996/131071996
[pid=716854] ppid=716851 vsize=162332 memory=136532 CPUtime=0.3 cores=5,7
/proc/716854/stat : 716854 (Exact) R 716851 716854 709774 0 -1 4194304 30652 0 0 0 25 5 0 0 20 0 1 0 140485647 166227968 34133 134679101440 4194304 8309489 140720345817024 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 24985600 140720345822117 140720345822286 140720345822286 140720345829327 0
/proc/716854/statm: 40583 34133 916 1005 0 39346 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 162332 KiB
Current children cumulated memory: 136532 KiB
[startup+0.700234 s]
/proc/loadavg: 4.15 4.11 4.09 5/256 716855
/proc/meminfo: memFree=118074308/131524600 swapFree=131071996/131071996
[pid=716854] ppid=716851 vsize=289612 memory=266900 CPUtime=0.69 cores=5,7
/proc/716854/stat : 716854 (Exact) R 716851 716854 709774 0 -1 4194304 55679 0 0 0 59 10 0 0 20 0 1 0 140485647 296562688 66725 134679101440 4194304 8309489 140720345817024 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 24985600 140720345822117 140720345822286 140720345822286 140720345829327 0
/proc/716854/statm: 72403 66725 1076 1005 0 71166 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 289612 KiB
Current children cumulated memory: 266900 KiB
[startup+1.50023 s]
/proc/loadavg: 4.15 4.11 4.09 7/256 716855
/proc/meminfo: memFree=117944632/131524600 swapFree=131071996/131071996
[pid=716854] ppid=716851 vsize=331692 memory=318068 CPUtime=1.49 cores=5,7
/proc/716854/stat : 716854 (Exact) R 716851 716854 709774 0 -1 4194304 60773 0 0 0 138 11 0 0 20 0 1 0 140485647 339652608 79517 134679101440 4194304 8309489 140720345817024 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 24985600 140720345822117 140720345822286 140720345822286 140720345829327 0
/proc/716854/statm: 82923 79517 1124 1005 0 81686 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 331692 KiB
Current children cumulated memory: 318068 KiB
[startup+3.10535 s]
/proc/loadavg: 4.15 4.11 4.09 5/255 716857
/proc/meminfo: memFree=117925512/131524600 swapFree=131071996/131071996
[pid=716854] ppid=716851 vsize=352240 memory=325908 CPUtime=3.08 cores=5,7
/proc/716854/stat : 716854 (Exact) R 716851 716854 709774 0 -1 4194304 61926 0 0 0 297 11 0 0 20 0 1 0 140485647 360693760 81477 134679101440 4194304 8309489 140720345817024 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 24985600 140720345822117 140720345822286 140720345822286 140720345829327 0
/proc/716854/statm: 88060 81477 1140 1005 0 86823 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 352240 KiB
Current children cumulated memory: 325908 KiB
[startup+6.30016 s]
/proc/loadavg: 4.14 4.11 4.09 5/255 716857
/proc/meminfo: memFree=117904076/131524600 swapFree=131071996/131071996
[pid=716854] ppid=716851 vsize=368544 memory=347580 CPUtime=6.27 cores=5,7
/proc/716854/stat : 716854 (Exact) R 716851 716854 709774 0 -1 4194304 64890 0 0 0 615 12 0 0 20 0 1 0 140485647 377389056 86895 134679101440 4194304 8309489 140720345817024 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 24985600 140720345822117 140720345822286 140720345822286 140720345829327 0
/proc/716854/statm: 92136 86895 1140 1005 0 90899 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 368544 KiB
Current children cumulated memory: 347580 KiB
[startup+12.7002 s]
/proc/loadavg: 4.12 4.11 4.09 5/255 716858
/proc/meminfo: memFree=117882504/131524600 swapFree=131071996/131071996
[pid=716854] ppid=716851 vsize=410664 memory=373896 CPUtime=12.66 cores=5,7
/proc/716854/stat : 716854 (Exact) R 716851 716854 709774 0 -1 4194304 68403 0 0 0 1252 14 0 0 20 0 1 0 140485647 420519936 93474 134679101440 4194304 8309489 140720345817024 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 24985600 140720345822117 140720345822286 140720345822286 140720345829327 0
/proc/716854/statm: 102666 93474 1140 1005 0 101429 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 410664 KiB
Current children cumulated memory: 373896 KiB
[startup+25.5002 s]
/proc/loadavg: 4.10 4.10 4.09 5/255 716860
/proc/meminfo: memFree=117854496/131524600 swapFree=131071996/131071996
[pid=716854] ppid=716851 vsize=451088 memory=393520 CPUtime=25.42 cores=5,7
/proc/716854/stat : 716854 (Exact) R 716851 716854 709774 0 -1 4194304 69745 0 0 0 2526 16 0 0 20 0 1 0 140485647 461914112 98380 134679101440 4194304 8309489 140720345817024 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 24985600 140720345822117 140720345822286 140720345822286 140720345829327 0
/proc/716854/statm: 112772 98380 1140 1005 0 111535 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 451088 KiB
Current children cumulated memory: 393520 KiB
[startup+51.1053 s]
/proc/loadavg: 4.18 4.13 4.10 7/255 716863
/proc/meminfo: memFree=117765852/131524600 swapFree=131071996/131071996
[pid=716854] ppid=716851 vsize=509196 memory=481584 CPUtime=50.96 cores=5,7
/proc/716854/stat : 716854 (Exact) R 716851 716854 709774 0 -1 4194304 82706 0 0 0 5076 20 0 0 20 0 1 0 140485647 521416704 120396 134679101440 4194304 8309489 140720345817024 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 24985600 140720345822117 140720345822286 140720345822286 140720345829327 0
/proc/716854/statm: 127299 120396 1140 1005 0 126062 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 509196 KiB
Current children cumulated memory: 481584 KiB
[startup+102.3 s]
/proc/loadavg: 4.12 4.12 4.09 5/255 716874
/proc/meminfo: memFree=117695716/131524600 swapFree=131071996/131071996
[pid=716854] ppid=716851 vsize=600540 memory=542540 CPUtime=102.03 cores=5,7
/proc/716854/stat : 716854 (Exact) R 716851 716854 709774 0 -1 4194304 88551 0 0 0 10177 26 0 0 20 0 1 0 140485647 614952960 135635 134679101440 4194304 8309489 140720345817024 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 24985600 140720345822117 140720345822286 140720345822286 140720345829327 0
/proc/716854/statm: 150135 135635 1140 1005 0 148898 0
Current children cumulated CPU time: 102.03 s
Current children cumulated vsize: 600540 KiB
Current children cumulated memory: 542540 KiB
[startup+162.3 s]
/proc/loadavg: 4.15 4.13 4.09 5/254 716884
/proc/meminfo: memFree=117685028/131524600 swapFree=131071996/131071996
[pid=716854] ppid=716851 vsize=618216 memory=558024 CPUtime=161.88 cores=5,7
/proc/716854/stat : 716854 (Exact) R 716851 716854 709774 0 -1 4194304 90996 0 0 0 16160 28 0 0 20 0 1 0 140485647 633053184 139506 134679101440 4194304 8309489 140720345817024 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 24985600 140720345822117 140720345822286 140720345822286 140720345829327 0
/proc/716854/statm: 154554 139506 1140 1005 0 153317 0
Current children cumulated CPU time: 161.88 s
Current children cumulated vsize: 618216 KiB
Current children cumulated memory: 558024 KiB
[startup+222.3 s]
/proc/loadavg: 4.19 4.13 4.10 5/254 716894
/proc/meminfo: memFree=117640104/131524600 swapFree=131071996/131071996
[pid=716854] ppid=716851 vsize=636636 memory=576148 CPUtime=221.73 cores=5,7
/proc/716854/stat : 716854 (Exact) R 716851 716854 709774 0 -1 4194304 94608 0 0 0 22143 30 0 0 20 0 1 0 140485647 651915264 144037 134679101440 4194304 8309489 140720345817024 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 24985600 140720345822117 140720345822286 140720345822286 140720345829327 0
/proc/716854/statm: 159159 144037 1140 1005 0 157922 0
Current children cumulated CPU time: 221.73 s
Current children cumulated vsize: 636636 KiB
Current children cumulated memory: 576148 KiB
[startup+282.3 s]
/proc/loadavg: 4.19 4.14 4.10 5/256 716957
/proc/meminfo: memFree=119073280/131524600 swapFree=131071996/131071996
[pid=716854] ppid=716851 vsize=640076 memory=576416 CPUtime=281.59 cores=5,7
/proc/716854/stat : 716854 (Exact) R 716851 716854 709774 0 -1 4194304 94786 0 0 0 28127 32 0 0 20 0 1 0 140485647 655437824 144104 134679101440 4194304 8309489 140720345817024 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 24985600 140720345822117 140720345822286 140720345822286 140720345829327 0
/proc/716854/statm: 160019 144104 1140 1005 0 158782 0
Current children cumulated CPU time: 281.59 s
Current children cumulated vsize: 640076 KiB
Current children cumulated memory: 576416 KiB
[startup+342.3 s]
/proc/loadavg: 4.13 4.13 4.09 5/257 716968
/proc/meminfo: memFree=118812616/131524600 swapFree=131071996/131071996
[pid=716854] ppid=716851 vsize=655844 memory=592776 CPUtime=341.44 cores=5,7
/proc/716854/stat : 716854 (Exact) R 716851 716854 709774 0 -1 4194304 97444 0 0 0 34110 34 0 0 20 0 1 0 140485647 671584256 148194 134679101440 4194304 8309489 140720345817024 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 24985600 140720345822117 140720345822286 140720345822286 140720345829327 0
/proc/716854/statm: 163961 148194 1140 1005 0 162724 0
Current children cumulated CPU time: 341.44 s
Current children cumulated vsize: 655844 KiB
Current children cumulated memory: 592776 KiB
[startup+402.3 s]
/proc/loadavg: 4.43 4.21 4.12 5/257 716979
/proc/meminfo: memFree=118497648/131524600 swapFree=131071996/131071996
[pid=716854] ppid=716851 vsize=688872 memory=637752 CPUtime=401.3 cores=5,7
/proc/716854/stat : 716854 (Exact) R 716851 716854 709774 0 -1 4194304 103183 0 0 0 40093 37 0 0 20 0 1 0 140485647 705404928 159438 134679101440 4194304 8309489 140720345817024 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 24985600 140720345822117 140720345822286 140720345822286 140720345829327 0
/proc/716854/statm: 172218 159438 1140 1005 0 170981 0
Current children cumulated CPU time: 401.3 s
Current children cumulated vsize: 688872 KiB
Current children cumulated memory: 637752 KiB
[startup+462.3 s]
/proc/loadavg: 4.28 4.20 4.12 5/257 716989
/proc/meminfo: memFree=118171252/131524600 swapFree=131071996/131071996
[pid=716854] ppid=716851 vsize=720376 memory=673904 CPUtime=461.14 cores=5,7
/proc/716854/stat : 716854 (Exact) R 716851 716854 709774 0 -1 4194304 111311 0 0 0 46075 39 0 0 20 0 1 0 140485647 737665024 168476 134679101440 4194304 8309489 140720345817024 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 24985600 140720345822117 140720345822286 140720345822286 140720345829327 0
/proc/716854/statm: 180094 168476 1140 1005 0 178857 0
Current children cumulated CPU time: 461.14 s
################
# More data... #
################
Current children cumulated memory: 874132 KiB
[startup+2922.3 s]
/proc/loadavg: 2.18 2.53 3.18 3/244 718114
/proc/meminfo: memFree=126166184/131524600 swapFree=131071996/131071996
[pid=716854] ppid=716851 vsize=986728 memory=876848 CPUtime=2915.14 cores=5,7
/proc/716854/stat : 716854 (Exact) R 716851 716854 709774 0 -1 4194304 143531 0 0 0 291390 124 0 0 20 0 1 0 140485647 1010409472 219212 134679101440 4194304 8309489 140720345817024 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 24985600 140720345822117 140720345822286 140720345822286 140720345829327 0
/proc/716854/statm: 246682 219212 1140 1005 0 245445 0
Current children cumulated CPU time: 2915.14 s
Current children cumulated vsize: 986728 KiB
Current children cumulated memory: 876848 KiB
[startup+2982.3 s]
/proc/loadavg: 2.11 2.45 3.11 3/242 718507
/proc/meminfo: memFree=126160076/131524600 swapFree=131071996/131071996
[pid=716854] ppid=716851 vsize=986728 memory=877608 CPUtime=2975.01 cores=5,7
/proc/716854/stat : 716854 (Exact) R 716851 716854 709774 0 -1 4194304 143872 0 0 0 297374 127 0 0 20 0 1 0 140485647 1010409472 219402 134679101440 4194304 8309489 140720345817024 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 24985600 140720345822117 140720345822286 140720345822286 140720345829327 0
/proc/716854/statm: 246682 219402 1140 1005 0 245445 0
Current children cumulated CPU time: 2975.01 s
Current children cumulated vsize: 986728 KiB
Current children cumulated memory: 877608 KiB
[startup+3042.3 s]
/proc/loadavg: 2.16 2.39 3.05 3/242 718517
/proc/meminfo: memFree=126158888/131524600 swapFree=131071996/131071996
[pid=716854] ppid=716851 vsize=987020 memory=877620 CPUtime=3034.9 cores=5,7
/proc/716854/stat : 716854 (Exact) R 716851 716854 709774 0 -1 4194304 144211 0 0 0 303361 129 0 0 20 0 1 0 140485647 1010708480 219405 134679101440 4194304 8309489 140720345817024 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 24985600 140720345822117 140720345822286 140720345822286 140720345829327 0
/proc/716854/statm: 246755 219405 1140 1005 0 245518 0
Current children cumulated CPU time: 3034.9 s
Current children cumulated vsize: 987020 KiB
Current children cumulated memory: 877620 KiB
[startup+3102.3 s]
/proc/loadavg: 2.10 2.33 2.98 3/242 718528
/proc/meminfo: memFree=126157860/131524600 swapFree=131071996/131071996
[pid=716854] ppid=716851 vsize=987412 memory=877628 CPUtime=3094.78 cores=5,7
/proc/716854/stat : 716854 (Exact) R 716851 716854 709774 0 -1 4194304 144601 0 0 0 309348 130 0 0 20 0 1 0 140485647 1011109888 219407 134679101440 4194304 8309489 140720345817024 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 24985600 140720345822117 140720345822286 140720345822286 140720345829327 0
/proc/716854/statm: 246853 219407 1140 1005 0 245616 0
Current children cumulated CPU time: 3094.78 s
Current children cumulated vsize: 987412 KiB
Current children cumulated memory: 877628 KiB
[startup+3162.3 s]
/proc/loadavg: 2.08 2.29 2.93 3/245 718709
/proc/meminfo: memFree=126146880/131524600 swapFree=131071996/131071996
[pid=716854] ppid=716851 vsize=996716 memory=887840 CPUtime=3154.65 cores=5,7
/proc/716854/stat : 716854 (Exact) R 716851 716854 709774 0 -1 4194304 147004 0 0 0 315333 132 0 0 20 0 1 0 140485647 1020637184 221960 134679101440 4194304 8309489 140720345817024 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 24985600 140720345822117 140720345822286 140720345822286 140720345829327 0
/proc/716854/statm: 249179 221960 1140 1005 0 247942 0
Current children cumulated CPU time: 3154.65 s
Current children cumulated vsize: 996716 KiB
Current children cumulated memory: 887840 KiB
[startup+3222.3 s]
/proc/loadavg: 2.13 2.26 2.88 3/245 718719
/proc/meminfo: memFree=126127264/131524600 swapFree=131071996/131071996
[pid=716854] ppid=716851 vsize=996716 memory=888884 CPUtime=3214.5 cores=5,7
/proc/716854/stat : 716854 (Exact) R 716851 716854 709774 0 -1 4194304 147368 0 0 0 321316 134 0 0 20 0 1 0 140485647 1020637184 222221 134679101440 4194304 8309489 140720345817024 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 24985600 140720345822117 140720345822286 140720345822286 140720345829327 0
/proc/716854/statm: 249179 222221 1140 1005 0 247942 0
Current children cumulated CPU time: 3214.5 s
Current children cumulated vsize: 996716 KiB
Current children cumulated memory: 888884 KiB
[startup+3282.3 s]
/proc/loadavg: 2.10 2.23 2.82 3/245 718733
/proc/meminfo: memFree=126124584/131524600 swapFree=131071996/131071996
[pid=716854] ppid=716851 vsize=997004 memory=888892 CPUtime=3274.34 cores=5,7
/proc/716854/stat : 716854 (Exact) R 716851 716854 709774 0 -1 4194304 147735 0 0 0 327299 135 0 0 20 0 1 0 140485647 1020932096 222223 134679101440 4194304 8309489 140720345817024 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 24985600 140720345822117 140720345822286 140720345822286 140720345829327 0
/proc/716854/statm: 249251 222223 1140 1005 0 248014 0
Current children cumulated CPU time: 3274.34 s
Current children cumulated vsize: 997004 KiB
Current children cumulated memory: 888892 KiB
[startup+3342.3 s]
/proc/loadavg: 2.11 2.20 2.78 3/245 718754
/proc/meminfo: memFree=126118660/131524600 swapFree=131071996/131071996
[pid=716854] ppid=716851 vsize=997004 memory=888892 CPUtime=3334.18 cores=5,7
/proc/716854/stat : 716854 (Exact) R 716851 716854 709774 0 -1 4194304 148085 0 0 0 333282 136 0 0 20 0 1 0 140485647 1020932096 222223 134679101440 4194304 8309489 140720345817024 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 24985600 140720345822117 140720345822286 140720345822286 140720345829327 0
/proc/716854/statm: 249251 222223 1140 1005 0 248014 0
Current children cumulated CPU time: 3334.18 s
Current children cumulated vsize: 997004 KiB
Current children cumulated memory: 888892 KiB
[startup+3402.3 s]
/proc/loadavg: 2.10 2.18 2.73 3/245 718765
/proc/meminfo: memFree=126117200/131524600 swapFree=131071996/131071996
[pid=716854] ppid=716851 vsize=997004 memory=888896 CPUtime=3394.03 cores=5,7
/proc/716854/stat : 716854 (Exact) R 716851 716854 709774 0 -1 4194304 148450 0 0 0 339266 137 0 0 20 0 1 0 140485647 1020932096 222224 134679101440 4194304 8309489 140720345817024 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 24985600 140720345822117 140720345822286 140720345822286 140720345829327 0
/proc/716854/statm: 249251 222224 1140 1005 0 248014 0
Current children cumulated CPU time: 3394.03 s
Current children cumulated vsize: 997004 KiB
Current children cumulated memory: 888896 KiB
[startup+3462.3 s]
/proc/loadavg: 2.08 2.16 2.69 3/243 718775
/proc/meminfo: memFree=126103568/131524600 swapFree=131071996/131071996
[pid=716854] ppid=716851 vsize=1008080 memory=896152 CPUtime=3453.87 cores=5,7
/proc/716854/stat : 716854 (Exact) R 716851 716854 709774 0 -1 4194304 150176 0 0 0 345247 140 0 0 20 0 1 0 140485647 1032273920 224038 134679101440 4194304 8309489 140720345817024 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 24985600 140720345822117 140720345822286 140720345822286 140720345829327 0
/proc/716854/statm: 252020 224038 1140 1005 0 250783 0
Current children cumulated CPU time: 3453.87 s
Current children cumulated vsize: 1008080 KiB
Current children cumulated memory: 896152 KiB
[startup+3522.3 s]
/proc/loadavg: 2.14 2.16 2.65 3/243 718786
/proc/meminfo: memFree=126097296/131524600 swapFree=131071996/131071996
[pid=716854] ppid=716851 vsize=1008340 memory=901152 CPUtime=3513.69 cores=5,7
/proc/716854/stat : 716854 (Exact) R 716851 716854 709774 0 -1 4194304 151255 0 0 0 351227 142 0 0 20 0 1 0 140485647 1032540160 225288 134679101440 4194304 8309489 140720345817024 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 24985600 140720345822117 140720345822286 140720345822286 140720345829327 0
/proc/716854/statm: 252085 225288 1140 1005 0 250848 0
Current children cumulated CPU time: 3513.69 s
Current children cumulated vsize: 1008340 KiB
Current children cumulated memory: 901152 KiB
[startup+3582.3 s]
/proc/loadavg: 2.10 2.14 2.61 3/241 718796
/proc/meminfo: memFree=126096144/131524600 swapFree=131071996/131071996
[pid=716854] ppid=716851 vsize=1008988 memory=901164 CPUtime=3573.52 cores=5,7
/proc/716854/stat : 716854 (Exact) R 716851 716854 709774 0 -1 4194304 151617 0 0 0 357207 145 0 0 20 0 1 0 140485647 1033203712 225291 134679101440 4194304 8309489 140720345817024 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 24985600 140720345822117 140720345822286 140720345822286 140720345829327 0
/proc/716854/statm: 252247 225291 1140 1005 0 251010 0
Current children cumulated CPU time: 3573.52 s
Current children cumulated vsize: 1008988 KiB
Current children cumulated memory: 901164 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3608.9 s]
/proc/loadavg: 2.13 2.14 2.60 3/241 718799
/proc/meminfo: memFree=126088532/131524600 swapFree=131071996/131071996
[pid=716854] ppid=716851 vsize=1008988 memory=901168 CPUtime=3600.04 cores=5,7
/proc/716854/stat : 716854 (Exact) R 716851 716854 709774 0 -1 4194304 151726 0 0 0 359859 145 0 0 20 0 1 0 140485647 1033203712 225292 134679101440 4194304 8309489 140720345817024 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 24985600 140720345822117 140720345822286 140720345822286 140720345829327 0
/proc/716854/statm: 252247 225292 1140 1005 0 251010 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 1008988 KiB
Current children cumulated memory: 901168 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3608.97 s]
# the end of solver process 716854 was just reported to runsolver
# Child status: 10
# cumulated CPU time of all completed processes: user=3598.66 s, system=1.46247 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3608.9 s]
/proc/loadavg: 2.13 2.14 2.60 3/241 718799
/proc/meminfo: memFree=126088532/131524600 swapFree=131071996/131071996
[pid=716854] ppid=716851 vsize=1008988 memory=901168 CPUtime=3600.04 cores=5,7
/proc/716854/stat : 716854 (Exact) R 716851 716854 709774 0 -1 4194304 151726 0 0 0 359859 145 0 0 20 0 1 0 140485647 1033203712 225292 134679101440 4194304 8309489 140720345817024 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 24985600 140720345822117 140720345822286 140720345822286 140720345829327 0
/proc/716854/statm: 252247 225292 1140 1005 0 251010 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 1008988 KiB
Current children cumulated memory: 901168 KiB
Child status: 10
Real time (s): 3608.97
CPU time (s): 3600.12
CPU user time (s): 3598.66
CPU system time (s): 1.46247
CPU usage (%): 99.7549
Max. virtual memory (cumulated for all children) (KiB): 1126412
Max. memory (cumulated for all children) (KiB): 901168
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.66
system time used= 1.46247
maximum resident set size= 989940
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 151737
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= 62
involuntary context switches= 2011
# summary of solver processes directly reported to runsolver:
# pid: 716854
# total CPU time (s): 3600.12
# total CPU user time (s): 3598.66
# total CPU system time (s): 1.46247
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.5563 second user time and 15.3908 second system time
The end
Begin job on nodeC035 at 2024-07-13 17:06:00 IDJOB=4425736 IDBENCH=143881 IDSOLVER=3040 FILE ID=nodeC035/4425736-1720883148 RUNJOBID= nodeC035-1720877976-712353 SLURM_JOB_ID= 7483776 Free space on /tmp= 890044 MiB SOLVER NAME= Exact 2024-07-05 BENCH NAME= PB24/WBO/PARTIAL-LIN/wcsp/celar/normalized-celar7-sub4-22_wcsp.wbo COMMAND LINE= HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=RANDOMSEED BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4425736-1720883148/watcher-4425736-1720883148 -o /tmp/evaluation-result-4425736-1720883148/solver-4425736-1720883148 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC035-1720877976-712353 --watchdog 3760 HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=197818886 HOME/instance-4425736-1720883148.wbo TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= d7d01ec0794d07991a9972239b49c230 RANDOM SEED=197818886 nodeC035.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3667.143 cache size : 15360 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 20 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 pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.65 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3674.182 cache size : 15360 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 20 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 pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7005.79 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3600.082 cache size : 15360 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 20 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 pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.65 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3600.354 cache size : 15360 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 20 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 pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7005.79 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3667.186 cache size : 15360 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 20 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 pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.65 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3668.513 cache size : 15360 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 20 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 pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7005.79 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3600.073 cache size : 15360 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 20 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 pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.65 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3656.061 cache size : 15360 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 20 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 pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7005.79 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131524600 kB MemFree: 118248956 kB MemAvailable: 118480356 kB Buffers: 320496 kB Cached: 754380 kB SwapCached: 0 kB Active: 503040 kB Inactive: 12186140 kB Active(anon): 1560 kB Inactive(anon): 11650180 kB Active(file): 501480 kB Inactive(file): 535960 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071996 kB Dirty: 8332 kB Writeback: 0 kB AnonPages: 11606036 kB Mapped: 115836 kB Shmem: 37720 kB KReclaimable: 67564 kB Slab: 165452 kB SReclaimable: 67564 kB SUnreclaim: 97888 kB KernelStack: 4124 kB PageTables: 32664 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196834296 kB Committed_AS: 14181652 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 56000 kB HardwareCorrupted: 0 kB AnonHugePages: 7069696 kB ShmemHugePages: 0 kB ShmemPmdMapped: 0 kB FileHugePages: 0 kB FilePmdMapped: 0 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB Hugetlb: 0 kB DirectMap4k: 174804 kB DirectMap2M: 7987200 kB DirectMap1G: 127926272 kB Free space on /tmp at the end= 890068 MiB End job on nodeC035 at 2024-07-13 18:06:10