Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| UWrMaxSat-SCIP 2025-06-04 | SAT (TO) | 36 | 3600.06 | 3610.11 |
| Name | PB24/normalized-PB06/OPT-LIN/submitted-PB06/ manquiho/market-split/normalized-opt-market-split_8_70_3.opb |
| MD5SUM | d6e4abba593cb3232b5d1a2a9d687dd6 |
| 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 | 10 |
| Best CPU time to get the best result obtained on this benchmark | 3600.03 |
| 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 | 198 |
| Total number of constraints | 16 |
| 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 | 16 |
| Minimum length of a constraint | 82 |
| Maximum length of a constraint | 86 |
| Number of terms in the objective function | 128 |
| 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 | 4080 |
| Number of bits of the sum of numbers in the objective function | 12 |
| Biggest number in a constraint | 1782 |
| Number of bits of the biggest number in a constraint | 11 |
| Biggest sum of numbers in a constraint | 5856 |
| 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 c Using cadical-2.1.3-f13d744 SAT solver by Armin Biere et al. (2016 - ) 0.00/0.00 c Setting memory limit to 31000MB. 0.00/0.00 c Parsing PB file... 0.00/0.00 c Converting 16 PB-constraints to clauses... 0.00/0.00 c Using SCIP solver, version 9.02.2, https://www.scipopt.org 2.39/2.45 o 1928 2.39/2.45 c ============================[ Problem Statistics ]============================ 2.39/2.45 c | Number of variables: 15325 | 2.39/2.45 c | Number of clauses: 125552 (incl. 112 soft in queue) | 2.39/2.45 c =============================================================================== 2.39/2.45 c Starting SCIP solver (with time-limit: 900s) ... 2.39/2.45 c SCIP start delayed for at least 298s 5.38/5.40 o 1113 10.46/10.59 o 502 10.86/11.00 o 228 125.34/125.76 o 106 302.32/303.24 o 45 302.62/303.54 c SCIP started with lower and upper bounds: [0, 45] 1199.88/1203.55 c SCIP timeout with lower and upper bounds: [0, 44] 1199.88/1203.55 o 44 1905.70/1911.20 c Switching to binary search ... (after 1905.02 s and 5000001 conflicts) with 96 goal literals and 0 assumptions 2471.39/2478.49 o 36 3600.05/3610.10 c *** TERMINATED by signal 15 *** 3600.05/3610.10 c _______________________________________________________________________________ 3600.05/3610.10 c 3600.05/3610.10 c _______________________________________________________________________________ 3600.05/3610.10 c 3600.05/3610.10 c =======================[ UWrMaxSat resources usage ]=========================== 3600.05/3610.10 c Memory used : 1436.00 MB 3600.05/3610.10 c CPU time : 3599.36 s 3600.05/3610.10 c Constr Enc: Srt/BDD/Add: 8 0 0 3600.05/3610.10 c OptExp Enc: Srt/BDD/Add: 2 0 0 3600.05/3610.10 c _______________________________________________________________________________ 3600.05/3610.10 c _______________________________________________________________________________ 3600.05/3610.10 3600.05/3610.10 v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 x9 -x10 -x11 x12 -x13 -x14 -x15 -x16 -x17 x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 x42 x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 x74 -x75 x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 x89 x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 x131 -x132 x133 x134 x135 -x136 x137 -x138 -x139 x140 x141 x142 -x143 x144 -x145 x146 x147 -x148 -x149 -x150 -x151 x152 x153 x154 x155 -x156 -x157 x158 -x159 -x160 -x161 -x162 x163 -x164 x165 x166 -x167 x168 x169 x170 -x171 x172 -x173 -x174 x175 -x177 -x178 x179 x180 -x181 x182 x183 -x184 x185 x186 x187 -x188 x189 x190 -x191 x192 -x193 -x194 -x195 x196 -x197 -x198 x176 3600.05/3610.10 s SATISFIABLE
OK 36
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: 63708 MiB (62853 MiB free)
memory of node 1: 64465 MiB (63770 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4490442-1751373319/watcher-4490442-1751373319 -o /tmp/evaluation-result-4490442-1751373319/solver-4490442-1751373319 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC019-1751369704-47695 --watchdog 3760 HOME/uwrmaxsat-scip HOME/instance-4490442-1751373319.opb -no-par -scip-delay=300 -scip-cpu=900 -mem-lim=31000
running on 2 cores: 1,3
CPU governors:
performance: 1 3
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 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=48423, runsolver pid=48419
Current StackSize limit: 8192 KiB
[startup+0.100063 s]*
/proc/loadavg: 4.03 4.17 4.08 5/264 48428
/proc/meminfo: memFree=129632344/131250000 swapFree=33007332/33010684
[pid=48423] ppid=48419 vsize=53344 memory=41672 CPUtime=0.1 cores=1,3
/proc/48423/stat : 48423 (uwrmaxsat-scip) R 48419 48423 47683 0 -1 4194304 8629 0 0 0 9 1 0 0 20 0 1 0 53009443 54624256 10418 18446744073709551615 4198400 17051741 140721291760752 0 0 0 0 0 27682 0 0 0 17 1 0 0 0 0 0 19288744 19393640 40689664 140721291766074 140721291766244 140721291766244 140721291771846 0
/proc/48423/statm: 13336 10418 2688 3139 0 9624 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 53344 KiB
Current children cumulated memory: 41672 KiB
[startup+0.20562 s]*
/proc/loadavg: 4.03 4.17 4.08 5/264 48428
/proc/meminfo: memFree=129624280/131250000 swapFree=33007332/33010684
[pid=48423] ppid=48419 vsize=59852 memory=47260 CPUtime=0.2 cores=1,3
/proc/48423/stat : 48423 (uwrmaxsat-scip) R 48419 48423 47683 0 -1 4194304 10663 0 0 0 19 1 0 0 20 0 1 0 53009443 61288448 11815 18446744073709551615 4198400 17051741 140721291760752 0 0 0 0 0 27682 0 0 0 17 1 0 0 0 0 0 19288744 19393640 40689664 140721291766074 140721291766244 140721291766244 140721291771846 0
/proc/48423/statm: 14963 11815 2688 3139 0 11251 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 59852 KiB
Current children cumulated memory: 47260 KiB
[startup+0.305618 s]*
/proc/loadavg: 4.03 4.17 4.08 5/264 48428
/proc/meminfo: memFree=129623524/131250000 swapFree=33007332/33010684
[pid=48423] ppid=48419 vsize=64784 memory=49692 CPUtime=0.3 cores=1,3
/proc/48423/stat : 48423 (uwrmaxsat-scip) R 48419 48423 47683 0 -1 4194304 10752 0 0 0 29 1 0 0 20 0 1 0 53009443 66338816 12423 18446744073709551615 4198400 17051741 140721291760752 0 0 0 0 0 27682 0 0 0 17 1 0 0 0 0 0 19288744 19393640 40689664 140721291766074 140721291766244 140721291766244 140721291771846 0
/proc/48423/statm: 16196 12423 2688 3139 0 12484 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 64784 KiB
Current children cumulated memory: 49692 KiB
[startup+0.70018 s]
/proc/loadavg: 4.03 4.17 4.08 5/264 48428
/proc/meminfo: memFree=129617932/131250000 swapFree=33007332/33010684
[pid=48423] ppid=48419 vsize=70092 memory=57472 CPUtime=0.68 cores=1,3
/proc/48423/stat : 48423 (uwrmaxsat-scip) R 48419 48423 47683 0 -1 4194304 11908 0 0 0 67 1 0 0 20 0 1 0 53009443 71774208 14368 18446744073709551615 4198400 17051741 140721291760752 0 0 0 0 0 27682 0 0 0 17 1 0 0 0 0 0 19288744 19393640 40689664 140721291766074 140721291766244 140721291766244 140721291771846 0
/proc/48423/statm: 17523 14368 2688 3139 0 13811 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 70092 KiB
Current children cumulated memory: 57472 KiB
[startup+1.50017 s]
/proc/loadavg: 4.03 4.17 4.08 5/264 48428
/proc/meminfo: memFree=129617932/131250000 swapFree=33007332/33010684
[pid=48423] ppid=48419 vsize=93440 memory=80744 CPUtime=1.49 cores=1,3
/proc/48423/stat : 48423 (uwrmaxsat-scip) R 48419 48423 47683 0 -1 4194304 18505 0 0 0 146 3 0 0 20 0 1 0 53009443 95682560 20186 18446744073709551615 4198400 17051741 140721291760752 0 0 0 0 0 27682 0 0 0 17 1 0 0 0 0 0 19288744 19393640 40689664 140721291766074 140721291766244 140721291766244 140721291771846 0
/proc/48423/statm: 23360 20186 2688 3139 0 19648 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 93440 KiB
Current children cumulated memory: 80744 KiB
[startup+3.10543 s]
/proc/loadavg: 4.11 4.18 4.09 5/264 48428
/proc/meminfo: memFree=129589784/131250000 swapFree=33007332/33010684
[pid=48423] ppid=48419 vsize=102044 memory=89348 CPUtime=3.09 cores=1,3
/proc/48423/stat : 48423 (uwrmaxsat-scip) R 48419 48423 47683 0 -1 4194304 19105 0 0 0 306 3 0 0 20 0 1 0 53009443 104493056 22337 18446744073709551615 4198400 17051741 140721291760752 0 0 0 0 0 8416290 0 0 0 17 1 0 0 0 0 0 19288744 19393640 40689664 140721291766074 140721291766244 140721291766244 140721291771846 0
/proc/48423/statm: 25511 22337 2720 3139 0 21799 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 102044 KiB
Current children cumulated memory: 89348 KiB
[startup+6.30016 s]
/proc/loadavg: 4.11 4.18 4.09 5/264 48428
/proc/meminfo: memFree=129588096/131250000 swapFree=33007332/33010684
[pid=48423] ppid=48419 vsize=102044 memory=89476 CPUtime=6.27 cores=1,3
/proc/48423/stat : 48423 (uwrmaxsat-scip) R 48419 48423 47683 0 -1 4194304 19126 0 0 0 624 3 0 0 20 0 1 0 53009443 104493056 22369 18446744073709551615 4198400 17051741 140721291760752 0 0 0 0 0 8416290 0 0 0 17 1 0 0 0 0 0 19288744 19393640 40689664 140721291766074 140721291766244 140721291766244 140721291771846 0
/proc/48423/statm: 25511 22369 2720 3139 0 21799 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 102044 KiB
Current children cumulated memory: 89476 KiB
[startup+12.7002 s]
/proc/loadavg: 4.09 4.18 4.09 5/264 48428
/proc/meminfo: memFree=129585828/131250000 swapFree=33007332/33010684
[pid=48423] ppid=48419 vsize=104960 memory=93444 CPUtime=12.66 cores=1,3
/proc/48423/stat : 48423 (uwrmaxsat-scip) R 48419 48423 47683 0 -1 4194304 20148 0 0 0 1263 3 0 0 20 0 1 0 53009443 107479040 23361 18446744073709551615 4198400 17051741 140721291760752 0 0 0 0 0 8416290 0 0 0 17 1 0 0 0 0 0 19288744 19393640 40689664 140721291766074 140721291766244 140721291766244 140721291771846 0
/proc/48423/statm: 26240 23361 2720 3139 0 22528 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 104960 KiB
Current children cumulated memory: 93444 KiB
[startup+25.5002 s]
/proc/loadavg: 4.08 4.17 4.09 5/264 48428
/proc/meminfo: memFree=129567596/131250000 swapFree=33007332/33010684
[pid=48423] ppid=48419 vsize=106608 memory=95148 CPUtime=25.42 cores=1,3
/proc/48423/stat : 48423 (uwrmaxsat-scip) R 48419 48423 47683 0 -1 4194304 22294 0 0 0 2539 3 0 0 20 0 1 0 53009443 109166592 23787 18446744073709551615 4198400 17051741 140721291760752 0 0 0 0 0 8416290 0 0 0 17 1 0 0 0 0 0 19288744 19393640 40689664 140721291766074 140721291766244 140721291766244 140721291771846 0
/proc/48423/statm: 26652 23787 2720 3139 0 22940 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 106608 KiB
Current children cumulated memory: 95148 KiB
[startup+51.1054 s]
/proc/loadavg: 4.13 4.17 4.09 5/264 48474
/proc/meminfo: memFree=129734936/131250000 swapFree=33007332/33010684
[pid=48423] ppid=48419 vsize=98088 memory=86812 CPUtime=50.95 cores=1,3
/proc/48423/stat : 48423 (uwrmaxsat-scip) R 48419 48423 47683 0 -1 4194304 26828 0 0 0 5090 5 0 0 20 0 1 0 53009443 100442112 21703 18446744073709551615 4198400 17051741 140721291760752 0 0 0 0 0 8416290 0 0 0 17 1 0 0 0 0 0 19288744 19393640 40689664 140721291766074 140721291766244 140721291766244 140721291771846 0
/proc/48423/statm: 24522 21703 2720 3139 0 20810 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 98088 KiB
Current children cumulated memory: 86812 KiB
[startup+102.3 s]
/proc/loadavg: 4.05 4.14 4.08 5/264 48476
/proc/meminfo: memFree=129675016/131250000 swapFree=33007332/33010684
[pid=48423] ppid=48419 vsize=109336 memory=98060 CPUtime=102 cores=1,3
/proc/48423/stat : 48423 (uwrmaxsat-scip) R 48419 48423 47683 0 -1 4194304 30366 0 0 0 10194 6 0 0 20 0 1 0 53009443 111960064 24515 18446744073709551615 4198400 17051741 140721291760752 0 0 0 0 0 8416290 0 0 0 17 1 0 0 0 0 0 19288744 19393640 40689664 140721291766074 140721291766244 140721291766244 140721291771846 0
/proc/48423/statm: 27334 24515 2720 3139 0 23622 0
Current children cumulated CPU time: 102 s
Current children cumulated vsize: 109336 KiB
Current children cumulated memory: 98060 KiB
[startup+162.3 s]
/proc/loadavg: 4.06 4.13 4.08 5/264 48522
/proc/meminfo: memFree=129629060/131250000 swapFree=33007332/33010684
[pid=48423] ppid=48419 vsize=128200 memory=116720 CPUtime=161.83 cores=1,3
/proc/48423/stat : 48423 (uwrmaxsat-scip) R 48419 48423 47683 0 -1 4194304 33189 0 0 0 16175 8 0 0 20 0 1 0 53009443 131276800 29180 18446744073709551615 4198400 17051741 140721291760752 0 0 0 0 0 8416290 0 0 0 17 1 0 0 0 0 0 19288744 19393640 40689664 140721291766074 140721291766244 140721291766244 140721291771846 0
/proc/48423/statm: 32050 29180 2720 3139 0 28338 0
Current children cumulated CPU time: 161.83 s
Current children cumulated vsize: 128200 KiB
Current children cumulated memory: 116720 KiB
[startup+222.3 s]
/proc/loadavg: 4.41 4.20 4.11 5/264 48524
/proc/meminfo: memFree=129603296/131250000 swapFree=33007332/33010684
[pid=48423] ppid=48419 vsize=128016 memory=116744 CPUtime=221.64 cores=1,3
/proc/48423/stat : 48423 (uwrmaxsat-scip) R 48419 48423 47683 0 -1 4194304 36777 0 0 0 22155 9 0 0 20 0 1 0 53009443 131088384 29186 18446744073709551615 4198400 17051741 140721291760752 0 0 0 0 0 8416290 0 0 0 17 1 0 0 0 0 0 19288744 19393640 40689664 140721291766074 140721291766244 140721291766244 140721291771846 0
/proc/48423/statm: 32004 29186 2720 3139 0 28292 0
Current children cumulated CPU time: 221.64 s
Current children cumulated vsize: 128016 KiB
Current children cumulated memory: 116744 KiB
[startup+282.3 s]
/proc/loadavg: 4.24 4.19 4.11 5/262 48526
/proc/meminfo: memFree=129530328/131250000 swapFree=33007332/33010684
[pid=48423] ppid=48419 vsize=131640 memory=120492 CPUtime=281.48 cores=1,3
/proc/48423/stat : 48423 (uwrmaxsat-scip) R 48419 48423 47683 0 -1 4194304 42122 0 0 0 28135 13 0 0 20 0 1 0 53009443 134799360 30123 18446744073709551615 4198400 17051741 140721291760752 0 0 0 0 0 8416290 0 0 0 17 1 0 0 0 0 0 19288744 19393640 40689664 140721291766074 140721291766244 140721291766244 140721291771846 0
/proc/48423/statm: 32910 30123 2720 3139 0 29198 0
Current children cumulated CPU time: 281.48 s
Current children cumulated vsize: 131640 KiB
Current children cumulated memory: 120492 KiB
[startup+342.3 s]
/proc/loadavg: 4.50 4.27 4.14 5/262 48528
/proc/meminfo: memFree=129471712/131250000 swapFree=33007332/33010684
[pid=48423] ppid=48419 vsize=213700 memory=199868 CPUtime=341.28 cores=1,3
/proc/48423/stat : 48423 (uwrmaxsat-scip) R 48419 48423 47683 0 -1 4194304 56422 0 0 0 34111 17 0 0 20 0 1 0 53009443 218828800 49967 18446744073709551615 4198400 17051741 140721291760752 0 0 0 0 0 8416290 0 0 0 17 1 0 0 0 0 0 19288744 19393640 40689664 140721291766074 140721291766244 140721291766244 140721291771846 0
/proc/48423/statm: 53425 49967 3360 3139 0 49713 0
Current children cumulated CPU time: 341.28 s
Current children cumulated vsize: 213700 KiB
Current children cumulated memory: 199868 KiB
[startup+402.3 s]
/proc/loadavg: 4.25 4.23 4.14 5/262 48575
/proc/meminfo: memFree=129450844/131250000 swapFree=33007332/33010684
[pid=48423] ppid=48419 vsize=355736 memory=338076 CPUtime=401.08 cores=1,3
/proc/48423/stat : 48423 (uwrmaxsat-scip) R 48419 48423 47683 0 -1 4194304 85878 0 0 0 40085 23 0 0 20 0 1 0 53009443 364273664 84519 18446744073709551615 4198400 17051741 140721291760752 0 0 0 0 0 8416290 0 0 0 17 1 0 0 0 0 0 19288744 19393640 40689664 140721291766074 140721291766244 140721291766244 140721291771846 0
/proc/48423/statm: 88934 84519 3360 3139 0 85222 0
Current children cumulated CPU time: 401.08 s
Current children cumulated vsize: 355736 KiB
Current children cumulated memory: 338076 KiB
[startup+462.3 s]
/proc/loadavg: 4.14 4.20 4.13 5/262 48577
/proc/meminfo: memFree=129130436/131250000 swapFree=33007332/33010684
[pid=48423] ppid=48419 vsize=509784 memory=486084 CPUtime=460.89 cores=1,3
/proc/48423/stat : 48423 (uwrmaxsat-scip) R 48419 48423 47683 0 -1 4194304 109167 0 0 0 46060 29 0 0 20 0 1 0 53009443 522018816 121521 18446744073709551615 4198400 17051741 140721291760752 0 0 0 0 0 8416290 0 0 0 17 1 0 0 0 0 0 19288744 19393640 40689664 140721291766074 140721291766244 140721291766244 140721291771846 0
/proc/48423/statm: 127446 121521 3360 3139 0 123734 0
################
# More data... #
################
Current children cumulated memory: 1386984 KiB
[startup+2922.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/264 48708
/proc/meminfo: memFree=128027812/131250000 swapFree=33007332/33010684
[pid=48423] ppid=48419 vsize=1396112 memory=1386984 CPUtime=2914.11 cores=1,3
/proc/48423/stat : 48423 (uwrmaxsat-scip) R 48419 48423 47683 0 -1 4194304 281720 0 0 0 291342 69 0 0 20 0 1 0 53009443 1429618688 346746 18446744073709551615 4198400 17051741 140721291760752 0 0 0 0 0 8416290 0 0 0 17 1 0 0 0 0 0 19288744 19393640 40689664 140721291766074 140721291766244 140721291766244 140721291771846 0
/proc/48423/statm: 349028 346746 3360 3139 0 345316 0
Current children cumulated CPU time: 2914.11 s
Current children cumulated vsize: 1396112 KiB
Current children cumulated memory: 1386984 KiB
[startup+2982.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/265 48715
/proc/meminfo: memFree=128067704/131250000 swapFree=33007332/33010684
[pid=48423] ppid=48419 vsize=1396112 memory=1386984 CPUtime=2973.95 cores=1,3
/proc/48423/stat : 48423 (uwrmaxsat-scip) R 48419 48423 47683 0 -1 4194304 281822 0 0 0 297326 69 0 0 20 0 1 0 53009443 1429618688 346746 18446744073709551615 4198400 17051741 140721291760752 0 0 0 0 0 8416290 0 0 0 17 1 0 0 0 0 0 19288744 19393640 40689664 140721291766074 140721291766244 140721291766244 140721291771846 0
/proc/48423/statm: 349028 346746 3360 3139 0 345316 0
Current children cumulated CPU time: 2973.95 s
Current children cumulated vsize: 1396112 KiB
Current children cumulated memory: 1386984 KiB
[startup+3042.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/265 48717
/proc/meminfo: memFree=128041580/131250000 swapFree=33007332/33010684
[pid=48423] ppid=48419 vsize=1396112 memory=1386984 CPUtime=3033.79 cores=1,3
/proc/48423/stat : 48423 (uwrmaxsat-scip) R 48419 48423 47683 0 -1 4194304 281928 0 0 0 303310 69 0 0 20 0 1 0 53009443 1429618688 346746 18446744073709551615 4198400 17051741 140721291760752 0 0 0 0 0 8416290 0 0 0 17 1 0 0 0 0 0 19288744 19393640 40689664 140721291766074 140721291766244 140721291766244 140721291771846 0
/proc/48423/statm: 349028 346746 3360 3139 0 345316 0
Current children cumulated CPU time: 3033.79 s
Current children cumulated vsize: 1396112 KiB
Current children cumulated memory: 1386984 KiB
[startup+3102.3 s]
/proc/loadavg: 4.07 4.08 4.09 5/265 48718
/proc/meminfo: memFree=128085740/131250000 swapFree=33007332/33010684
[pid=48423] ppid=48419 vsize=1396112 memory=1386984 CPUtime=3093.63 cores=1,3
/proc/48423/stat : 48423 (uwrmaxsat-scip) R 48419 48423 47683 0 -1 4194304 282029 0 0 0 309294 69 0 0 20 0 1 0 53009443 1429618688 346746 18446744073709551615 4198400 17051741 140721291760752 0 0 0 0 0 8416290 0 0 0 17 1 0 0 0 0 0 19288744 19393640 40689664 140721291766074 140721291766244 140721291766244 140721291771846 0
/proc/48423/statm: 349028 346746 3360 3139 0 345316 0
Current children cumulated CPU time: 3093.63 s
Current children cumulated vsize: 1396112 KiB
Current children cumulated memory: 1386984 KiB
[startup+3162.3 s]
/proc/loadavg: 4.06 4.08 4.09 5/265 48720
/proc/meminfo: memFree=128037360/131250000 swapFree=33007332/33010684
[pid=48423] ppid=48419 vsize=1396112 memory=1386984 CPUtime=3153.47 cores=1,3
/proc/48423/stat : 48423 (uwrmaxsat-scip) R 48419 48423 47683 0 -1 4194304 282156 0 0 0 315278 69 0 0 20 0 1 0 53009443 1429618688 346746 18446744073709551615 4198400 17051741 140721291760752 0 0 0 0 0 8416290 0 0 0 17 1 0 0 0 0 0 19288744 19393640 40689664 140721291766074 140721291766244 140721291766244 140721291771846 0
/proc/48423/statm: 349028 346746 3360 3139 0 345316 0
Current children cumulated CPU time: 3153.47 s
Current children cumulated vsize: 1396112 KiB
Current children cumulated memory: 1386984 KiB
[startup+3222.3 s]
/proc/loadavg: 4.06 4.08 4.09 5/265 48722
/proc/meminfo: memFree=128032452/131250000 swapFree=33007332/33010684
[pid=48423] ppid=48419 vsize=1396112 memory=1386984 CPUtime=3213.3 cores=1,3
/proc/48423/stat : 48423 (uwrmaxsat-scip) R 48419 48423 47683 0 -1 4194304 282256 0 0 0 321261 69 0 0 20 0 1 0 53009443 1429618688 346746 18446744073709551615 4198400 17051741 140721291760752 0 0 0 0 0 8416290 0 0 0 17 1 0 0 0 0 0 19288744 19393640 40689664 140721291766074 140721291766244 140721291766244 140721291771846 0
/proc/48423/statm: 349028 346746 3360 3139 0 345316 0
Current children cumulated CPU time: 3213.3 s
Current children cumulated vsize: 1396112 KiB
Current children cumulated memory: 1386984 KiB
[startup+3282.3 s]
/proc/loadavg: 4.13 4.09 4.09 5/265 48724
/proc/meminfo: memFree=128093384/131250000 swapFree=33007332/33010684
[pid=48423] ppid=48419 vsize=1396112 memory=1386984 CPUtime=3273.14 cores=1,3
/proc/48423/stat : 48423 (uwrmaxsat-scip) R 48419 48423 47683 0 -1 4194304 282390 0 0 0 327245 69 0 0 20 0 1 0 53009443 1429618688 346746 18446744073709551615 4198400 17051741 140721291760752 0 0 0 0 0 8416290 0 0 0 17 1 0 0 0 0 0 19288744 19393640 40689664 140721291766074 140721291766244 140721291766244 140721291771846 0
/proc/48423/statm: 349028 346746 3360 3139 0 345316 0
Current children cumulated CPU time: 3273.14 s
Current children cumulated vsize: 1396112 KiB
Current children cumulated memory: 1386984 KiB
[startup+3342.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/263 48727
/proc/meminfo: memFree=128075232/131250000 swapFree=33007332/33010684
[pid=48423] ppid=48419 vsize=1396112 memory=1386984 CPUtime=3332.98 cores=1,3
/proc/48423/stat : 48423 (uwrmaxsat-scip) R 48419 48423 47683 0 -1 4194304 282504 0 0 0 333229 69 0 0 20 0 1 0 53009443 1429618688 346746 18446744073709551615 4198400 17051741 140721291760752 0 0 0 0 0 8416290 0 0 0 17 1 0 0 0 0 0 19288744 19393640 40689664 140721291766074 140721291766244 140721291766244 140721291771846 0
/proc/48423/statm: 349028 346746 3360 3139 0 345316 0
Current children cumulated CPU time: 3332.98 s
Current children cumulated vsize: 1396112 KiB
Current children cumulated memory: 1386984 KiB
[startup+3402.3 s]
/proc/loadavg: 4.12 4.09 4.09 5/263 48729
/proc/meminfo: memFree=128107840/131250000 swapFree=33007332/33010684
[pid=48423] ppid=48419 vsize=1396112 memory=1386984 CPUtime=3392.81 cores=1,3
/proc/48423/stat : 48423 (uwrmaxsat-scip) R 48419 48423 47683 0 -1 4194304 282618 0 0 0 339212 69 0 0 20 0 1 0 53009443 1429618688 346746 18446744073709551615 4198400 17051741 140721291760752 0 0 0 0 0 8416290 0 0 0 17 1 0 0 0 0 0 19288744 19393640 40689664 140721291766074 140721291766244 140721291766244 140721291771846 0
/proc/48423/statm: 349028 346746 3360 3139 0 345316 0
Current children cumulated CPU time: 3392.81 s
Current children cumulated vsize: 1396112 KiB
Current children cumulated memory: 1386984 KiB
[startup+3462.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/263 48731
/proc/meminfo: memFree=128069456/131250000 swapFree=33007332/33010684
[pid=48423] ppid=48419 vsize=1396112 memory=1386984 CPUtime=3452.65 cores=1,3
/proc/48423/stat : 48423 (uwrmaxsat-scip) R 48419 48423 47683 0 -1 4194304 282744 0 0 0 345196 69 0 0 20 0 1 0 53009443 1429618688 346746 18446744073709551615 4198400 17051741 140721291760752 0 0 0 0 0 8416290 0 0 0 17 1 0 0 0 0 0 19288744 19393640 40689664 140721291766074 140721291766244 140721291766244 140721291771846 0
/proc/48423/statm: 349028 346746 3360 3139 0 345316 0
Current children cumulated CPU time: 3452.65 s
Current children cumulated vsize: 1396112 KiB
Current children cumulated memory: 1386984 KiB
[startup+3522.3 s]
/proc/loadavg: 4.08 4.08 4.09 5/262 48735
/proc/meminfo: memFree=128074232/131250000 swapFree=33007332/33010684
[pid=48423] ppid=48419 vsize=1396112 memory=1386984 CPUtime=3512.48 cores=1,3
/proc/48423/stat : 48423 (uwrmaxsat-scip) R 48419 48423 47683 0 -1 4194304 282870 0 0 0 351179 69 0 0 20 0 1 0 53009443 1429618688 346746 18446744073709551615 4198400 17051741 140721291760752 0 0 0 0 0 8416290 0 0 0 17 1 0 0 0 0 0 19288744 19393640 40689664 140721291766074 140721291766244 140721291766244 140721291771846 0
/proc/48423/statm: 349028 346746 3360 3139 0 345316 0
Current children cumulated CPU time: 3512.48 s
Current children cumulated vsize: 1396112 KiB
Current children cumulated memory: 1386984 KiB
[startup+3582.3 s]
/proc/loadavg: 4.15 4.10 4.09 5/263 48742
/proc/meminfo: memFree=128060104/131250000 swapFree=33007332/33010684
[pid=48423] ppid=48419 vsize=1396112 memory=1386984 CPUtime=3572.32 cores=1,3
/proc/48423/stat : 48423 (uwrmaxsat-scip) R 48419 48423 47683 0 -1 4194304 282996 0 0 0 357163 69 0 0 20 0 1 0 53009443 1429618688 346746 18446744073709551615 4198400 17051741 140721291760752 0 0 0 0 0 8416290 0 0 0 17 1 0 0 0 0 0 19288744 19393640 40689664 140721291766074 140721291766244 140721291766244 140721291771846 0
/proc/48423/statm: 349028 346746 3360 3139 0 345316 0
Current children cumulated CPU time: 3572.32 s
Current children cumulated vsize: 1396112 KiB
Current children cumulated memory: 1386984 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.11 s]
/proc/loadavg: 4.09 4.09 4.09 5/263 48743
/proc/meminfo: memFree=128062280/131250000 swapFree=33007332/33010684
[pid=48423] ppid=48419 vsize=1396112 memory=1386984 CPUtime=3600.05 cores=1,3
/proc/48423/stat : 48423 (uwrmaxsat-scip) R 48419 48423 47683 0 -1 4194304 282997 0 0 0 359936 69 0 0 20 0 1 0 53009443 1429618688 346746 18446744073709551615 4198400 17051741 140721291760752 0 0 0 0 0 8416290 0 0 0 17 1 0 0 0 0 0 19288744 19393640 40689664 140721291766074 140721291766244 140721291766244 140721291771846 0
/proc/48423/statm: 349028 346746 3360 3139 0 345316 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 1396112 KiB
Current children cumulated memory: 1386984 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3610.11 s]
# the end of solver process 48423 was just reported to runsolver
# Child status: 10
# cumulated CPU time of all completed processes: user=3599.36 s, system=0.698606 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3610.11 s]
/proc/loadavg: 4.09 4.09 4.09 5/263 48743
/proc/meminfo: memFree=128062280/131250000 swapFree=33007332/33010684
[pid=48423] ppid=48419 vsize=1396112 memory=1386984 CPUtime=3600.05 cores=1,3
/proc/48423/stat : 48423 (uwrmaxsat-scip) R 48419 48423 47683 0 -1 4194304 282997 0 0 0 359936 69 0 0 20 0 1 0 53009443 1429618688 346746 18446744073709551615 4198400 17051741 140721291760752 0 0 0 0 0 8416290 0 0 0 17 1 0 0 0 0 0 19288744 19393640 40689664 140721291766074 140721291766244 140721291766244 140721291771846 0
/proc/48423/statm: 349028 346746 3360 3139 0 345316 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 1396112 KiB
Current children cumulated memory: 1386984 KiB
Child status: 10
Real time (s): 3610.11
CPU time (s): 3600.06
CPU user time (s): 3599.36
CPU system time (s): 0.698606
CPU usage (%): 99.7217
Max. virtual memory (cumulated for all children) (KiB): 1471304
Max. memory (cumulated for all children) (KiB): 1437440
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.36
system time used= 0.698606
maximum resident set size= 1437440
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 282998
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= 98
involuntary context switches= 5531
# summary of solver processes directly reported to runsolver:
# pid: 48423
# total CPU time (s): 3600.06
# total CPU user time (s): 3599.36
# total CPU system time (s): 0.698606
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.74684 second user time and 16.7361 second system time
The end
Begin job on nodeC019 at 2025-07-01 14:35:19 IDJOB=4490442 IDBENCH=147586 IDSOLVER=3373 FILE ID=nodeC019/4490442-1751373319 RUNJOBID= nodeC019-1751369704-47695 SLURM_JOB_ID= 9598187 Free space on /tmp= 433012 MiB SOLVER NAME= UWrMaxSat-SCIP 2025-06-04 BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/market-split/normalized-opt-market-split_8_70_3.opb COMMAND LINE= HOME/uwrmaxsat-scip BENCHNAME -no-par -scip-delay=300 -scip-cpu=900 -mem-lim=MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4490442-1751373319/watcher-4490442-1751373319 -o /tmp/evaluation-result-4490442-1751373319/solver-4490442-1751373319 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC019-1751369704-47695 --watchdog 3760 HOME/uwrmaxsat-scip HOME/instance-4490442-1751373319.opb -no-par -scip-delay=300 -scip-cpu=900 -mem-lim=31000 TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= d6e4abba593cb3232b5d1a2a9d687dd6 RANDOM SEED=1879290617 nodeC019 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024 /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 : 3606.458 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 pti ibrs ibpb stibp tpr_shadow 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 vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.37 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 : 3599.647 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 pti ibrs ibpb stibp tpr_shadow 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 vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.37 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.667 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 pti ibrs ibpb stibp tpr_shadow 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 vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.37 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 : 3684.731 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 pti ibrs ibpb stibp tpr_shadow 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 vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.37 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 : 3599.659 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 pti ibrs ibpb stibp tpr_shadow 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 vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.37 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 : 3599.688 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 pti ibrs ibpb stibp tpr_shadow 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 vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.37 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 : 3584.558 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 pti ibrs ibpb stibp tpr_shadow 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 vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.37 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 : 3612.111 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 pti ibrs ibpb stibp tpr_shadow 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 vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.37 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131250000 kB MemFree: 129662788 kB MemAvailable: 129368996 kB Buffers: 904 kB Cached: 513260 kB SwapCached: 432 kB Active: 573944 kB Inactive: 379192 kB Active(anon): 426292 kB Inactive(anon): 27816 kB Active(file): 147652 kB Inactive(file): 351376 kB Unevictable: 3072 kB Mlocked: 0 kB SwapTotal: 33010684 kB SwapFree: 33007332 kB Zswap: 0 kB Zswapped: 0 kB Dirty: 32816 kB Writeback: 24 kB AnonPages: 440884 kB Mapped: 130180 kB Shmem: 15136 kB KReclaimable: 92836 kB Slab: 179700 kB SReclaimable: 92836 kB SUnreclaim: 86864 kB KernelStack: 4224 kB PageTables: 3912 kB SecPageTables: 0 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 98635684 kB Committed_AS: 764156 kB VmallocTotal: 34359738367 kB VmallocUsed: 150488 kB VmallocChunk: 0 kB Percpu: 3776 kB HardwareCorrupted: 0 kB AnonHugePages: 362496 kB ShmemHugePages: 0 kB ShmemPmdMapped: 0 kB FileHugePages: 0 kB FilePmdMapped: 0 kB CmaTotal: 0 kB CmaFree: 0 kB Unaccepted: 0 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB Hugetlb: 0 kB DirectMap4k: 176852 kB DirectMap2M: 9031680 kB DirectMap1G: 126877696 kB Free space on /tmp at the end= 432980 MiB End job on nodeC019 at 2025-07-01 15:35:30