Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| Exact_veripb2_no_SoPlex 2024-07-05 | SAT (TO) | 3 | 3600.02 | 3625.93 |
| Name | PB24/normalized-PB06/OPT-LIN/submitted-PB06/ manquiho/market-split/normalized-opt-market-split_5_40_1.opb |
| MD5SUM | 31fd86554dd2fe3e1cfc98032a9196a9 |
| Bench Category | OPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 0 |
| Best CPU time to get the best result obtained on this benchmark | 602.754 |
| Has Objective Function | YES |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 120 |
| Total number of constraints | 10 |
| Number of constraints which are clauses | 0 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 10 |
| Minimum length of a constraint | 55 |
| Maximum length of a constraint | 56 |
| Number of terms in the objective function | 80 |
| Biggest coefficient in the objective function | 128 |
| Number of bits for the biggest coefficient in the objective function | 8 |
| Sum of the numbers in the objective function | 2550 |
| Number of bits of the sum of numbers in the objective function | 12 |
| Biggest number in a constraint | 1086 |
| Number of bits of the biggest number in a constraint | 11 |
| Biggest sum of numbers in a constraint | 3768 |
| Number of bits of the biggest sum of numbers | 12 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.02 o 720 0.68/0.78 o 718 0.68/0.78 o 716 0.68/0.78 o 714 0.68/0.78 o 712 0.68/0.78 o 710 0.68/0.79 o 708 0.68/0.79 o 706 0.68/0.79 o 704 0.88/0.93 o 703 0.88/0.93 o 701 1.09/1.16 o 699 1.09/1.17 o 695 1.09/1.17 o 693 1.09/1.17 o 691 1.09/1.17 o 687 1.18/1.20 o 685 1.18/1.20 o 683 1.18/1.20 o 681 1.18/1.29 o 679 2.18/2.24 o 675 2.18/2.24 o 671 2.18/2.25 o 667 2.68/2.74 o 663 2.68/2.74 o 623 2.68/2.75 o 621 2.68/2.75 o 615 2.68/2.75 o 613 2.68/2.77 o 607 2.68/2.78 o 589 2.68/2.78 o 583 2.68/2.78 o 581 2.78/2.80 o 577 2.78/2.80 o 573 2.78/2.87 o 569 2.78/2.88 o 567 2.88/2.91 o 565 2.88/2.94 o 563 2.99/3.01 o 561 2.99/3.01 o 433 2.99/3.04 o 425 2.99/3.04 o 423 3.98/4.08 o 421 3.98/4.08 o 419 4.08/4.17 o 417 4.08/4.17 o 415 4.08/4.17 o 405 4.17/4.20 o 403 4.17/4.20 o 393 4.17/4.21 o 391 4.17/4.21 o 387 4.17/4.21 o 383 4.17/4.23 o 381 4.17/4.23 o 373 4.17/4.28 o 327 4.17/4.28 o 323 4.17/4.28 o 321 4.17/4.28 o 317 4.17/4.28 o 315 4.27/4.32 o 311 4.27/4.32 o 303 4.27/4.35 o 287 4.27/4.35 o 283 4.37/4.41 o 281 4.37/4.43 o 276 4.37/4.43 o 274 4.47/4.55 o 272 4.47/4.55 o 268 4.47/4.55 o 266 4.47/4.58 o 264 4.77/4.84 o 262 4.77/4.85 o 259 4.77/4.85 o 257 4.77/4.85 o 253 5.66/5.74 o 252 6.16/6.27 o 250 6.16/6.27 o 248 6.16/6.28 o 246 6.16/6.28 o 244 6.16/6.28 o 242 6.56/6.67 o 236 8.55/8.67 o 234 8.55/8.67 o 202 8.66/8.70 o 200 8.66/8.71 o 199 8.66/8.71 o 197 8.66/8.71 o 189 8.66/8.77 o 187 8.66/8.77 o 185 8.66/8.77 o 177 8.76/8.89 o 173 8.86/8.94 o 172 8.86/8.94 o 164 9.15/9.23 o 156 9.15/9.23 o 154 9.15/9.23 o 152 9.15/9.23 o 150 9.75/9.84 o 146 9.75/9.85 o 130 9.75/9.85 o 122 9.75/9.87 o 120 9.85/9.92 o 118 9.96/10.01 o 116 9.96/10.01 o 114 9.96/10.05 o 112 9.96/10.08 o 108 9.96/10.09 o 104 9.96/10.09 o 100 9.96/10.10 o 99 9.96/10.11 o 95 10.06/10.17 o 91 10.06/10.17 o 89 10.06/10.19 o 87 10.06/10.19 o 85 10.25/10.33 o 77 10.25/10.36 o 75 10.35/10.43 o 74 10.35/10.43 o 72 10.45/10.50 o 70 11.06/11.19 o 68 11.15/11.21 o 66 11.15/11.21 o 64 11.15/11.22 o 62 11.15/11.25 o 60 11.15/11.25 o 52 11.25/11.32 o 50 11.25/11.36 o 48 11.25/11.37 o 46 11.25/11.38 o 44 11.35/11.43 o 41 11.35/11.43 o 37 11.35/11.43 o 35 11.65/11.75 o 31 11.75/11.80 o 29 11.75/11.80 o 27 11.96/12.04 o 25 14.84/14.93 o 21 18.94/19.09 o 13 20.32/20.47 o 12 28.40/28.59 o 7 39.90/40.48 o 6 39.90/40.48 o 4 1189.63/1204.69 o 3 3600.00/3625.90 c Program interrupted by user. 3600.00/3625.90 s SATISFIABLE 3600.00/3625.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
OK 3
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: 64096 MiB (60760 MiB free)
memory of node 1: 64473 MiB (59426 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4440739-1721759661/watcher-4440739-1721759661 -o /tmp/evaluation-result-4440739-1721759661/solver-4440739-1721759661 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC004-1721752156-107285 --watchdog 3760 HOME/Exact_veripb2_nosoplex --print-uniform=0 --verbosity=0 --print-sol --proof-assumptions=0 --proof-log=PROOFDIR/proof-4440739-1721759661 --seed=1849755342 HOME/instance-4440739-1721759661.opb
running on 2 cores: 0,2
CPU governors:
performance: 0 2
Enforcing FSIZE limit: 104857600 KiB
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
solver pid=112108, runsolver pid=112105
Current StackSize limit: 8192 KiB
[startup+0.100083 s]*
/proc/loadavg: 4.31 4.30 4.23 5/255 112109
/proc/meminfo: memFree=123066664/131655788 swapFree=131071996/131071996
[pid=112108] ppid=112105 vsize=25736 memory=4004 CPUtime=0.1 cores=0,2
/proc/112108/stat : 112108 (Exact_veripb2_n) R 112105 112108 107275 0 -1 4194304 305 0 0 0 10 0 0 0 20 0 1 0 11955058 26353664 1001 134679101440 4194304 7250417 140730116751792 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7950792 8015128 13312000 140730116756278 140730116756567 140730116756567 140730116763582 0
/proc/112108/statm: 6434 1001 850 747 0 5497 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 25736 KiB
Current children cumulated memory: 4004 KiB
[startup+0.211425 s]*
/proc/loadavg: 4.31 4.30 4.23 6/255 112109
/proc/meminfo: memFree=123060940/131655788 swapFree=131071996/131071996
[pid=112108] ppid=112105 vsize=26048 memory=4264 CPUtime=0.21 cores=0,2
/proc/112108/stat : 112108 (Exact_veripb2_n) R 112105 112108 107275 0 -1 4194304 376 0 0 0 21 0 0 0 20 0 1 0 11955058 26673152 1066 134679101440 4194304 7250417 140730116751792 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7950792 8015128 13312000 140730116756278 140730116756567 140730116756567 140730116763582 0
/proc/112108/statm: 6512 1066 850 747 0 5575 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 26048 KiB
Current children cumulated memory: 4264 KiB
[startup+0.310582 s]*
/proc/loadavg: 4.31 4.30 4.23 5/255 112109
/proc/meminfo: memFree=123057868/131655788 swapFree=131071996/131071996
[pid=112108] ppid=112105 vsize=26048 memory=4528 CPUtime=0.31 cores=0,2
/proc/112108/stat : 112108 (Exact_veripb2_n) R 112105 112108 107275 0 -1 4194304 399 0 0 0 31 0 0 0 20 0 1 0 11955058 26673152 1132 134679101440 4194304 7250417 140730116751792 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7950792 8015128 13312000 140730116756278 140730116756567 140730116756567 140730116763582 0
/proc/112108/statm: 6512 1132 850 747 0 5575 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 26048 KiB
Current children cumulated memory: 4528 KiB
[startup+0.700258 s]
/proc/loadavg: 4.31 4.30 4.23 6/255 112109
/proc/meminfo: memFree=123051820/131655788 swapFree=131071996/131071996
[pid=112108] ppid=112105 vsize=26160 memory=4820 CPUtime=0.68 cores=0,2
/proc/112108/stat : 112108 (Exact_veripb2_n) R 112105 112108 107275 0 -1 4194304 515 0 0 0 68 0 0 0 20 0 1 0 11955058 26787840 1205 134679101440 4194304 7250417 140730116751792 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7950792 8015128 13312000 140730116756278 140730116756567 140730116756567 140730116763582 0
/proc/112108/statm: 6540 1205 850 747 0 5603 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 26160 KiB
Current children cumulated memory: 4820 KiB
[startup+1.50024 s]
/proc/loadavg: 4.31 4.30 4.23 4/255 112109
/proc/meminfo: memFree=123034140/131655788 swapFree=131071996/131071996
[pid=112108] ppid=112105 vsize=26716 memory=8152 CPUtime=1.47 cores=0,2
/proc/112108/stat : 112108 (Exact_veripb2_n) R 112105 112108 107275 0 -1 4194304 802 0 0 0 146 1 0 0 20 0 1 0 11955058 27357184 2038 134679101440 4194304 7250417 140730116751792 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7950792 8015128 13312000 140730116756278 140730116756567 140730116756567 140730116763582 0
/proc/112108/statm: 6679 2038 850 747 0 5742 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 26716 KiB
Current children cumulated memory: 8152 KiB
[startup+3.11376 s]
/proc/loadavg: 4.31 4.30 4.23 5/257 112113
/proc/meminfo: memFree=122987592/131655788 swapFree=131071996/131071996
[pid=112108] ppid=112105 vsize=27828 memory=11116 CPUtime=3.09 cores=0,2
/proc/112108/stat : 112108 (Exact_veripb2_n) R 112105 112108 107275 0 -1 4194304 1050 0 0 0 306 3 0 0 20 0 1 0 11955058 28495872 2779 134679101440 4194304 7250417 140730116751792 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7950792 8015128 13312000 140730116756278 140730116756567 140730116756567 140730116763582 0
/proc/112108/statm: 6957 2779 850 747 0 6020 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 27828 KiB
Current children cumulated memory: 11116 KiB
[startup+6.30026 s]
/proc/loadavg: 4.36 4.31 4.23 5/257 112113
/proc/meminfo: memFree=122891428/131655788 swapFree=131071996/131071996
[pid=112108] ppid=112105 vsize=29156 memory=14552 CPUtime=6.26 cores=0,2
/proc/112108/stat : 112108 (Exact_veripb2_n) R 112105 112108 107275 0 -1 4194304 1429 0 0 0 621 5 0 0 20 0 1 0 11955058 29855744 3638 134679101440 4194304 7250417 140730116751792 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7950792 8015128 13312000 140730116756278 140730116756567 140730116756567 140730116763582 0
/proc/112108/statm: 7289 3638 850 747 0 6352 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 29156 KiB
Current children cumulated memory: 14552 KiB
[startup+12.7002 s]
/proc/loadavg: 4.33 4.30 4.23 5/257 112113
/proc/meminfo: memFree=122685340/131655788 swapFree=131071996/131071996
[pid=112108] ppid=112105 vsize=29972 memory=17336 CPUtime=12.64 cores=0,2
/proc/112108/stat : 112108 (Exact_veripb2_n) R 112105 112108 107275 0 -1 4194304 1667 0 0 0 1253 11 0 0 20 0 1 0 11955058 30691328 4334 134679101440 4194304 7250417 140730116751792 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7950792 8015128 13312000 140730116756278 140730116756567 140730116756567 140730116763582 0
/proc/112108/statm: 7493 4334 850 747 0 6556 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 29972 KiB
Current children cumulated memory: 17336 KiB
[startup+25.5003 s]
/proc/loadavg: 4.26 4.29 4.23 5/251 112116
/proc/meminfo: memFree=122296008/131655788 swapFree=131071996/131071996
[pid=112108] ppid=112105 vsize=30804 memory=18148 CPUtime=25.41 cores=0,2
/proc/112108/stat : 112108 (Exact_veripb2_n) R 112105 112108 107275 0 -1 4194304 2010 0 0 0 2524 17 0 0 20 0 1 0 11955058 31543296 4537 134679101440 4194304 7250417 140730116751792 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7950792 8015128 13312000 140730116756278 140730116756567 140730116756567 140730116763582 0
/proc/112108/statm: 7701 4537 850 747 0 6764 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 30804 KiB
Current children cumulated memory: 18148 KiB
[startup+51.1134 s]
/proc/loadavg: 4.25 4.28 4.23 5/251 112120
/proc/meminfo: memFree=121548844/131655788 swapFree=131071996/131071996
[pid=112108] ppid=112105 vsize=31444 memory=18760 CPUtime=50.59 cores=0,2
/proc/112108/stat : 112108 (Exact_veripb2_n) R 112105 112108 107275 0 -1 4194304 2333 0 0 0 5036 23 0 0 20 0 1 0 11955058 32198656 4690 134679101440 4194304 7250417 140730116751792 0 0 0 0 0 8404994 0 0 0 17 0 0 0 35 0 0 7950792 8015128 13312000 140730116756278 140730116756567 140730116756567 140730116763582 0
/proc/112108/statm: 7861 4690 850 747 0 6924 0
Current children cumulated CPU time: 50.59 s
Current children cumulated vsize: 31444 KiB
Current children cumulated memory: 18760 KiB
[startup+102.3 s]
/proc/loadavg: 4.18 4.25 4.22 5/249 112128
/proc/meminfo: memFree=120596820/131655788 swapFree=131071996/131071996
[pid=112108] ppid=112105 vsize=32084 memory=19452 CPUtime=100.3 cores=0,2
/proc/112108/stat : 112108 (Exact_veripb2_n) R 112105 112108 107275 0 -1 4194304 2800 0 0 0 9998 32 0 0 20 0 1 0 11955058 32854016 4863 134679101440 4194304 7250417 140730116751792 0 0 0 0 0 8404994 0 0 0 17 0 0 0 164 0 0 7950792 8015128 13312000 140730116756278 140730116756567 140730116756567 140730116763582 0
/proc/112108/statm: 8021 4863 850 747 0 7084 0
Current children cumulated CPU time: 100.3 s
Current children cumulated vsize: 32084 KiB
Current children cumulated memory: 19452 KiB
[startup+162.3 s]
/proc/loadavg: 4.12 4.22 4.21 5/246 112167
/proc/meminfo: memFree=119430320/131655788 swapFree=131071996/131071996
[pid=112108] ppid=112105 vsize=32404 memory=19788 CPUtime=159.94 cores=0,2
/proc/112108/stat : 112108 (Exact_veripb2_n) R 112105 112108 107275 0 -1 4194304 3062 0 0 0 15951 43 0 0 20 0 1 0 11955058 33181696 4947 134679101440 4194304 7250417 140730116751792 0 0 0 0 0 8404994 0 0 0 17 0 0 0 181 0 0 7950792 8015128 13312000 140730116756278 140730116756567 140730116756567 140730116763582 0
/proc/112108/statm: 8101 4947 850 747 0 7164 0
Current children cumulated CPU time: 159.94 s
Current children cumulated vsize: 32404 KiB
Current children cumulated memory: 19788 KiB
[startup+222.3 s]
/proc/loadavg: 4.31 4.24 4.21 5/251 112196
/proc/meminfo: memFree=118889772/131655788 swapFree=131071996/131071996
[pid=112108] ppid=112105 vsize=32596 memory=19988 CPUtime=219.49 cores=0,2
/proc/112108/stat : 112108 (Exact_veripb2_n) R 112105 112108 107275 0 -1 4194304 3549 0 0 0 21895 54 0 0 20 0 1 0 11955058 33378304 4997 134679101440 4194304 7250417 140730116751792 0 0 0 0 0 8404994 0 0 0 17 0 0 0 205 0 0 7950792 8015128 13312000 140730116756278 140730116756567 140730116756567 140730116763582 0
/proc/112108/statm: 8149 4997 850 747 0 7212 0
Current children cumulated CPU time: 219.49 s
Current children cumulated vsize: 32596 KiB
Current children cumulated memory: 19988 KiB
[startup+282.3 s]
/proc/loadavg: 4.29 4.24 4.21 5/257 112214
/proc/meminfo: memFree=117095952/131655788 swapFree=131071996/131071996
[pid=112108] ppid=112105 vsize=33004 memory=20260 CPUtime=278.61 cores=0,2
/proc/112108/stat : 112108 (Exact_veripb2_n) R 112105 112108 107275 0 -1 4194304 3973 0 0 0 27798 63 0 0 20 0 1 0 11955058 33796096 5065 134679101440 4194304 7250417 140730116751792 0 0 0 0 0 8404994 0 0 0 17 0 0 0 274 0 0 7950792 8015128 13312000 140730116756278 140730116756567 140730116756567 140730116763582 0
/proc/112108/statm: 8251 5065 850 747 0 7314 0
Current children cumulated CPU time: 278.61 s
Current children cumulated vsize: 33004 KiB
Current children cumulated memory: 20260 KiB
[startup+342.3 s]
/proc/loadavg: 4.15 4.21 4.20 5/257 112226
/proc/meminfo: memFree=115434688/131655788 swapFree=131071996/131071996
[pid=112108] ppid=112105 vsize=32928 memory=20076 CPUtime=338.36 cores=0,2
/proc/112108/stat : 112108 (Exact_veripb2_n) R 112105 112108 107275 0 -1 4194304 4047 0 0 0 33762 74 0 0 20 0 1 0 11955058 33718272 5019 134679101440 4194304 7250417 140730116751792 0 0 0 0 0 8404994 0 0 0 17 0 0 0 281 0 0 7950792 8015128 13312000 140730116756278 140730116756567 140730116756567 140730116763582 0
/proc/112108/statm: 8232 5019 850 747 0 7295 0
Current children cumulated CPU time: 338.36 s
Current children cumulated vsize: 32928 KiB
Current children cumulated memory: 20076 KiB
[startup+402.3 s]
/proc/loadavg: 4.21 4.22 4.20 5/263 112244
/proc/meminfo: memFree=114709232/131655788 swapFree=131071996/131071996
[pid=112108] ppid=112105 vsize=33056 memory=20268 CPUtime=397.99 cores=0,2
/proc/112108/stat : 112108 (Exact_veripb2_n) R 112105 112108 107275 0 -1 4194304 4430 0 0 0 39715 84 0 0 20 0 1 0 11955058 33849344 5067 134679101440 4194304 7250417 140730116751792 0 0 0 0 0 8404994 0 0 0 17 0 0 0 300 0 0 7950792 8015128 13312000 140730116756278 140730116756567 140730116756567 140730116763582 0
/proc/112108/statm: 8264 5067 850 747 0 7327 0
Current children cumulated CPU time: 397.99 s
Current children cumulated vsize: 33056 KiB
Current children cumulated memory: 20268 KiB
[startup+462.3 s]
/proc/loadavg: 4.17 4.20 4.19 5/263 112256
/proc/meminfo: memFree=113974220/131655788 swapFree=131071996/131071996
[pid=112108] ppid=112105 vsize=32852 memory=20276 CPUtime=452.16 cores=0,2
/proc/112108/stat : 112108 (Exact_veripb2_n) R 112105 112108 107275 0 -1 4194304 4764 0 0 0 45124 92 0 0 20 0 1 0 11955058 33640448 5069 134679101440 4194304 7250417 140730116751792 0 0 0 0 0 8404994 0 0 0 17 0 0 0 866 0 0 7950792 8015128 13312000 140730116756278 140730116756567 140730116756567 140730116763582 0
/proc/112108/statm: 8213 5069 850 747 0 7276 0
################
# More data... #
################
Current children cumulated memory: 21352 KiB
[startup+2922.3 s]
/proc/loadavg: 4.15 4.19 4.20 5/259 113305
/proc/meminfo: memFree=74433892/131655788 swapFree=131071996/131071996
[pid=112108] ppid=112105 vsize=33744 memory=21352 CPUtime=2899.76 cores=0,2
/proc/112108/stat : 112108 (Exact_veripb2_n) R 112105 112108 107275 0 -1 4194304 21825 0 0 0 289563 413 0 0 20 0 1 0 11955058 34553856 5338 134679101440 4194304 7250417 140730116751792 0 0 0 0 0 8404994 0 0 0 17 0 0 0 1340 0 0 7950792 8015128 13312000 140730116756278 140730116756567 140730116756567 140730116763582 0
/proc/112108/statm: 8436 5338 850 747 0 7499 0
Current children cumulated CPU time: 2899.76 s
Current children cumulated vsize: 33744 KiB
Current children cumulated memory: 21352 KiB
[startup+2982.3 s]
/proc/loadavg: 4.13 4.18 4.20 5/259 113316
/proc/meminfo: memFree=73774928/131655788 swapFree=131071996/131071996
[pid=112108] ppid=112105 vsize=34280 memory=21612 CPUtime=2959.5 cores=0,2
/proc/112108/stat : 112108 (Exact_veripb2_n) R 112105 112108 107275 0 -1 4194304 22107 0 0 0 295530 420 0 0 20 0 1 0 11955058 35102720 5403 134679101440 4194304 7250417 140730116751792 0 0 0 0 0 8404994 0 0 0 17 0 0 0 1347 0 0 7950792 8015128 13312000 140730116756278 140730116756567 140730116756567 140730116763582 0
/proc/112108/statm: 8570 5403 850 747 0 7633 0
Current children cumulated CPU time: 2959.5 s
Current children cumulated vsize: 34280 KiB
Current children cumulated memory: 21612 KiB
[startup+3042.3 s]
/proc/loadavg: 4.10 4.16 4.19 5/259 113326
/proc/meminfo: memFree=73125812/131655788 swapFree=131071996/131071996
[pid=112108] ppid=112105 vsize=34280 memory=21612 CPUtime=3019.19 cores=0,2
/proc/112108/stat : 112108 (Exact_veripb2_n) R 112105 112108 107275 0 -1 4194304 22113 0 0 0 301492 427 0 0 20 0 1 0 11955058 35102720 5403 134679101440 4194304 7250417 140730116751792 0 0 0 0 0 8404994 0 0 0 17 0 0 0 1360 0 0 7950792 8015128 13312000 140730116756278 140730116756567 140730116756567 140730116763582 0
/proc/112108/statm: 8570 5403 850 747 0 7633 0
Current children cumulated CPU time: 3019.19 s
Current children cumulated vsize: 34280 KiB
Current children cumulated memory: 21612 KiB
[startup+3102.3 s]
/proc/loadavg: 4.37 4.23 4.21 5/256 113722
/proc/meminfo: memFree=71226292/131655788 swapFree=131071996/131071996
[pid=112108] ppid=112105 vsize=34280 memory=21612 CPUtime=3078.9 cores=0,2
/proc/112108/stat : 112108 (Exact_veripb2_n) R 112105 112108 107275 0 -1 4194304 22120 0 0 0 307456 434 0 0 20 0 1 0 11955058 35102720 5403 134679101440 4194304 7250417 140730116751792 0 0 0 0 0 8404994 0 0 0 17 0 0 0 1370 0 0 7950792 8015128 13312000 140730116756278 140730116756567 140730116756567 140730116763582 0
/proc/112108/statm: 8570 5403 850 747 0 7633 0
Current children cumulated CPU time: 3078.9 s
Current children cumulated vsize: 34280 KiB
Current children cumulated memory: 21612 KiB
[startup+3162.3 s]
/proc/loadavg: 4.23 4.22 4.20 5/256 113736
/proc/meminfo: memFree=69878288/131655788 swapFree=131071996/131071996
[pid=112108] ppid=112105 vsize=34280 memory=21804 CPUtime=3138.63 cores=0,2
/proc/112108/stat : 112108 (Exact_veripb2_n) R 112105 112108 107275 0 -1 4194304 22142 0 0 0 313420 443 0 0 20 0 1 0 11955058 35102720 5451 134679101440 4194304 7250417 140730116751792 0 0 0 0 0 8404994 0 0 0 17 0 0 0 1379 0 0 7950792 8015128 13312000 140730116756278 140730116756567 140730116756567 140730116763582 0
/proc/112108/statm: 8570 5451 850 747 0 7633 0
Current children cumulated CPU time: 3138.63 s
Current children cumulated vsize: 34280 KiB
Current children cumulated memory: 21804 KiB
[startup+3222.3 s]
/proc/loadavg: 4.08 4.18 4.18 5/256 113746
/proc/meminfo: memFree=68859048/131655788 swapFree=131071996/131071996
[pid=112108] ppid=112105 vsize=34280 memory=21804 CPUtime=3198.37 cores=0,2
/proc/112108/stat : 112108 (Exact_veripb2_n) R 112105 112108 107275 0 -1 4194304 22148 0 0 0 319388 449 0 0 20 0 1 0 11955058 35102720 5451 134679101440 4194304 7250417 140730116751792 0 0 0 0 0 8404994 0 0 0 17 0 0 0 1387 0 0 7950792 8015128 13312000 140730116756278 140730116756567 140730116756567 140730116763582 0
/proc/112108/statm: 8570 5451 850 747 0 7633 0
Current children cumulated CPU time: 3198.37 s
Current children cumulated vsize: 34280 KiB
Current children cumulated memory: 21804 KiB
[startup+3282.3 s]
/proc/loadavg: 4.17 4.19 4.18 5/259 113927
/proc/meminfo: memFree=67766716/131655788 swapFree=131071996/131071996
[pid=112108] ppid=112105 vsize=34280 memory=21804 CPUtime=3258.12 cores=0,2
/proc/112108/stat : 112108 (Exact_veripb2_n) R 112105 112108 107275 0 -1 4194304 22154 0 0 0 325355 457 0 0 20 0 1 0 11955058 35102720 5451 134679101440 4194304 7250417 140730116751792 0 0 0 0 0 8404994 0 0 0 17 0 0 0 1393 0 0 7950792 8015128 13312000 140730116756278 140730116756567 140730116756567 140730116763582 0
/proc/112108/statm: 8570 5451 850 747 0 7633 0
Current children cumulated CPU time: 3258.12 s
Current children cumulated vsize: 34280 KiB
Current children cumulated memory: 21804 KiB
[startup+3342.3 s]
/proc/loadavg: 4.12 4.17 4.18 5/259 113938
/proc/meminfo: memFree=67150884/131655788 swapFree=131071996/131071996
[pid=112108] ppid=112105 vsize=34280 memory=21804 CPUtime=3317.87 cores=0,2
/proc/112108/stat : 112108 (Exact_veripb2_n) R 112105 112108 107275 0 -1 4194304 22160 0 0 0 331324 463 0 0 20 0 1 0 11955058 35102720 5451 134679101440 4194304 7250417 140730116751792 0 0 0 0 0 8404994 0 0 0 17 0 0 0 1398 0 0 7950792 8015128 13312000 140730116756278 140730116756567 140730116756567 140730116763582 0
/proc/112108/statm: 8570 5451 850 747 0 7633 0
Current children cumulated CPU time: 3317.87 s
Current children cumulated vsize: 34280 KiB
Current children cumulated memory: 21804 KiB
[startup+3402.3 s]
/proc/loadavg: 4.09 4.15 4.17 5/256 114005
/proc/meminfo: memFree=66523008/131655788 swapFree=131071996/131071996
[pid=112108] ppid=112105 vsize=34280 memory=21804 CPUtime=3377.64 cores=0,2
/proc/112108/stat : 112108 (Exact_veripb2_n) R 112105 112108 107275 0 -1 4194304 22167 0 0 0 337293 471 0 0 20 0 1 0 11955058 35102720 5451 134679101440 4194304 7250417 140730116751792 0 0 0 0 0 8404994 0 0 0 17 0 0 0 1403 0 0 7950792 8015128 13312000 140730116756278 140730116756567 140730116756567 140730116763582 0
/proc/112108/statm: 8570 5451 850 747 0 7633 0
Current children cumulated CPU time: 3377.64 s
Current children cumulated vsize: 34280 KiB
Current children cumulated memory: 21804 KiB
[startup+3462.3 s]
/proc/loadavg: 4.59 4.26 4.21 5/256 114018
/proc/meminfo: memFree=65309136/131655788 swapFree=131071996/131071996
[pid=112108] ppid=112105 vsize=34280 memory=21804 CPUtime=3437.35 cores=0,2
/proc/112108/stat : 112108 (Exact_veripb2_n) R 112105 112108 107275 0 -1 4194304 22167 0 0 0 343255 480 0 0 20 0 1 0 11955058 35102720 5451 134679101440 4194304 7250417 140730116751792 0 0 0 0 0 8404994 0 0 0 17 0 0 0 1414 0 0 7950792 8015128 13312000 140730116756278 140730116756567 140730116756567 140730116763582 0
/proc/112108/statm: 8570 5451 850 747 0 7633 0
Current children cumulated CPU time: 3437.35 s
Current children cumulated vsize: 34280 KiB
Current children cumulated memory: 21804 KiB
[startup+3522.3 s]
/proc/loadavg: 4.55 4.33 4.24 5/256 114028
/proc/meminfo: memFree=64726272/131655788 swapFree=131071996/131071996
[pid=112108] ppid=112105 vsize=34000 memory=21612 CPUtime=3497.06 cores=0,2
/proc/112108/stat : 112108 (Exact_veripb2_n) R 112105 112108 107275 0 -1 4194304 22292 0 0 0 349218 488 0 0 20 0 1 0 11955058 34816000 5403 134679101440 4194304 7250417 140730116751792 0 0 0 0 0 8404994 0 0 0 17 0 0 0 1423 0 0 7950792 8015128 13312000 140730116756278 140730116756567 140730116756567 140730116763582 0
/proc/112108/statm: 8500 5403 850 747 0 7563 0
Current children cumulated CPU time: 3497.06 s
Current children cumulated vsize: 34000 KiB
Current children cumulated memory: 21612 KiB
[startup+3582.3 s]
/proc/loadavg: 4.17 4.27 4.22 4/243 114070
/proc/meminfo: memFree=97213244/131655788 swapFree=131071996/131071996
[pid=112108] ppid=112105 vsize=34000 memory=21612 CPUtime=3556.81 cores=0,2
/proc/112108/stat : 112108 (Exact_veripb2_n) R 112105 112108 107275 0 -1 4194304 22733 0 0 0 355186 495 0 0 20 0 1 0 11955058 34816000 5403 134679101440 4194304 7250417 140730116751792 0 0 0 0 0 8404994 0 0 0 17 0 0 0 1429 0 0 7950792 8015128 13312000 140730116756278 140730116756567 140730116756567 140730116763582 0
/proc/112108/statm: 8500 5403 850 747 0 7563 0
Current children cumulated CPU time: 3556.81 s
Current children cumulated vsize: 34000 KiB
Current children cumulated memory: 21612 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3625.9 s]
/proc/loadavg: 3.19 3.99 4.13 3/236 114109
/proc/meminfo: memFree=105270780/131655788 swapFree=131071996/131071996
[pid=112108] ppid=112105 vsize=34000 memory=21612 CPUtime=3600 cores=0,2
/proc/112108/stat : 112108 (Exact_veripb2_n) R 112105 112108 107275 0 -1 4194304 23087 0 0 0 359500 500 0 0 20 0 1 0 11955058 34816000 5403 134679101440 4194304 7250417 140730116751792 0 0 0 0 0 8404994 0 0 0 17 0 0 0 1456 0 0 7950792 8015128 13312000 140730116756278 140730116756567 140730116756567 140730116763582 0
/proc/112108/statm: 8500 5403 850 747 0 7563 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 34000 KiB
Current children cumulated memory: 21612 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3625.93 s]
# the end of solver process 112108 was just reported to runsolver
# Child status: 10
# cumulated CPU time of all completed processes: user=3595 s, system=5.01235 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3625.9 s]
/proc/loadavg: 3.19 3.99 4.13 3/236 114109
/proc/meminfo: memFree=105270780/131655788 swapFree=131071996/131071996
[pid=112108] ppid=112105 vsize=34000 memory=21612 CPUtime=3600 cores=0,2
/proc/112108/stat : 112108 (Exact_veripb2_n) R 112105 112108 107275 0 -1 4194304 23087 0 0 0 359500 500 0 0 20 0 1 0 11955058 34816000 5403 134679101440 4194304 7250417 140730116751792 0 0 0 0 0 8404994 0 0 0 17 0 0 0 1456 0 0 7950792 8015128 13312000 140730116756278 140730116756567 140730116756567 140730116763582 0
/proc/112108/statm: 8500 5403 850 747 0 7563 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 34000 KiB
Current children cumulated memory: 21612 KiB
Child status: 10
Real time (s): 3625.93
CPU time (s): 3600.02
CPU user time (s): 3595
CPU system time (s): 5.01235
CPU usage (%): 99.2854
Max. virtual memory (cumulated for all children) (KiB): 34476
Max. memory (cumulated for all children) (KiB): 21872
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3595
system time used= 5.01235
maximum resident set size= 21924
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 23088
page faults= 0
swaps= 0
block input operations= 0
block output operations= 10541184
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1025
involuntary context switches= 25471
# summary of solver processes directly reported to runsolver:
# pid: 112108
# total CPU time (s): 3600.02
# total CPU user time (s): 3595
# total CPU system time (s): 5.01235
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.004 second user time and 34.1877 second system time
The end
Begin job on nodeC004 at 2024-07-23 20:34:21 IDJOB=4440739 IDBENCH=147580 IDSOLVER=3080 FILE ID=nodeC004/4440739-1721759661 RUNJOBID= nodeC004-1721752156-107285 SLURM_JOB_ID= 7770653 Free space on /tmp= 723740 MiB SOLVER NAME= Exact_veripb2_no_SoPlex 2024-07-05 BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/market-split/normalized-opt-market-split_5_40_1.opb COMMAND LINE= HOME/Exact_veripb2_nosoplex --print-uniform=0 --verbosity=0 --print-sol --proof-assumptions=0 --proof-log=CERTNAME --seed=RANDOMSEED BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4440739-1721759661/watcher-4440739-1721759661 -o /tmp/evaluation-result-4440739-1721759661/solver-4440739-1721759661 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC004-1721752156-107285 --watchdog 3760 HOME/Exact_veripb2_nosoplex --print-uniform=0 --verbosity=0 --print-sol --proof-assumptions=0 --proof-log=PROOFDIR/proof-4440739-1721759661 --seed=1849755342 HOME/instance-4440739-1721759661.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 31fd86554dd2fe3e1cfc98032a9196a9 RANDOM SEED=1849755342 nodeC004.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 : 0xb00001f cpu MHz : 1197.294 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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6984.13 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 : 0xb00001f cpu MHz : 3667.990 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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.36 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 : 0xb00001f cpu MHz : 1596.380 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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6984.13 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 : 0xb00001f cpu MHz : 1197.423 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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.36 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 : 0xb00001f cpu MHz : 3668.090 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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6984.13 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 : 0xb00001f cpu MHz : 3661.030 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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.36 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 : 0xb00001f cpu MHz : 1197.472 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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6984.13 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 : 0xb00001f cpu MHz : 1197.414 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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.36 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131655788 kB MemFree: 123072604 kB MemAvailable: 128821704 kB Buffers: 181196 kB Cached: 6351828 kB SwapCached: 0 kB Active: 1131692 kB Inactive: 6829280 kB Active(anon): 1424 kB Inactive(anon): 1464296 kB Active(file): 1130268 kB Inactive(file): 5364984 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071996 kB Dirty: 339752 kB Writeback: 4 kB AnonPages: 1427816 kB Mapped: 112816 kB Shmem: 37704 kB KReclaimable: 188092 kB Slab: 302972 kB SReclaimable: 188092 kB SUnreclaim: 114880 kB KernelStack: 4132 kB PageTables: 11816 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196899888 kB Committed_AS: 1953776 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 18688 kB HardwareCorrupted: 0 kB AnonHugePages: 645120 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: 392008 kB DirectMap2M: 50892800 kB DirectMap1G: 84934656 kB Free space on /tmp at the end= 723772 MiB End job on nodeC004 at 2024-07-23 21:34:47