Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| Exact 2024-07-05 | SAT (TO) | 6 | 3600.05 | 3610.5 |
| Name | PB24/normalized-PB06/OPT-LIN/submitted-PB06/ manquiho/market-split/normalized-opt-market-split_7_60_2.opb |
| MD5SUM | 39a6e806d7aaba09f767f3cbd6afa1ec |
| Bench Category | OPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 6 |
| Best CPU time to get the best result obtained on this benchmark | 3600.05 |
| 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 | 172 |
| Total number of constraints | 14 |
| 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 | 14 |
| Minimum length of a constraint | 74 |
| Maximum length of a constraint | 76 |
| Number of terms in the objective function | 112 |
| 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 | 3570 |
| Number of bits of the sum of numbers in the objective function | 12 |
| Biggest number in a constraint | 1648 |
| Number of bits of the biggest number in a constraint | 11 |
| Biggest sum of numbers in a constraint | 5454 |
| Number of bits of the biggest sum of numbers | 13 |
| 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.00 o 626 0.00/0.00 o 598 0.00/0.00 o 596 0.00/0.00 o 588 0.00/0.01 o 548 0.00/0.01 o 546 0.00/0.01 o 510 0.00/0.01 o 506 0.00/0.01 o 502 0.00/0.04 o 500 0.00/0.06 o 498 0.00/0.06 o 496 0.00/0.06 o 494 0.00/0.06 o 492 0.00/0.07 o 489 0.00/0.07 o 487 0.09/0.18 o 486 0.09/0.18 o 484 0.09/0.19 o 480 0.09/0.19 o 478 0.09/0.19 o 476 0.19/0.23 o 475 0.19/0.23 o 473 0.19/0.23 o 471 0.19/0.24 o 461 0.19/0.28 o 443 0.19/0.28 o 441 0.19/0.28 o 437 0.28/0.36 o 433 0.28/0.36 o 431 0.28/0.39 o 427 0.28/0.39 o 421 0.57/0.62 o 414 0.77/0.81 o 412 0.77/0.81 o 408 0.77/0.81 o 406 0.87/0.92 o 404 0.87/0.93 o 402 1.96/2.02 o 400 2.86/2.92 o 399 2.86/2.92 o 397 2.86/2.92 o 395 3.15/3.28 o 393 3.76/3.83 o 382 3.76/3.83 o 380 3.76/3.84 o 378 3.96/4.07 o 376 3.96/4.08 o 374 3.96/4.08 o 372 4.15/4.27 o 360 4.15/4.28 o 358 5.45/5.52 o 356 5.45/5.53 o 354 5.45/5.53 o 352 5.85/5.96 o 343 5.85/5.96 o 341 5.85/5.96 o 339 6.44/6.50 o 333 6.44/6.50 o 331 6.44/6.55 o 330 6.44/6.55 o 326 6.44/6.56 o 322 6.44/6.56 o 320 6.44/6.57 o 318 6.44/6.57 o 316 6.65/6.78 o 305 11.53/11.60 o 304 11.53/11.61 o 302 11.53/11.61 o 300 12.93/13.03 o 298 12.93/13.04 o 296 14.22/14.35 o 277 16.02/16.11 o 274 16.02/16.11 o 270 16.02/16.15 o 262 17.01/17.10 o 254 17.01/17.16 o 252 19.01/19.12 o 249 19.01/19.13 o 247 22.89/23.03 o 240 22.89/23.03 o 238 22.89/23.06 o 232 23.98/24.17 o 229 24.08/24.20 o 227 24.08/24.22 o 225 24.08/24.23 o 223 24.48/24.63 o 222 24.48/24.64 o 218 24.48/24.65 o 212 24.48/24.65 o 210 24.98/25.13 o 209 24.98/25.14 o 201 25.18/25.36 o 199 25.28/25.40 o 192 25.28/25.42 o 190 25.28/25.42 o 188 26.67/26.84 o 186 26.67/26.84 o 184 26.67/26.87 o 182 26.98/27.17 o 166 26.98/27.17 o 164 27.47/27.69 o 155 27.57/27.70 o 117 27.57/27.71 o 95 27.57/27.72 o 93 28.37/28.56 o 90 28.37/28.56 o 82 28.37/28.57 o 78 28.37/28.57 o 62 33.35/33.50 o 60 33.35/33.53 o 58 33.35/33.53 o 56 35.54/35.76 o 51 36.24/36.46 o 50 39.84/40.06 o 48 51.80/52.03 o 24 72.33/72.61 o 23 99.15/99.58 o 22 99.15/99.58 o 20 113.61/114.05 o 18 157.78/158.32 o 17 157.97/158.51 o 15 157.97/158.51 o 13 288.59/289.57 o 12 288.59/289.57 o 10 288.59/289.58 o 6 3600.04/3610.50 c Program interrupted by user. 3600.04/3610.50 s SATISFIABLE 3600.04/3610.50 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
OK 6
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 (62825 MiB free)
memory of node 1: 64473 MiB (62590 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4433085-1721096994/watcher-4433085-1721096994 -o /tmp/evaluation-result-4433085-1721096994/solver-4433085-1721096994 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC032-1721093391-832418 --watchdog 3760 HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=1205878782 HOME/instance-4433085-1721096994.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
Current StackSize limit: 8192 KiB
solver pid=834519, runsolver pid=834516
[startup+0.10077 s]*
/proc/loadavg: 4.05 4.20 4.17 5/257 834520
/proc/meminfo: memFree=128421928/131524600 swapFree=131071996/131071996
[pid=834519] ppid=834516 vsize=27340 memory=7924 CPUtime=0.09 cores=0,2
/proc/834519/stat : 834519 (Exact) R 834516 834519 832408 0 -1 4194304 487 0 0 0 9 0 0 0 20 0 1 0 161868322 27996160 1981 134679101440 4194304 8309489 140722607459376 0 0 0 0 0 8404994 0 0 0 17 2 0 0 0 0 0 9165528 9243992 40697856 140722607461310 140722607461480 140722607461480 140722607468495 0
/proc/834519/statm: 6835 1981 1140 1005 0 5598 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 27340 KiB
Current children cumulated memory: 7924 KiB
[startup+0.20577 s]*
/proc/loadavg: 4.05 4.20 4.17 5/257 834520
/proc/meminfo: memFree=128421592/131524600 swapFree=131071996/131071996
[pid=834519] ppid=834516 vsize=27604 memory=8188 CPUtime=0.19 cores=0,2
/proc/834519/stat : 834519 (Exact) R 834516 834519 832408 0 -1 4194304 554 0 0 0 19 0 0 0 20 0 1 0 161868322 28266496 2047 134679101440 4194304 8309489 140722607459376 0 0 0 0 0 8404994 0 0 0 17 2 0 0 0 0 0 9165528 9243992 40697856 140722607461310 140722607461480 140722607461480 140722607468495 0
/proc/834519/statm: 6901 2047 1140 1005 0 5664 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 27604 KiB
Current children cumulated memory: 8188 KiB
[startup+0.30577 s]*
/proc/loadavg: 4.05 4.20 4.17 5/257 834520
/proc/meminfo: memFree=128421256/131524600 swapFree=131071996/131071996
[pid=834519] ppid=834516 vsize=27872 memory=8452 CPUtime=0.28 cores=0,2
/proc/834519/stat : 834519 (Exact) R 834516 834519 832408 0 -1 4194304 603 0 0 0 28 0 0 0 20 0 1 0 161868322 28540928 2113 134679101440 4194304 8309489 140722607459376 0 0 0 0 0 8404994 0 0 0 17 2 0 0 0 0 0 9165528 9243992 40697856 140722607461310 140722607461480 140722607461480 140722607468495 0
/proc/834519/statm: 6968 2113 1140 1005 0 5731 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 27872 KiB
Current children cumulated memory: 8452 KiB
[startup+0.700158 s]
/proc/loadavg: 4.04 4.20 4.17 5/257 834520
/proc/meminfo: memFree=128420248/131524600 swapFree=131071996/131071996
[pid=834519] ppid=834516 vsize=28412 memory=11024 CPUtime=0.67 cores=0,2
/proc/834519/stat : 834519 (Exact) R 834516 834519 832408 0 -1 4194304 734 0 0 0 66 1 0 0 20 0 1 0 161868322 29093888 2756 134679101440 4194304 8309489 140722607459376 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 40697856 140722607461310 140722607461480 140722607461480 140722607468495 0
/proc/834519/statm: 7103 2756 1140 1005 0 5866 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 28412 KiB
Current children cumulated memory: 11024 KiB
[startup+1.50016 s]
/proc/loadavg: 4.04 4.20 4.17 5/257 834520
/proc/meminfo: memFree=128414796/131524600 swapFree=131071996/131071996
[pid=834519] ppid=834516 vsize=29372 memory=11816 CPUtime=1.47 cores=0,2
/proc/834519/stat : 834519 (Exact) R 834516 834519 832408 0 -1 4194304 957 0 0 0 145 2 0 0 20 0 1 0 161868322 30076928 2954 134679101440 4194304 8309489 140722607459376 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 40697856 140722607461310 140722607461480 140722607461480 140722607468495 0
/proc/834519/statm: 7343 2954 1140 1005 0 6106 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 29372 KiB
Current children cumulated memory: 11816 KiB
[startup+3.1056 s]
/proc/loadavg: 4.04 4.20 4.17 5/257 834520
/proc/meminfo: memFree=128404676/131524600 swapFree=131071996/131071996
[pid=834519] ppid=834516 vsize=30580 memory=14836 CPUtime=3.06 cores=0,2
/proc/834519/stat : 834519 (Exact) R 834516 834519 832408 0 -1 4194304 1257 0 0 0 303 3 0 0 20 0 1 0 161868322 31313920 3709 134679101440 4194304 8309489 140722607459376 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 40697856 140722607461310 140722607461480 140722607461480 140722607468495 0
/proc/834519/statm: 7645 3709 1140 1005 0 6408 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 30580 KiB
Current children cumulated memory: 14836 KiB
[startup+6.30016 s]
/proc/loadavg: 4.04 4.19 4.17 5/257 834522
/proc/meminfo: memFree=128392496/131524600 swapFree=131071996/131071996
[pid=834519] ppid=834516 vsize=32092 memory=22636 CPUtime=6.25 cores=0,2
/proc/834519/stat : 834519 (Exact) R 834516 834519 832408 0 -1 4194304 1640 0 0 0 618 7 0 0 20 0 1 0 161868322 32862208 5659 134679101440 4194304 8309489 140722607459376 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 40697856 140722607461310 140722607461480 140722607461480 140722607468495 0
/proc/834519/statm: 8023 5659 1140 1005 0 6786 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 32092 KiB
Current children cumulated memory: 22636 KiB
[startup+12.7002 s]
/proc/loadavg: 4.04 4.19 4.17 5/257 834522
/proc/meminfo: memFree=128387772/131524600 swapFree=131071996/131071996
[pid=834519] ppid=834516 vsize=33180 memory=23584 CPUtime=12.63 cores=0,2
/proc/834519/stat : 834519 (Exact) R 834516 834519 832408 0 -1 4194304 1907 0 0 0 1250 13 0 0 20 0 1 0 161868322 33976320 5896 134679101440 4194304 8309489 140722607459376 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 40697856 140722607461310 140722607461480 140722607461480 140722607468495 0
/proc/834519/statm: 8295 5896 1140 1005 0 7058 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 33180 KiB
Current children cumulated memory: 23584 KiB
[startup+25.5002 s]
/proc/loadavg: 4.03 4.18 4.16 5/257 834571
/proc/meminfo: memFree=128366648/131524600 swapFree=131071996/131071996
[pid=834519] ppid=834516 vsize=35264 memory=25200 CPUtime=25.38 cores=0,2
/proc/834519/stat : 834519 (Exact) R 834516 834519 832408 0 -1 4194304 2446 0 0 0 2514 24 0 0 20 0 1 0 161868322 36110336 6300 134679101440 4194304 8309489 140722607459376 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 40697856 140722607461310 140722607461480 140722607461480 140722607468495 0
/proc/834519/statm: 8816 6300 1140 1005 0 7579 0
Current children cumulated CPU time: 25.38 s
Current children cumulated vsize: 35264 KiB
Current children cumulated memory: 25200 KiB
[startup+51.1055 s]
/proc/loadavg: 4.02 4.16 4.16 5/259 834634
/proc/meminfo: memFree=128356152/131524600 swapFree=131071996/131071996
[pid=834519] ppid=834516 vsize=38284 memory=28564 CPUtime=50.9 cores=0,2
/proc/834519/stat : 834519 (Exact) R 834516 834519 832408 0 -1 4194304 3171 0 0 0 5040 50 0 0 20 0 1 0 161868322 39202816 7141 134679101440 4194304 8309489 140722607459376 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 40697856 140722607461310 140722607461480 140722607461480 140722607468495 0
/proc/834519/statm: 9571 7141 1140 1005 0 8334 0
Current children cumulated CPU time: 50.9 s
Current children cumulated vsize: 38284 KiB
Current children cumulated memory: 28564 KiB
[startup+102.3 s]
/proc/loadavg: 4.05 4.15 4.15 5/259 834642
/proc/meminfo: memFree=128352432/131524600 swapFree=131071996/131071996
[pid=834519] ppid=834516 vsize=38476 memory=28832 CPUtime=101.95 cores=0,2
/proc/834519/stat : 834519 (Exact) R 834516 834519 832408 0 -1 4194304 3350 0 0 0 10081 114 0 0 20 0 1 0 161868322 39399424 7208 134679101440 4194304 8309489 140722607459376 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 40697856 140722607461310 140722607461480 140722607461480 140722607468495 0
/proc/834519/statm: 9619 7208 1140 1005 0 8382 0
Current children cumulated CPU time: 101.95 s
Current children cumulated vsize: 38476 KiB
Current children cumulated memory: 28832 KiB
[startup+162.3 s]
/proc/loadavg: 4.13 4.15 4.15 5/258 834653
/proc/meminfo: memFree=128350448/131524600 swapFree=131071996/131071996
[pid=834519] ppid=834516 vsize=38860 memory=29068 CPUtime=161.76 cores=0,2
/proc/834519/stat : 834519 (Exact) R 834516 834519 832408 0 -1 4194304 3467 0 0 0 15988 188 0 0 20 0 1 0 161868322 39792640 7267 134679101440 4194304 8309489 140722607459376 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 40697856 140722607461310 140722607461480 140722607461480 140722607468495 0
/proc/834519/statm: 9715 7267 1140 1005 0 8478 0
Current children cumulated CPU time: 161.76 s
Current children cumulated vsize: 38860 KiB
Current children cumulated memory: 29068 KiB
[startup+222.3 s]
/proc/loadavg: 4.10 4.14 4.15 5/258 834663
/proc/meminfo: memFree=128348168/131524600 swapFree=131071996/131071996
[pid=834519] ppid=834516 vsize=39180 memory=29456 CPUtime=221.59 cores=0,2
/proc/834519/stat : 834519 (Exact) R 834516 834519 832408 0 -1 4194304 3627 0 0 0 21895 264 0 0 20 0 1 0 161868322 40120320 7364 134679101440 4194304 8309489 140722607459376 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 40697856 140722607461310 140722607461480 140722607461480 140722607468495 0
/proc/834519/statm: 9795 7364 1140 1005 0 8558 0
Current children cumulated CPU time: 221.59 s
Current children cumulated vsize: 39180 KiB
Current children cumulated memory: 29456 KiB
[startup+282.3 s]
/proc/loadavg: 4.12 4.13 4.14 5/257 834676
/proc/meminfo: memFree=128346440/131524600 swapFree=131071996/131071996
[pid=834519] ppid=834516 vsize=39040 memory=29520 CPUtime=281.41 cores=0,2
/proc/834519/stat : 834519 (Exact) R 834516 834519 832408 0 -1 4194304 3806 0 0 0 27811 330 0 0 20 0 1 0 161868322 39976960 7380 134679101440 4194304 8309489 140722607459376 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 40697856 140722607461310 140722607461480 140722607461480 140722607468495 0
/proc/834519/statm: 9760 7380 1140 1005 0 8523 0
Current children cumulated CPU time: 281.41 s
Current children cumulated vsize: 39040 KiB
Current children cumulated memory: 29520 KiB
[startup+342.3 s]
/proc/loadavg: 4.17 4.13 4.14 5/258 834687
/proc/meminfo: memFree=128342608/131524600 swapFree=131071996/131071996
[pid=834519] ppid=834516 vsize=39244 memory=29924 CPUtime=341.21 cores=0,2
/proc/834519/stat : 834519 (Exact) R 834516 834519 832408 0 -1 4194304 3921 0 0 0 33730 391 0 0 20 0 1 0 161868322 40185856 7481 134679101440 4194304 8309489 140722607459376 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 40697856 140722607461310 140722607461480 140722607461480 140722607468495 0
/proc/834519/statm: 9811 7481 1140 1005 0 8574 0
Current children cumulated CPU time: 341.21 s
Current children cumulated vsize: 39244 KiB
Current children cumulated memory: 29924 KiB
[startup+402.3 s]
/proc/loadavg: 4.11 4.12 4.14 5/255 834697
/proc/meminfo: memFree=128341316/131524600 swapFree=131071996/131071996
[pid=834519] ppid=834516 vsize=39232 memory=30116 CPUtime=401.04 cores=0,2
/proc/834519/stat : 834519 (Exact) R 834516 834519 832408 0 -1 4194304 4481 0 0 0 39654 450 0 0 20 0 1 0 161868322 40173568 7529 134679101440 4194304 8309489 140722607459376 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 40697856 140722607461310 140722607461480 140722607461480 140722607468495 0
/proc/834519/statm: 9808 7529 1140 1005 0 8571 0
Current children cumulated CPU time: 401.04 s
Current children cumulated vsize: 39232 KiB
Current children cumulated memory: 30116 KiB
[startup+462.3 s]
/proc/loadavg: 4.08 4.11 4.13 5/255 834709
/proc/meminfo: memFree=128339684/131524600 swapFree=131071996/131071996
[pid=834519] ppid=834516 vsize=39820 memory=30500 CPUtime=460.87 cores=0,2
/proc/834519/stat : 834519 (Exact) R 834516 834519 832408 0 -1 4194304 5040 0 0 0 45582 505 0 0 20 0 1 0 161868322 40775680 7625 134679101440 4194304 8309489 140722607459376 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 40697856 140722607461310 140722607461480 140722607461480 140722607468495 0
/proc/834519/statm: 9955 7625 1140 1005 0 8718 0
################
# More data... #
################
Current children cumulated memory: 32820 KiB
[startup+2922.3 s]
/proc/loadavg: 4.16 4.16 4.11 5/255 835732
/proc/meminfo: memFree=128298524/131524600 swapFree=131071996/131071996
[pid=834519] ppid=834516 vsize=42008 memory=32820 CPUtime=2913.82 cores=0,2
/proc/834519/stat : 834519 (Exact) R 834516 834519 832408 0 -1 4194304 16889 0 0 0 288979 2403 0 0 20 0 1 0 161868322 43016192 8205 134679101440 4194304 8309489 140722607459376 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 40697856 140722607461310 140722607461480 140722607461480 140722607468495 0
/proc/834519/statm: 10502 8205 1140 1005 0 9265 0
Current children cumulated CPU time: 2913.82 s
Current children cumulated vsize: 42008 KiB
Current children cumulated memory: 32820 KiB
[startup+2982.3 s]
/proc/loadavg: 4.10 4.14 4.11 5/254 835742
/proc/meminfo: memFree=128297856/131524600 swapFree=131071996/131071996
[pid=834519] ppid=834516 vsize=41728 memory=32688 CPUtime=2973.64 cores=0,2
/proc/834519/stat : 834519 (Exact) R 834516 834519 832408 0 -1 4194304 17124 0 0 0 294918 2446 0 0 20 0 1 0 161868322 42729472 8172 134679101440 4194304 8309489 140722607459376 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 40697856 140722607461310 140722607461480 140722607461480 140722607468495 0
/proc/834519/statm: 10432 8172 1140 1005 0 9195 0
Current children cumulated CPU time: 2973.64 s
Current children cumulated vsize: 41728 KiB
Current children cumulated memory: 32688 KiB
[startup+3042.3 s]
/proc/loadavg: 4.15 4.15 4.11 5/255 835754
/proc/meminfo: memFree=128296984/131524600 swapFree=131071996/131071996
[pid=834519] ppid=834516 vsize=41932 memory=32688 CPUtime=3033.47 cores=0,2
/proc/834519/stat : 834519 (Exact) R 834516 834519 832408 0 -1 4194304 17501 0 0 0 300861 2486 0 0 20 0 1 0 161868322 42938368 8172 134679101440 4194304 8309489 140722607459376 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 40697856 140722607461310 140722607461480 140722607461480 140722607468495 0
/proc/834519/statm: 10483 8172 1140 1005 0 9246 0
Current children cumulated CPU time: 3033.47 s
Current children cumulated vsize: 41932 KiB
Current children cumulated memory: 32688 KiB
[startup+3102.3 s]
/proc/loadavg: 4.06 4.12 4.09 5/257 835768
/proc/meminfo: memFree=128296028/131524600 swapFree=131071996/131071996
[pid=834519] ppid=834516 vsize=41728 memory=32688 CPUtime=3093.3 cores=0,2
/proc/834519/stat : 834519 (Exact) R 834516 834519 832408 0 -1 4194304 17841 0 0 0 306796 2534 0 0 20 0 1 0 161868322 42729472 8172 134679101440 4194304 8309489 140722607459376 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 40697856 140722607461310 140722607461480 140722607461480 140722607468495 0
/proc/834519/statm: 10432 8172 1140 1005 0 9195 0
Current children cumulated CPU time: 3093.3 s
Current children cumulated vsize: 41728 KiB
Current children cumulated memory: 32688 KiB
[startup+3162.3 s]
/proc/loadavg: 4.06 4.11 4.09 5/257 835779
/proc/meminfo: memFree=128295204/131524600 swapFree=131071996/131071996
[pid=834519] ppid=834516 vsize=41996 memory=32752 CPUtime=3153.13 cores=0,2
/proc/834519/stat : 834519 (Exact) R 834516 834519 832408 0 -1 4194304 18235 0 0 0 312738 2575 0 0 20 0 1 0 161868322 43003904 8188 134679101440 4194304 8309489 140722607459376 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 40697856 140722607461310 140722607461480 140722607461480 140722607468495 0
/proc/834519/statm: 10499 8188 1140 1005 0 9262 0
Current children cumulated CPU time: 3153.13 s
Current children cumulated vsize: 41996 KiB
Current children cumulated memory: 32752 KiB
[startup+3222.3 s]
/proc/loadavg: 4.12 4.12 4.09 5/257 835789
/proc/meminfo: memFree=128294252/131524600 swapFree=131071996/131071996
[pid=834519] ppid=834516 vsize=41792 memory=32752 CPUtime=3212.95 cores=0,2
/proc/834519/stat : 834519 (Exact) R 834516 834519 832408 0 -1 4194304 18574 0 0 0 318679 2616 0 0 20 0 1 0 161868322 42795008 8188 134679101440 4194304 8309489 140722607459376 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 40697856 140722607461310 140722607461480 140722607461480 140722607468495 0
/proc/834519/statm: 10448 8188 1140 1005 0 9211 0
Current children cumulated CPU time: 3212.95 s
Current children cumulated vsize: 41792 KiB
Current children cumulated memory: 32752 KiB
[startup+3282.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/257 835800
/proc/meminfo: memFree=128293624/131524600 swapFree=131071996/131071996
[pid=834519] ppid=834516 vsize=41856 memory=32816 CPUtime=3272.78 cores=0,2
/proc/834519/stat : 834519 (Exact) R 834516 834519 832408 0 -1 4194304 18950 0 0 0 324616 2662 0 0 20 0 1 0 161868322 42860544 8204 134679101440 4194304 8309489 140722607459376 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 40697856 140722607461310 140722607461480 140722607461480 140722607468495 0
/proc/834519/statm: 10464 8204 1140 1005 0 9227 0
Current children cumulated CPU time: 3272.78 s
Current children cumulated vsize: 41856 KiB
Current children cumulated memory: 32816 KiB
[startup+3342.3 s]
/proc/loadavg: 4.11 4.10 4.09 5/256 835810
/proc/meminfo: memFree=128292720/131524600 swapFree=131071996/131071996
[pid=834519] ppid=834516 vsize=41920 memory=32880 CPUtime=3332.61 cores=0,2
/proc/834519/stat : 834519 (Exact) R 834516 834519 832408 0 -1 4194304 19412 0 0 0 330558 2703 0 0 20 0 1 0 161868322 42926080 8220 134679101440 4194304 8309489 140722607459376 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 40697856 140722607461310 140722607461480 140722607461480 140722607468495 0
/proc/834519/statm: 10480 8220 1140 1005 0 9243 0
Current children cumulated CPU time: 3332.61 s
Current children cumulated vsize: 41920 KiB
Current children cumulated memory: 32880 KiB
[startup+3402.3 s]
/proc/loadavg: 4.09 4.10 4.09 5/256 836206
/proc/meminfo: memFree=128392316/131524600 swapFree=131071996/131071996
[pid=834519] ppid=834516 vsize=41920 memory=32880 CPUtime=3392.43 cores=0,2
/proc/834519/stat : 834519 (Exact) R 834516 834519 832408 0 -1 4194304 19773 0 0 0 336503 2740 0 0 20 0 1 0 161868322 42926080 8220 134679101440 4194304 8309489 140722607459376 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 40697856 140722607461310 140722607461480 140722607461480 140722607468495 0
/proc/834519/statm: 10480 8220 1140 1005 0 9243 0
Current children cumulated CPU time: 3392.43 s
Current children cumulated vsize: 41920 KiB
Current children cumulated memory: 32880 KiB
[startup+3462.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/257 836219
/proc/meminfo: memFree=128391660/131524600 swapFree=131071996/131071996
[pid=834519] ppid=834516 vsize=42188 memory=32944 CPUtime=3452.27 cores=0,2
/proc/834519/stat : 834519 (Exact) R 834516 834519 832408 0 -1 4194304 20080 0 0 0 342442 2785 0 0 20 0 1 0 161868322 43200512 8236 134679101440 4194304 8309489 140722607459376 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 40697856 140722607461310 140722607461480 140722607461480 140722607468495 0
/proc/834519/statm: 10547 8236 1140 1005 0 9310 0
Current children cumulated CPU time: 3452.27 s
Current children cumulated vsize: 42188 KiB
Current children cumulated memory: 32944 KiB
[startup+3522.3 s]
/proc/loadavg: 4.06 4.08 4.09 5/257 836229
/proc/meminfo: memFree=128390804/131524600 swapFree=131071996/131071996
[pid=834519] ppid=834516 vsize=42048 memory=33008 CPUtime=3512.09 cores=0,2
/proc/834519/stat : 834519 (Exact) R 834516 834519 832408 0 -1 4194304 20525 0 0 0 348385 2824 0 0 20 0 1 0 161868322 43057152 8252 134679101440 4194304 8309489 140722607459376 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 40697856 140722607461310 140722607461480 140722607461480 140722607468495 0
/proc/834519/statm: 10512 8252 1140 1005 0 9275 0
Current children cumulated CPU time: 3512.09 s
Current children cumulated vsize: 42048 KiB
Current children cumulated memory: 33008 KiB
[startup+3582.3 s]
/proc/loadavg: 4.07 4.08 4.09 5/259 836409
/proc/meminfo: memFree=128389720/131524600 swapFree=131071996/131071996
[pid=834519] ppid=834516 vsize=42048 memory=33008 CPUtime=3571.92 cores=0,2
/proc/834519/stat : 834519 (Exact) R 834516 834519 832408 0 -1 4194304 20884 0 0 0 354326 2866 0 0 20 0 1 0 161868322 43057152 8252 134679101440 4194304 8309489 140722607459376 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 40697856 140722607461310 140722607461480 140722607461480 140722607468495 0
/proc/834519/statm: 10512 8252 1140 1005 0 9275 0
Current children cumulated CPU time: 3571.92 s
Current children cumulated vsize: 42048 KiB
Current children cumulated memory: 33008 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.5 s]
/proc/loadavg: 4.11 4.09 4.09 5/259 836598
/proc/meminfo: memFree=128260080/131524600 swapFree=131071996/131071996
[pid=834519] ppid=834516 vsize=42252 memory=33008 CPUtime=3600.04 cores=0,2
/proc/834519/stat : 834519 (Exact) R 834516 834519 832408 0 -1 4194304 20990 0 0 0 357118 2886 0 0 20 0 1 0 161868322 43266048 8252 134679101440 4194304 8309489 140722607459376 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 40697856 140722607461310 140722607461480 140722607461480 140722607468495 0
/proc/834519/statm: 10563 8252 1140 1005 0 9326 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 42252 KiB
Current children cumulated memory: 33008 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3610.5 s]
# the end of solver process 834519 was just reported to runsolver
# Child status: 10
# cumulated CPU time of all completed processes: user=3571.18 s, system=28.8701 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3610.5 s]
/proc/loadavg: 4.11 4.09 4.09 5/259 836598
/proc/meminfo: memFree=128260080/131524600 swapFree=131071996/131071996
[pid=834519] ppid=834516 vsize=42252 memory=33008 CPUtime=3600.04 cores=0,2
/proc/834519/stat : 834519 (Exact) R 834516 834519 832408 0 -1 4194304 20990 0 0 0 357118 2886 0 0 20 0 1 0 161868322 43266048 8252 134679101440 4194304 8309489 140722607459376 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 40697856 140722607461310 140722607461480 140722607461480 140722607468495 0
/proc/834519/statm: 10563 8252 1140 1005 0 9326 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 42252 KiB
Current children cumulated memory: 33008 KiB
Child status: 10
Real time (s): 3610.5
CPU time (s): 3600.05
CPU user time (s): 3571.18
CPU system time (s): 28.8701
CPU usage (%): 99.7106
Max. virtual memory (cumulated for all children) (KiB): 42252
Max. memory (cumulated for all children) (KiB): 33008
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3571.18
system time used= 28.8701
maximum resident set size= 33268
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 20992
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= 10
involuntary context switches= 25200
# summary of solver processes directly reported to runsolver:
# pid: 834519
# total CPU time (s): 3600.05
# total CPU user time (s): 3571.18
# total CPU system time (s): 28.8701
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.4911 second user time and 13.8344 second system time
The end
Begin job on nodeC032 at 2024-07-16 04:30:06 IDJOB=4433085 IDBENCH=147611 IDSOLVER=3060 FILE ID=nodeC032/4433085-1721096994 RUNJOBID= nodeC032-1721093391-832418 SLURM_JOB_ID= 7505594 Free space on /tmp= 890064 MiB SOLVER NAME= Exact 2024-07-05 BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/market-split/normalized-opt-market-split_7_60_2.opb COMMAND LINE= HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=RANDOMSEED BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4433085-1721096994/watcher-4433085-1721096994 -o /tmp/evaluation-result-4433085-1721096994/solver-4433085-1721096994 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC032-1721093391-832418 --watchdog 3760 HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=1205878782 HOME/instance-4433085-1721096994.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 39a6e806d7aaba09f767f3cbd6afa1ec RANDOM SEED=1205878782 nodeC032.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 : 3661.591 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.33 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 : 3690.587 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.03 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 : 3658.223 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.33 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 : 3599.885 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.03 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 : 3688.366 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.33 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 : 3690.613 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.03 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 : 3639.507 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.33 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 : 3600.086 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.03 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131524600 kB MemFree: 128426020 kB MemAvailable: 129696052 kB Buffers: 392628 kB Cached: 1706120 kB SwapCached: 0 kB Active: 652980 kB Inactive: 1834904 kB Active(anon): 1580 kB Inactive(anon): 425292 kB Active(file): 651400 kB Inactive(file): 1409612 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071996 kB Dirty: 25020 kB Writeback: 0 kB AnonPages: 389352 kB Mapped: 117828 kB Shmem: 37720 kB KReclaimable: 97688 kB Slab: 203612 kB SReclaimable: 97688 kB SUnreclaim: 105924 kB KernelStack: 4108 kB PageTables: 10028 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196834296 kB Committed_AS: 811616 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 62688 kB HardwareCorrupted: 0 kB AnonHugePages: 245760 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: 223956 kB DirectMap2M: 20520960 kB DirectMap1G: 115343360 kB Free space on /tmp at the end= 890052 MiB End job on nodeC032 at 2024-07-16 05:30:17