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) | 5 | 3600.04 | 3608.3 |
| Name | PB24/normalized-PB06/OPT-LIN/submitted-PB06/ manquiho/market-split/normalized-opt-market-split_6_50_3.opb |
| MD5SUM | 8451009eff5aac10a49807ab684bf277 |
| 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 | 2 |
| Best CPU time to get the best result obtained on this benchmark | 3600.07 |
| 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 | 146 |
| Total number of constraints | 12 |
| 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 | 12 |
| Minimum length of a constraint | 64 |
| Maximum length of a constraint | 66 |
| Number of terms in the objective function | 96 |
| 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 | 3060 |
| Number of bits of the sum of numbers in the objective function | 12 |
| Biggest number in a constraint | 1270 |
| Number of bits of the biggest number in a constraint | 11 |
| Biggest sum of numbers in a constraint | 4321 |
| 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 636 0.00/0.00 o 476 0.00/0.00 o 464 0.00/0.01 o 448 0.00/0.01 o 442 0.00/0.01 o 440 0.00/0.01 o 438 0.00/0.01 o 432 0.00/0.04 o 368 0.00/0.04 o 360 0.00/0.05 o 359 0.00/0.05 o 358 0.00/0.07 o 354 0.00/0.08 o 350 0.00/0.08 o 348 0.00/0.09 o 332 0.00/0.09 o 330 0.00/0.11 o 329 0.00/0.11 o 327 0.10/0.19 o 323 0.10/0.19 o 321 0.10/0.19 o 317 0.20/0.26 o 309 0.20/0.26 o 277 0.20/0.29 o 276 0.29/0.32 o 272 0.29/0.32 o 264 0.29/0.33 o 261 0.88/0.91 o 259 0.88/0.97 o 258 0.88/0.97 o 256 0.88/0.97 o 254 0.88/0.97 o 252 1.19/1.27 o 242 1.19/1.28 o 236 1.58/1.62 o 225 1.58/1.63 o 223 1.58/1.67 o 221 1.79/1.82 o 202 1.79/1.82 o 200 3.08/3.15 o 196 3.08/3.17 o 192 3.18/3.23 o 190 3.18/3.23 o 188 3.18/3.23 o 186 3.18/3.24 o 182 3.38/3.43 o 137 3.38/3.45 o 136 3.38/3.45 o 134 3.38/3.49 o 132 3.38/3.49 o 130 3.48/3.50 o 128 3.48/3.50 o 126 3.48/3.58 o 124 3.98/4.08 o 123 3.98/4.08 o 121 6.27/6.39 o 117 6.37/6.40 o 115 6.58/6.69 o 111 6.58/6.69 o 109 6.58/6.69 o 105 6.98/7.06 o 103 6.98/7.07 o 101 7.08/7.10 o 99 7.08/7.11 o 97 7.37/7.42 o 96 7.37/7.43 o 94 7.37/7.46 o 92 7.37/7.46 o 88 7.57/7.67 o 85 7.77/7.84 o 83 7.77/7.88 o 81 7.77/7.89 o 79 12.86/12.97 o 75 12.86/12.98 o 59 13.15/13.22 o 58 13.15/13.23 o 56 13.46/13.55 o 52 13.46/13.55 o 48 13.46/13.55 o 44 14.65/14.79 o 43 15.85/15.97 o 27 17.64/17.70 o 25 17.64/17.71 o 23 18.95/19.04 o 21 23.43/23.50 o 19 26.23/26.37 o 18 35.70/35.84 o 15 58.44/58.67 o 14 67.52/67.77 o 13 73.92/74.12 o 12 167.39/167.86 o 9 421.30/422.36 o 8 584.42/585.86 o 7 584.42/585.86 o 5 3600.02/3608.30 c Program interrupted by user. 3600.02/3608.30 s SATISFIABLE 3600.02/3608.30 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
OK 5
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 (62792 MiB free)
memory of node 1: 64473 MiB (62588 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4433084-1721097010/watcher-4433084-1721097010 -o /tmp/evaluation-result-4433084-1721097010/solver-4433084-1721097010 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC032-1721093391-832420 --watchdog 3760 HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=2102351600 HOME/instance-4433084-1721097010.opb
running on 2 cores: 1,3
CPU governors:
performance: 1 3
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=834568, runsolver pid=834565
[startup+0.108217 s]*
/proc/loadavg: 4.03 4.19 4.17 5/257 834569
/proc/meminfo: memFree=128383052/131524600 swapFree=131071996/131071996
[pid=834568] ppid=834565 vsize=27360 memory=7872 CPUtime=0.1 cores=1,3
/proc/834568/stat : 834568 (Exact) R 834565 834568 832408 0 -1 4194304 464 0 0 0 10 0 0 0 20 0 1 0 161869964 28016640 1968 134679101440 4194304 8309489 140734646845760 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 42504192 140734646850494 140734646850664 140734646850664 140734646857679 0
/proc/834568/statm: 6840 1968 1140 1005 0 5603 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 27360 KiB
Current children cumulated memory: 7872 KiB
[startup+0.205582 s]*
/proc/loadavg: 4.03 4.19 4.17 5/257 834569
/proc/meminfo: memFree=128382828/131524600 swapFree=131071996/131071996
[pid=834568] ppid=834565 vsize=27488 memory=8036 CPUtime=0.2 cores=1,3
/proc/834568/stat : 834568 (Exact) R 834565 834568 832408 0 -1 4194304 495 0 0 0 20 0 0 0 20 0 1 0 161869964 28147712 2009 134679101440 4194304 8309489 140734646845760 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 42504192 140734646850494 140734646850664 140734646850664 140734646857679 0
/proc/834568/statm: 6872 2009 1140 1005 0 5635 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 27488 KiB
Current children cumulated memory: 8036 KiB
[startup+0.304792 s]*
/proc/loadavg: 4.03 4.19 4.17 5/257 834569
/proc/meminfo: memFree=128382688/131524600 swapFree=131071996/131071996
[pid=834568] ppid=834565 vsize=27620 memory=8036 CPUtime=0.29 cores=1,3
/proc/834568/stat : 834568 (Exact) R 834565 834568 832408 0 -1 4194304 534 0 0 0 29 0 0 0 20 0 1 0 161869964 28282880 2009 134679101440 4194304 8309489 140734646845760 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 42504192 140734646850494 140734646850664 140734646850664 140734646857679 0
/proc/834568/statm: 6905 2009 1140 1005 0 5668 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 27620 KiB
Current children cumulated memory: 8036 KiB
[startup+0.700144 s]
/proc/loadavg: 4.03 4.19 4.17 5/257 834569
/proc/meminfo: memFree=128382212/131524600 swapFree=131071996/131071996
[pid=834568] ppid=834565 vsize=28164 memory=8560 CPUtime=0.69 cores=1,3
/proc/834568/stat : 834568 (Exact) R 834565 834568 832408 0 -1 4194304 659 0 0 0 68 1 0 0 20 0 1 0 161869964 28839936 2140 134679101440 4194304 8309489 140734646845760 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 42504192 140734646850494 140734646850664 140734646850664 140734646857679 0
/proc/834568/statm: 7041 2140 1140 1005 0 5804 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 28164 KiB
Current children cumulated memory: 8560 KiB
[startup+1.50014 s]
/proc/loadavg: 4.03 4.19 4.17 5/257 834569
/proc/meminfo: memFree=128379320/131524600 swapFree=131071996/131071996
[pid=834568] ppid=834565 vsize=29024 memory=11396 CPUtime=1.48 cores=1,3
/proc/834568/stat : 834568 (Exact) R 834565 834568 832408 0 -1 4194304 834 0 0 0 146 2 0 0 20 0 1 0 161869964 29720576 2849 134679101440 4194304 8309489 140734646845760 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 42504192 140734646850494 140734646850664 140734646850664 140734646857679 0
/proc/834568/statm: 7256 2849 1140 1005 0 6019 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 29024 KiB
Current children cumulated memory: 11396 KiB
[startup+3.10497 s]
/proc/loadavg: 4.03 4.19 4.17 5/257 834569
/proc/meminfo: memFree=128375340/131524600 swapFree=131071996/131071996
[pid=834568] ppid=834565 vsize=29888 memory=14176 CPUtime=3.08 cores=1,3
/proc/834568/stat : 834568 (Exact) R 834565 834568 832408 0 -1 4194304 1084 0 0 0 304 4 0 0 20 0 1 0 161869964 30605312 3544 134679101440 4194304 8309489 140734646845760 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 42504192 140734646850494 140734646850664 140734646850664 140734646857679 0
/proc/834568/statm: 7472 3544 1140 1005 0 6235 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 29888 KiB
Current children cumulated memory: 14176 KiB
[startup+6.30019 s]
/proc/loadavg: 4.03 4.18 4.16 5/257 834569
/proc/meminfo: memFree=128372032/131524600 swapFree=131071996/131071996
[pid=834568] ppid=834565 vsize=31096 memory=17524 CPUtime=6.27 cores=1,3
/proc/834568/stat : 834568 (Exact) R 834565 834568 832408 0 -1 4194304 1363 0 0 0 620 7 0 0 20 0 1 0 161869964 31842304 4381 134679101440 4194304 8309489 140734646845760 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 42504192 140734646850494 140734646850664 140734646850664 140734646857679 0
/proc/834568/statm: 7774 4381 1140 1005 0 6537 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 31096 KiB
Current children cumulated memory: 17524 KiB
[startup+12.7001 s]
/proc/loadavg: 4.03 4.18 4.16 5/257 834571
/proc/meminfo: memFree=128365240/131524600 swapFree=131071996/131071996
[pid=834568] ppid=834565 vsize=32300 memory=22768 CPUtime=12.66 cores=1,3
/proc/834568/stat : 834568 (Exact) R 834565 834568 832408 0 -1 4194304 1704 0 0 0 1251 15 0 0 20 0 1 0 161869964 33075200 5692 134679101440 4194304 8309489 140734646845760 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 42504192 140734646850494 140734646850664 140734646850664 140734646857679 0
/proc/834568/statm: 8075 5692 1140 1005 0 6838 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 32300 KiB
Current children cumulated memory: 22768 KiB
[startup+25.5002 s]
/proc/loadavg: 4.02 4.17 4.16 5/257 834573
/proc/meminfo: memFree=128361088/131524600 swapFree=131071996/131071996
[pid=834568] ppid=834565 vsize=33468 memory=23504 CPUtime=25.43 cores=1,3
/proc/834568/stat : 834568 (Exact) R 834565 834568 832408 0 -1 4194304 1974 0 0 0 2516 27 0 0 20 0 1 0 161869964 34271232 5876 134679101440 4194304 8309489 140734646845760 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 42504192 140734646850494 140734646850664 140734646850664 140734646857679 0
/proc/834568/statm: 8367 5876 1140 1005 0 7130 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 33468 KiB
Current children cumulated memory: 23504 KiB
[startup+51.1051 s]
/proc/loadavg: 4.09 4.17 4.16 5/259 834637
/proc/meminfo: memFree=128354092/131524600 swapFree=131071996/131071996
[pid=834568] ppid=834565 vsize=34444 memory=25276 CPUtime=50.97 cores=1,3
/proc/834568/stat : 834568 (Exact) R 834565 834568 832408 0 -1 4194304 2292 0 0 0 5043 54 0 0 20 0 1 0 161869964 35270656 6319 134679101440 4194304 8309489 140734646845760 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 42504192 140734646850494 140734646850664 140734646850664 140734646857679 0
/proc/834568/statm: 8611 6319 1140 1005 0 7374 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 34444 KiB
Current children cumulated memory: 25276 KiB
[startup+102.3 s]
/proc/loadavg: 4.11 4.16 4.16 5/259 834645
/proc/meminfo: memFree=128351872/131524600 swapFree=131071996/131071996
[pid=834568] ppid=834565 vsize=34668 memory=25504 CPUtime=102.05 cores=1,3
/proc/834568/stat : 834568 (Exact) R 834565 834568 832408 0 -1 4194304 2570 0 0 0 10102 103 0 0 20 0 1 0 161869964 35500032 6376 134679101440 4194304 8309489 140734646845760 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 42504192 140734646850494 140734646850664 140734646850664 140734646857679 0
/proc/834568/statm: 8667 6376 1140 1005 0 7430 0
Current children cumulated CPU time: 102.05 s
Current children cumulated vsize: 34668 KiB
Current children cumulated memory: 25504 KiB
[startup+162.3 s]
/proc/loadavg: 4.10 4.14 4.15 5/258 834656
/proc/meminfo: memFree=128349528/131524600 swapFree=131071996/131071996
[pid=834568] ppid=834565 vsize=35052 memory=25864 CPUtime=161.9 cores=1,3
/proc/834568/stat : 834568 (Exact) R 834565 834568 832408 0 -1 4194304 2840 0 0 0 16034 156 0 0 20 0 1 0 161869964 35893248 6466 134679101440 4194304 8309489 140734646845760 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 42504192 140734646850494 140734646850664 140734646850664 140734646857679 0
/proc/834568/statm: 8763 6466 1140 1005 0 7526 0
Current children cumulated CPU time: 161.9 s
Current children cumulated vsize: 35052 KiB
Current children cumulated memory: 25864 KiB
[startup+222.3 s]
/proc/loadavg: 4.08 4.13 4.15 5/257 834667
/proc/meminfo: memFree=128347244/131524600 swapFree=131071996/131071996
[pid=834568] ppid=834565 vsize=35532 memory=26332 CPUtime=221.77 cores=1,3
/proc/834568/stat : 834568 (Exact) R 834565 834568 832408 0 -1 4194304 3106 0 0 0 21977 200 0 0 20 0 1 0 161869964 36384768 6583 134679101440 4194304 8309489 140734646845760 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 42504192 140734646850494 140734646850664 140734646850664 140734646857679 0
/proc/834568/statm: 8883 6583 1140 1005 0 7646 0
Current children cumulated CPU time: 221.77 s
Current children cumulated vsize: 35532 KiB
Current children cumulated memory: 26332 KiB
[startup+282.3 s]
/proc/loadavg: 4.09 4.12 4.14 5/257 834679
/proc/meminfo: memFree=128345140/131524600 swapFree=131071996/131071996
[pid=834568] ppid=834565 vsize=35660 memory=26460 CPUtime=281.63 cores=1,3
/proc/834568/stat : 834568 (Exact) R 834565 834568 832408 0 -1 4194304 3278 0 0 0 27918 245 0 0 20 0 1 0 161869964 36515840 6615 134679101440 4194304 8309489 140734646845760 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 42504192 140734646850494 140734646850664 140734646850664 140734646857679 0
/proc/834568/statm: 8915 6615 1140 1005 0 7678 0
Current children cumulated CPU time: 281.63 s
Current children cumulated vsize: 35660 KiB
Current children cumulated memory: 26460 KiB
[startup+342.3 s]
/proc/loadavg: 4.13 4.13 4.14 5/255 834690
/proc/meminfo: memFree=128341848/131524600 swapFree=131071996/131071996
[pid=834568] ppid=834565 vsize=36088 memory=26792 CPUtime=341.48 cores=1,3
/proc/834568/stat : 834568 (Exact) R 834565 834568 832408 0 -1 4194304 3532 0 0 0 33860 288 0 0 20 0 1 0 161869964 36954112 6698 134679101440 4194304 8309489 140734646845760 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 42504192 140734646850494 140734646850664 140734646850664 140734646857679 0
/proc/834568/statm: 9022 6698 1140 1005 0 7785 0
Current children cumulated CPU time: 341.48 s
Current children cumulated vsize: 36088 KiB
Current children cumulated memory: 26792 KiB
[startup+402.3 s]
/proc/loadavg: 4.16 4.13 4.14 5/255 834700
/proc/meminfo: memFree=128340924/131524600 swapFree=131071996/131071996
[pid=834568] ppid=834565 vsize=36088 memory=27000 CPUtime=401.34 cores=1,3
/proc/834568/stat : 834568 (Exact) R 834565 834568 832408 0 -1 4194304 3540 0 0 0 39799 335 0 0 20 0 1 0 161869964 36954112 6750 134679101440 4194304 8309489 140734646845760 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 42504192 140734646850494 140734646850664 140734646850664 140734646857679 0
/proc/834568/statm: 9022 6750 1140 1005 0 7785 0
Current children cumulated CPU time: 401.34 s
Current children cumulated vsize: 36088 KiB
Current children cumulated memory: 27000 KiB
[startup+462.3 s]
/proc/loadavg: 4.06 4.11 4.13 5/255 834712
/proc/meminfo: memFree=128339132/131524600 swapFree=131071996/131071996
[pid=834568] ppid=834565 vsize=36568 memory=27212 CPUtime=461.2 cores=1,3
/proc/834568/stat : 834568 (Exact) R 834565 834568 832408 0 -1 4194304 3818 0 0 0 45737 383 0 0 20 0 1 0 161869964 37445632 6803 134679101440 4194304 8309489 140734646845760 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 42504192 140734646850494 140734646850664 140734646850664 140734646857679 0
/proc/834568/statm: 9142 6803 1140 1005 0 7905 0
################
# More data... #
################
Current children cumulated memory: 29688 KiB
[startup+2922.3 s]
/proc/loadavg: 4.12 4.15 4.11 5/255 835735
/proc/meminfo: memFree=128298384/131524600 swapFree=131071996/131071996
[pid=834568] ppid=834565 vsize=38796 memory=29688 CPUtime=2915.6 cores=1,3
/proc/834568/stat : 834568 (Exact) R 834565 834568 832408 0 -1 4194304 19307 0 0 0 289461 2099 0 0 20 0 1 0 161869964 39727104 7422 134679101440 4194304 8309489 140734646845760 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 42504192 140734646850494 140734646850664 140734646850664 140734646857679 0
/proc/834568/statm: 9699 7422 1140 1005 0 8462 0
Current children cumulated CPU time: 2915.6 s
Current children cumulated vsize: 38796 KiB
Current children cumulated memory: 29688 KiB
[startup+2982.3 s]
/proc/loadavg: 4.16 4.15 4.11 5/255 835746
/proc/meminfo: memFree=128297208/131524600 swapFree=131071996/131071996
[pid=834568] ppid=834565 vsize=38796 memory=29688 CPUtime=2975.45 cores=1,3
/proc/834568/stat : 834568 (Exact) R 834565 834568 832408 0 -1 4194304 19752 0 0 0 295405 2140 0 0 20 0 1 0 161869964 39727104 7422 134679101440 4194304 8309489 140734646845760 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 42504192 140734646850494 140734646850664 140734646850664 140734646857679 0
/proc/834568/statm: 9699 7422 1140 1005 0 8462 0
Current children cumulated CPU time: 2975.45 s
Current children cumulated vsize: 38796 KiB
Current children cumulated memory: 29688 KiB
[startup+3042.3 s]
/proc/loadavg: 4.12 4.14 4.10 5/257 835761
/proc/meminfo: memFree=128296496/131524600 swapFree=131071996/131071996
[pid=834568] ppid=834565 vsize=38924 memory=29816 CPUtime=3035.32 cores=1,3
/proc/834568/stat : 834568 (Exact) R 834565 834568 832408 0 -1 4194304 20228 0 0 0 301351 2181 0 0 20 0 1 0 161869964 39858176 7454 134679101440 4194304 8309489 140734646845760 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 42504192 140734646850494 140734646850664 140734646850664 140734646857679 0
/proc/834568/statm: 9731 7454 1140 1005 0 8494 0
Current children cumulated CPU time: 3035.32 s
Current children cumulated vsize: 38924 KiB
Current children cumulated memory: 29816 KiB
[startup+3102.3 s]
/proc/loadavg: 4.04 4.11 4.09 5/257 835771
/proc/meminfo: memFree=128295608/131524600 swapFree=131071996/131071996
[pid=834568] ppid=834565 vsize=38924 memory=29816 CPUtime=3095.18 cores=1,3
/proc/834568/stat : 834568 (Exact) R 834565 834568 832408 0 -1 4194304 20673 0 0 0 307300 2218 0 0 20 0 1 0 161869964 39858176 7454 134679101440 4194304 8309489 140734646845760 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 42504192 140734646850494 140734646850664 140734646850664 140734646857679 0
/proc/834568/statm: 9731 7454 1140 1005 0 8494 0
Current children cumulated CPU time: 3095.18 s
Current children cumulated vsize: 38924 KiB
Current children cumulated memory: 29816 KiB
[startup+3162.3 s]
/proc/loadavg: 4.11 4.12 4.09 5/257 835782
/proc/meminfo: memFree=128294608/131524600 swapFree=131071996/131071996
[pid=834568] ppid=834565 vsize=38924 memory=29816 CPUtime=3155.04 cores=1,3
/proc/834568/stat : 834568 (Exact) R 834565 834568 832408 0 -1 4194304 21118 0 0 0 313246 2258 0 0 20 0 1 0 161869964 39858176 7454 134679101440 4194304 8309489 140734646845760 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 42504192 140734646850494 140734646850664 140734646850664 140734646857679 0
/proc/834568/statm: 9731 7454 1140 1005 0 8494 0
Current children cumulated CPU time: 3155.04 s
Current children cumulated vsize: 38924 KiB
Current children cumulated memory: 29816 KiB
[startup+3222.3 s]
/proc/loadavg: 4.09 4.11 4.09 5/257 835793
/proc/meminfo: memFree=128294112/131524600 swapFree=131071996/131071996
[pid=834568] ppid=834565 vsize=38924 memory=29816 CPUtime=3214.91 cores=1,3
/proc/834568/stat : 834568 (Exact) R 834565 834568 832408 0 -1 4194304 21476 0 0 0 319195 2296 0 0 20 0 1 0 161869964 39858176 7454 134679101440 4194304 8309489 140734646845760 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 42504192 140734646850494 140734646850664 140734646850664 140734646857679 0
/proc/834568/statm: 9731 7454 1140 1005 0 8494 0
Current children cumulated CPU time: 3214.91 s
Current children cumulated vsize: 38924 KiB
Current children cumulated memory: 29816 KiB
[startup+3282.3 s]
/proc/loadavg: 4.07 4.10 4.09 5/257 835803
/proc/meminfo: memFree=128293288/131524600 swapFree=131071996/131071996
[pid=834568] ppid=834565 vsize=38924 memory=29816 CPUtime=3274.77 cores=1,3
/proc/834568/stat : 834568 (Exact) R 834565 834568 832408 0 -1 4194304 21920 0 0 0 325140 2337 0 0 20 0 1 0 161869964 39858176 7454 134679101440 4194304 8309489 140734646845760 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 42504192 140734646850494 140734646850664 140734646850664 140734646857679 0
/proc/834568/statm: 9731 7454 1140 1005 0 8494 0
Current children cumulated CPU time: 3274.77 s
Current children cumulated vsize: 38924 KiB
Current children cumulated memory: 29816 KiB
[startup+3342.3 s]
/proc/loadavg: 4.08 4.10 4.09 5/257 836199
/proc/meminfo: memFree=128391940/131524600 swapFree=131071996/131071996
[pid=834568] ppid=834565 vsize=38924 memory=29816 CPUtime=3334.64 cores=1,3
/proc/834568/stat : 834568 (Exact) R 834565 834568 832408 0 -1 4194304 22277 0 0 0 331088 2376 0 0 20 0 1 0 161869964 39858176 7454 134679101440 4194304 8309489 140734646845760 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 42504192 140734646850494 140734646850664 140734646850664 140734646857679 0
/proc/834568/statm: 9731 7454 1140 1005 0 8494 0
Current children cumulated CPU time: 3334.64 s
Current children cumulated vsize: 38924 KiB
Current children cumulated memory: 29816 KiB
[startup+3402.3 s]
/proc/loadavg: 4.07 4.09 4.09 5/257 836210
/proc/meminfo: memFree=128392084/131524600 swapFree=131071996/131071996
[pid=834568] ppid=834565 vsize=38924 memory=29816 CPUtime=3394.51 cores=1,3
/proc/834568/stat : 834568 (Exact) R 834565 834568 832408 0 -1 4194304 22722 0 0 0 337033 2418 0 0 20 0 1 0 161869964 39858176 7454 134679101440 4194304 8309489 140734646845760 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 42504192 140734646850494 140734646850664 140734646850664 140734646857679 0
/proc/834568/statm: 9731 7454 1140 1005 0 8494 0
Current children cumulated CPU time: 3394.51 s
Current children cumulated vsize: 38924 KiB
Current children cumulated memory: 29816 KiB
[startup+3462.3 s]
/proc/loadavg: 4.13 4.10 4.09 5/257 836222
/proc/meminfo: memFree=128391244/131524600 swapFree=131071996/131071996
[pid=834568] ppid=834565 vsize=38924 memory=29816 CPUtime=3454.36 cores=1,3
/proc/834568/stat : 834568 (Exact) R 834565 834568 832408 0 -1 4194304 23167 0 0 0 342980 2456 0 0 20 0 1 0 161869964 39858176 7454 134679101440 4194304 8309489 140734646845760 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 42504192 140734646850494 140734646850664 140734646850664 140734646857679 0
/proc/834568/statm: 9731 7454 1140 1005 0 8494 0
Current children cumulated CPU time: 3454.36 s
Current children cumulated vsize: 38924 KiB
Current children cumulated memory: 29816 KiB
[startup+3522.3 s]
/proc/loadavg: 4.05 4.08 4.09 5/259 836402
/proc/meminfo: memFree=128389740/131524600 swapFree=131071996/131071996
[pid=834568] ppid=834565 vsize=38924 memory=29816 CPUtime=3514.23 cores=1,3
/proc/834568/stat : 834568 (Exact) R 834565 834568 832408 0 -1 4194304 23524 0 0 0 348927 2496 0 0 20 0 1 0 161869964 39858176 7454 134679101440 4194304 8309489 140734646845760 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 42504192 140734646850494 140734646850664 140734646850664 140734646857679 0
/proc/834568/statm: 9731 7454 1140 1005 0 8494 0
Current children cumulated CPU time: 3514.23 s
Current children cumulated vsize: 38924 KiB
Current children cumulated memory: 29816 KiB
[startup+3582.3 s]
/proc/loadavg: 4.13 4.10 4.09 5/259 836412
/proc/meminfo: memFree=128389632/131524600 swapFree=131071996/131071996
[pid=834568] ppid=834565 vsize=38924 memory=29816 CPUtime=3574.1 cores=1,3
/proc/834568/stat : 834568 (Exact) R 834565 834568 832408 0 -1 4194304 23968 0 0 0 354875 2535 0 0 20 0 1 0 161869964 39858176 7454 134679101440 4194304 8309489 140734646845760 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 42504192 140734646850494 140734646850664 140734646850664 140734646857679 0
/proc/834568/statm: 9731 7454 1140 1005 0 8494 0
Current children cumulated CPU time: 3574.1 s
Current children cumulated vsize: 38924 KiB
Current children cumulated memory: 29816 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3608.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/259 836693
/proc/meminfo: memFree=127541364/131524600 swapFree=131071996/131071996
[pid=834568] ppid=834565 vsize=38924 memory=29816 CPUtime=3600.02 cores=1,3
/proc/834568/stat : 834568 (Exact) R 834565 834568 832408 0 -1 4194304 24142 0 0 0 357452 2550 0 0 20 0 1 0 161869964 39858176 7454 134679101440 4194304 8309489 140734646845760 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 42504192 140734646850494 140734646850664 140734646850664 140734646857679 0
/proc/834568/statm: 9731 7454 1140 1005 0 8494 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 38924 KiB
Current children cumulated memory: 29816 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3608.3 s]
# the end of solver process 834568 was just reported to runsolver
# Child status: 10
# cumulated CPU time of all completed processes: user=3574.53 s, system=25.5053 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3608.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/259 836693
/proc/meminfo: memFree=127541364/131524600 swapFree=131071996/131071996
[pid=834568] ppid=834565 vsize=38924 memory=29816 CPUtime=3600.02 cores=1,3
/proc/834568/stat : 834568 (Exact) R 834565 834568 832408 0 -1 4194304 24142 0 0 0 357452 2550 0 0 20 0 1 0 161869964 39858176 7454 134679101440 4194304 8309489 140734646845760 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 42504192 140734646850494 140734646850664 140734646850664 140734646857679 0
/proc/834568/statm: 9731 7454 1140 1005 0 8494 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 38924 KiB
Current children cumulated memory: 29816 KiB
Child status: 10
Real time (s): 3608.3
CPU time (s): 3600.04
CPU user time (s): 3574.53
CPU system time (s): 25.5053
CPU usage (%): 99.7709
Max. virtual memory (cumulated for all children) (KiB): 39272
Max. memory (cumulated for all children) (KiB): 29948
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3574.53
system time used= 25.5053
maximum resident set size= 30076
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 24149
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= 6
involuntary context switches= 1572
# summary of solver processes directly reported to runsolver:
# pid: 834568
# total CPU time (s): 3600.04
# total CPU user time (s): 3574.53
# total CPU system time (s): 25.5053
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.46197 second user time and 13.793 second system time
The end
Begin job on nodeC032 at 2024-07-16 04:30:23 IDJOB=4433084 IDBENCH=147612 IDSOLVER=3060 FILE ID=nodeC032/4433084-1721097010 RUNJOBID= nodeC032-1721093391-832420 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_6_50_3.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-4433084-1721097010/watcher-4433084-1721097010 -o /tmp/evaluation-result-4433084-1721097010/solver-4433084-1721097010 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC032-1721093391-832420 --watchdog 3760 HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=2102351600 HOME/instance-4433084-1721097010.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 8451009eff5aac10a49807ab684bf277 RANDOM SEED=2102351600 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 : 3658.413 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 : 3659.103 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 : 3599.900 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 : 3661.093 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 : 3658.513 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 : 3661.509 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 : 3600.086 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 : 3599.937 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: 128390260 kB MemAvailable: 129660588 kB Buffers: 392656 kB Cached: 1706384 kB SwapCached: 0 kB Active: 652964 kB Inactive: 1871000 kB Active(anon): 1580 kB Inactive(anon): 461056 kB Active(file): 651384 kB Inactive(file): 1409944 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071996 kB Dirty: 24516 kB Writeback: 8 kB AnonPages: 424696 kB Mapped: 117788 kB Shmem: 37720 kB KReclaimable: 97644 kB Slab: 203504 kB SReclaimable: 97644 kB SUnreclaim: 105860 kB KernelStack: 4128 kB PageTables: 10296 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196834296 kB Committed_AS: 807404 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 62688 kB HardwareCorrupted: 0 kB AnonHugePages: 278528 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:31