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) | 41 | 3600.09 | 3611.11 |
| Name | PB24/normalized-PB06/OPT-LIN/submitted-PB06/ manquiho/market-split/normalized-opt-market-split_8_70_4.opb |
| MD5SUM | c109c801c35aa8e8336c6dae8cef540e |
| 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 | 11 |
| 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 | 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 | 84 |
| 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 | 1881 |
| Number of bits of the biggest number in a constraint | 11 |
| Biggest sum of numbers in a constraint | 6154 |
| 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 0.10/0.14 o 2329 0.10/0.14 c ============================[ Problem Statistics ]============================ 0.10/0.14 c | Number of variables: 18080 | 0.10/0.14 c | Number of clauses: 133256 (incl. 112 soft in queue) | 0.10/0.14 c =============================================================================== 0.10/0.15 c Starting SCIP solver (with time-limit: 900s) ... 0.10/0.15 c SCIP start delayed for at least 300s 2.39/2.46 o 807 8.46/8.57 o 518 9.96/10.06 o 249 125.81/126.24 o 97 300.18/301.15 c SCIP started with lower and upper bounds: [0, 97] 1196.93/1201.27 c SCIP timeout with lower and upper bounds: [0, 41] 1196.93/1201.27 o 41 3600.07/3611.10 c *** TERMINATED by signal 15 *** 3600.07/3611.10 c _______________________________________________________________________________ 3600.07/3611.10 c 3600.07/3611.10 c _______________________________________________________________________________ 3600.07/3611.10 c 3600.07/3611.10 c =======================[ UWrMaxSat resources usage ]=========================== 3600.07/3611.10 c Memory used : 1138.00 MB 3600.07/3611.10 c CPU time : 3598.99 s 3600.07/3611.10 c Constr Enc: Srt/BDD/Add: 8 0 0 3600.07/3611.10 c _______________________________________________________________________________ 3600.07/3611.10 c _______________________________________________________________________________ 3600.07/3611.10 3600.07/3611.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 x176 x177 -x178 -x179 x180 x181 x182 x183 x184 x185 x186 x187 x188 -x189 x190 -x191 x192 -x193 x194 -x195 -x196 -x197 -x198 3600.07/3611.10 s SATISFIABLE
OK 41
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 (62895 MiB free)
memory of node 1: 64465 MiB (63810 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4490580-1751373440/watcher-4490580-1751373440 -o /tmp/evaluation-result-4490580-1751373440/solver-4490580-1751373440 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC019-1751369704-47693 --watchdog 3760 HOME/uwrmaxsat-scip HOME/instance-4490580-1751373440.opb -no-par -scip-delay=300 -scip-cpu=900 -mem-lim=31000
running on 2 cores: 0,2
CPU governors:
performance: 0 2
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
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=48520, runsolver pid=48517
[startup+0.100071 s]*
/proc/loadavg: 4.04 4.13 4.08 5/264 48521
/proc/meminfo: memFree=129711472/131250000 swapFree=33007332/33010684
[pid=48520] ppid=48517 vsize=52888 memory=40804 CPUtime=0.1 cores=0,2
/proc/48520/stat : 48520 (uwrmaxsat-scip) R 48517 48520 47683 0 -1 4194304 8447 0 0 0 9 1 0 0 20 0 1 0 53021548 54157312 10201 18446744073709551615 4198400 17051741 140733439285648 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 19288744 19393640 57442304 140733439293754 140733439293924 140733439293924 140733439299526 0
/proc/48520/statm: 13222 10201 2688 3139 0 9510 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 52888 KiB
Current children cumulated memory: 40804 KiB
[startup+0.205596 s]*
/proc/loadavg: 4.04 4.13 4.08 5/264 48521
/proc/meminfo: memFree=129703660/131250000 swapFree=33007332/33010684
[pid=48520] ppid=48517 vsize=60748 memory=46888 CPUtime=0.2 cores=0,2
/proc/48520/stat : 48520 (uwrmaxsat-scip) R 48517 48520 47683 0 -1 4194304 10615 0 0 0 19 1 0 0 20 0 1 0 53021548 62205952 11722 18446744073709551615 4198400 17051741 140733439285648 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 19288744 19393640 57442304 140733439293754 140733439293924 140733439293924 140733439299526 0
/proc/48520/statm: 15187 11722 2688 3139 0 11475 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 60748 KiB
Current children cumulated memory: 46888 KiB
[startup+0.305591 s]*
/proc/loadavg: 4.04 4.13 4.08 5/264 48521
/proc/meminfo: memFree=129703660/131250000 swapFree=33007332/33010684
[pid=48520] ppid=48517 vsize=61940 memory=47944 CPUtime=0.3 cores=0,2
/proc/48520/stat : 48520 (uwrmaxsat-scip) R 48517 48520 47683 0 -1 4194304 11139 0 0 0 29 1 0 0 20 0 1 0 53021548 63426560 11986 18446744073709551615 4198400 17051741 140733439285648 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 19288744 19393640 57442304 140733439293754 140733439293924 140733439293924 140733439299526 0
/proc/48520/statm: 15485 11986 2688 3139 0 11773 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 61940 KiB
Current children cumulated memory: 47944 KiB
[startup+0.700179 s]
/proc/loadavg: 4.04 4.13 4.08 5/264 48521
/proc/meminfo: memFree=129702904/131250000 swapFree=33007332/33010684
[pid=48520] ppid=48517 vsize=67176 memory=53216 CPUtime=0.68 cores=0,2
/proc/48520/stat : 48520 (uwrmaxsat-scip) R 48517 48520 47683 0 -1 4194304 12211 0 0 0 67 1 0 0 20 0 1 0 53021548 68788224 13304 18446744073709551615 4198400 17051741 140733439285648 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 19288744 19393640 57442304 140733439293754 140733439293924 140733439293924 140733439299526 0
/proc/48520/statm: 16794 13304 2688 3139 0 13082 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 67176 KiB
Current children cumulated memory: 53216 KiB
[startup+1.50018 s]
/proc/loadavg: 4.04 4.13 4.08 5/264 48521
/proc/meminfo: memFree=129691752/131250000 swapFree=33007332/33010684
[pid=48520] ppid=48517 vsize=92960 memory=77380 CPUtime=1.48 cores=0,2
/proc/48520/stat : 48520 (uwrmaxsat-scip) R 48517 48520 47683 0 -1 4194304 19242 0 0 0 146 2 0 0 20 0 1 0 53021548 95191040 19345 18446744073709551615 4198400 17051741 140733439285648 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 19288744 19393640 57442304 140733439293754 140733439293924 140733439293924 140733439299526 0
/proc/48520/statm: 23240 19345 2688 3139 0 19528 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 92960 KiB
Current children cumulated memory: 77380 KiB
[startup+3.10546 s]
/proc/loadavg: 4.04 4.13 4.08 5/264 48521
/proc/meminfo: memFree=129672200/131250000 swapFree=33007332/33010684
[pid=48520] ppid=48517 vsize=93812 memory=80884 CPUtime=3.09 cores=0,2
/proc/48520/stat : 48520 (uwrmaxsat-scip) R 48517 48520 47683 0 -1 4194304 20808 0 0 0 306 3 0 0 20 0 1 0 53021548 96063488 20221 18446744073709551615 4198400 17051741 140733439285648 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 19288744 19393640 57442304 140733439293754 140733439293924 140733439293924 140733439299526 0
/proc/48520/statm: 23453 20221 2720 3139 0 19741 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 93812 KiB
Current children cumulated memory: 80884 KiB
[startup+6.30016 s]
/proc/loadavg: 4.11 4.15 4.09 5/264 48521
/proc/meminfo: memFree=129662316/131250000 swapFree=33007332/33010684
[pid=48520] ppid=48517 vsize=92776 memory=80004 CPUtime=6.27 cores=0,2
/proc/48520/stat : 48520 (uwrmaxsat-scip) R 48517 48520 47683 0 -1 4194304 23375 0 0 0 623 4 0 0 20 0 1 0 53021548 95002624 20001 18446744073709551615 4198400 17051741 140733439285648 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 19288744 19393640 57442304 140733439293754 140733439293924 140733439293924 140733439299526 0
/proc/48520/statm: 23194 20001 2720 3139 0 19482 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 92776 KiB
Current children cumulated memory: 80004 KiB
[startup+12.7002 s]
/proc/loadavg: 4.10 4.14 4.09 5/264 48521
/proc/meminfo: memFree=129649652/131250000 swapFree=33007332/33010684
[pid=48520] ppid=48517 vsize=90656 memory=78028 CPUtime=12.65 cores=0,2
/proc/48520/stat : 48520 (uwrmaxsat-scip) R 48517 48520 47683 0 -1 4194304 26203 0 0 0 1261 4 0 0 20 0 1 0 53021548 92831744 19507 18446744073709551615 4198400 17051741 140733439285648 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 19288744 19393640 57442304 140733439293754 140733439293924 140733439293924 140733439299526 0
/proc/48520/statm: 22664 19507 2720 3139 0 18952 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 90656 KiB
Current children cumulated memory: 78028 KiB
[startup+25.5002 s]
/proc/loadavg: 4.09 4.14 4.09 5/264 48521
/proc/meminfo: memFree=129629180/131250000 swapFree=33007332/33010684
[pid=48520] ppid=48517 vsize=95912 memory=83092 CPUtime=25.42 cores=0,2
/proc/48520/stat : 48520 (uwrmaxsat-scip) R 48517 48520 47683 0 -1 4194304 31808 0 0 0 2536 6 0 0 20 0 1 0 53021548 98213888 20773 18446744073709551615 4198400 17051741 140733439285648 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 19288744 19393640 57442304 140733439293754 140733439293924 140733439293924 140733439299526 0
/proc/48520/statm: 23978 20773 2720 3139 0 20266 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 95912 KiB
Current children cumulated memory: 83092 KiB
[startup+51.1055 s]
/proc/loadavg: 4.13 4.14 4.09 5/264 48522
/proc/meminfo: memFree=129586772/131250000 swapFree=33007332/33010684
[pid=48520] ppid=48517 vsize=95324 memory=81300 CPUtime=50.94 cores=0,2
/proc/48520/stat : 48520 (uwrmaxsat-scip) R 48517 48520 47683 0 -1 4194304 36976 0 0 0 5086 8 0 0 20 0 1 0 53021548 97611776 20325 18446744073709551615 4198400 17051741 140733439285648 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 19288744 19393640 57442304 140733439293754 140733439293924 140733439293924 140733439299526 0
/proc/48520/statm: 23831 20325 2720 3139 0 20119 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 95324 KiB
Current children cumulated memory: 81300 KiB
[startup+102.3 s]
/proc/loadavg: 4.41 4.20 4.11 5/264 48524
/proc/meminfo: memFree=129586992/131250000 swapFree=33007332/33010684
[pid=48520] ppid=48517 vsize=120532 memory=107668 CPUtime=101.98 cores=0,2
/proc/48520/stat : 48520 (uwrmaxsat-scip) R 48517 48520 47683 0 -1 4194304 41040 0 0 0 10189 9 0 0 20 0 1 0 53021548 123424768 26917 18446744073709551615 4198400 17051741 140733439285648 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 19288744 19393640 57442304 140733439293754 140733439293924 140733439293924 140733439299526 0
/proc/48520/statm: 30133 26917 2720 3139 0 26421 0
Current children cumulated CPU time: 101.98 s
Current children cumulated vsize: 120532 KiB
Current children cumulated memory: 107668 KiB
[startup+162.3 s]
/proc/loadavg: 4.24 4.19 4.11 5/262 48526
/proc/meminfo: memFree=129530328/131250000 swapFree=33007332/33010684
[pid=48520] ppid=48517 vsize=130760 memory=117944 CPUtime=161.8 cores=0,2
/proc/48520/stat : 48520 (uwrmaxsat-scip) R 48517 48520 47683 0 -1 4194304 44648 0 0 0 16169 11 0 0 20 0 1 0 53021548 133898240 29486 18446744073709551615 4198400 17051741 140733439285648 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 19288744 19393640 57442304 140733439293754 140733439293924 140733439293924 140733439299526 0
/proc/48520/statm: 32690 29486 2720 3139 0 28978 0
Current children cumulated CPU time: 161.8 s
Current children cumulated vsize: 130760 KiB
Current children cumulated memory: 117944 KiB
[startup+222.3 s]
/proc/loadavg: 4.50 4.27 4.14 5/262 48528
/proc/meminfo: memFree=129471712/131250000 swapFree=33007332/33010684
[pid=48520] ppid=48517 vsize=132836 memory=120416 CPUtime=221.62 cores=0,2
/proc/48520/stat : 48520 (uwrmaxsat-scip) R 48517 48520 47683 0 -1 4194304 45602 0 0 0 22150 12 0 0 20 0 1 0 53021548 136024064 30104 18446744073709551615 4198400 17051741 140733439285648 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 19288744 19393640 57442304 140733439293754 140733439293924 140733439293924 140733439299526 0
/proc/48520/statm: 33209 30104 2720 3139 0 29497 0
Current children cumulated CPU time: 221.62 s
Current children cumulated vsize: 132836 KiB
Current children cumulated memory: 120416 KiB
[startup+282.3 s]
/proc/loadavg: 4.25 4.23 4.14 5/262 48575
/proc/meminfo: memFree=129460832/131250000 swapFree=33007332/33010684
[pid=48520] ppid=48517 vsize=114204 memory=103752 CPUtime=281.43 cores=0,2
/proc/48520/stat : 48520 (uwrmaxsat-scip) R 48517 48520 47683 0 -1 4194304 50181 0 0 0 28128 15 0 0 20 0 1 0 53021548 116944896 25938 18446744073709551615 4198400 17051741 140733439285648 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 19288744 19393640 57442304 140733439293754 140733439293924 140733439293924 140733439299526 0
/proc/48520/statm: 28551 25938 2720 3139 0 24839 0
Current children cumulated CPU time: 281.43 s
Current children cumulated vsize: 114204 KiB
Current children cumulated memory: 103752 KiB
[startup+342.3 s]
/proc/loadavg: 4.14 4.20 4.13 5/262 48577
/proc/meminfo: memFree=129130436/131250000 swapFree=33007332/33010684
[pid=48520] ppid=48517 vsize=246660 memory=232980 CPUtime=341.2 cores=0,2
/proc/48520/stat : 48520 (uwrmaxsat-scip) R 48517 48520 47683 0 -1 4194304 73847 0 0 0 34099 21 0 0 20 0 1 0 53021548 252579840 58245 18446744073709551615 4198400 17051741 140733439285648 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 19288744 19393640 57442304 140733439293754 140733439293924 140733439293924 140733439299526 0
/proc/48520/statm: 61665 58245 3328 3139 0 57953 0
Current children cumulated CPU time: 341.2 s
Current children cumulated vsize: 246660 KiB
Current children cumulated memory: 232980 KiB
[startup+402.3 s]
/proc/loadavg: 4.17 4.19 4.13 5/264 48583
/proc/meminfo: memFree=128845472/131250000 swapFree=33007332/33010684
[pid=48520] ppid=48517 vsize=394216 memory=379620 CPUtime=400.95 cores=0,2
/proc/48520/stat : 48520 (uwrmaxsat-scip) R 48517 48520 47683 0 -1 4194304 105472 0 0 0 40068 27 0 0 20 0 1 0 53021548 403677184 94905 18446744073709551615 4198400 17051741 140733439285648 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 19288744 19393640 57442304 140733439293754 140733439293924 140733439293924 140733439299526 0
/proc/48520/statm: 98554 94905 3328 3139 0 94842 0
Current children cumulated CPU time: 400.95 s
Current children cumulated vsize: 394216 KiB
Current children cumulated memory: 379620 KiB
[startup+462.3 s]
/proc/loadavg: 4.11 4.17 4.12 5/264 48588
/proc/meminfo: memFree=128591296/131250000 swapFree=33007332/33010684
[pid=48520] ppid=48517 vsize=514568 memory=495008 CPUtime=460.72 cores=0,2
/proc/48520/stat : 48520 (uwrmaxsat-scip) R 48517 48520 47683 0 -1 4194304 126132 0 0 0 46040 32 0 0 20 0 1 0 53021548 526917632 123752 18446744073709551615 4198400 17051741 140733439285648 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 19288744 19393640 57442304 140733439293754 140733439293924 140733439293924 140733439299526 0
/proc/48520/statm: 128642 123752 3328 3139 0 124930 0
Current children cumulated CPU time: 460.72 s
################
# More data... #
################
Current children cumulated memory: 241876 KiB
[startup+2922.3 s]
/proc/loadavg: 4.08 4.08 4.09 5/265 48717
/proc/meminfo: memFree=128041580/131250000 swapFree=33007332/33010684
[pid=48520] ppid=48517 vsize=251404 memory=243388 CPUtime=2913.18 cores=0,2
/proc/48520/stat : 48520 (uwrmaxsat-scip) R 48517 48520 47683 0 -1 4194304 252261 0 0 0 291227 91 0 0 20 0 1 0 53021548 257437696 60847 18446744073709551615 4198400 17051741 140733439285648 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 19288744 19393640 57442304 140733439293754 140733439293924 140733439293924 140733439299526 0
/proc/48520/statm: 62851 60847 3328 3139 0 59139 0
Current children cumulated CPU time: 2913.18 s
Current children cumulated vsize: 251404 KiB
Current children cumulated memory: 243388 KiB
[startup+2982.3 s]
/proc/loadavg: 4.15 4.10 4.09 5/265 48718
/proc/meminfo: memFree=128085748/131250000 swapFree=33007332/33010684
[pid=48520] ppid=48517 vsize=204972 memory=197012 CPUtime=2973.02 cores=0,2
/proc/48520/stat : 48520 (uwrmaxsat-scip) R 48517 48520 47683 0 -1 4194304 252284 0 0 0 297211 91 0 0 20 0 1 0 53021548 209891328 49253 18446744073709551615 4198400 17051741 140733439285648 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 19288744 19393640 57442304 140733439293754 140733439293924 140733439293924 140733439299526 0
/proc/48520/statm: 51243 49253 3328 3139 0 47531 0
Current children cumulated CPU time: 2973.02 s
Current children cumulated vsize: 204972 KiB
Current children cumulated memory: 197012 KiB
[startup+3042.3 s]
/proc/loadavg: 4.05 4.08 4.09 5/265 48720
/proc/meminfo: memFree=128037360/131250000 swapFree=33007332/33010684
[pid=48520] ppid=48517 vsize=259080 memory=251032 CPUtime=3032.86 cores=0,2
/proc/48520/stat : 48520 (uwrmaxsat-scip) R 48517 48520 47683 0 -1 4194304 253548 0 0 0 303194 92 0 0 20 0 1 0 53021548 265297920 62758 18446744073709551615 4198400 17051741 140733439285648 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 19288744 19393640 57442304 140733439293754 140733439293924 140733439293924 140733439299526 0
/proc/48520/statm: 64770 62758 3328 3139 0 61058 0
Current children cumulated CPU time: 3032.86 s
Current children cumulated vsize: 259080 KiB
Current children cumulated memory: 251032 KiB
[startup+3102.3 s]
/proc/loadavg: 4.06 4.08 4.09 5/265 48722
/proc/meminfo: memFree=128032452/131250000 swapFree=33007332/33010684
[pid=48520] ppid=48517 vsize=259080 memory=251032 CPUtime=3092.69 cores=0,2
/proc/48520/stat : 48520 (uwrmaxsat-scip) R 48517 48520 47683 0 -1 4194304 253548 0 0 0 309177 92 0 0 20 0 1 0 53021548 265297920 62758 18446744073709551615 4198400 17051741 140733439285648 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 19288744 19393640 57442304 140733439293754 140733439293924 140733439293924 140733439299526 0
/proc/48520/statm: 64770 62758 3328 3139 0 61058 0
Current children cumulated CPU time: 3092.69 s
Current children cumulated vsize: 259080 KiB
Current children cumulated memory: 251032 KiB
[startup+3162.3 s]
/proc/loadavg: 4.12 4.09 4.09 5/265 48724
/proc/meminfo: memFree=128093384/131250000 swapFree=33007332/33010684
[pid=48520] ppid=48517 vsize=202284 memory=194396 CPUtime=3152.53 cores=0,2
/proc/48520/stat : 48520 (uwrmaxsat-scip) R 48517 48520 47683 0 -1 4194304 254683 0 0 0 315159 94 0 0 20 0 1 0 53021548 207138816 48599 18446744073709551615 4198400 17051741 140733439285648 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 19288744 19393640 57442304 140733439293754 140733439293924 140733439293924 140733439299526 0
/proc/48520/statm: 50571 48599 3328 3139 0 46859 0
Current children cumulated CPU time: 3152.53 s
Current children cumulated vsize: 202284 KiB
Current children cumulated memory: 194396 KiB
[startup+3222.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/263 48727
/proc/meminfo: memFree=128075232/131250000 swapFree=33007332/33010684
[pid=48520] ppid=48517 vsize=203260 memory=195372 CPUtime=3212.37 cores=0,2
/proc/48520/stat : 48520 (uwrmaxsat-scip) R 48517 48520 47683 0 -1 4194304 255763 0 0 0 321142 95 0 0 20 0 1 0 53021548 208138240 48843 18446744073709551615 4198400 17051741 140733439285648 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 19288744 19393640 57442304 140733439293754 140733439293924 140733439293924 140733439299526 0
/proc/48520/statm: 50815 48843 3328 3139 0 47103 0
Current children cumulated CPU time: 3212.37 s
Current children cumulated vsize: 203260 KiB
Current children cumulated memory: 195372 KiB
[startup+3282.3 s]
/proc/loadavg: 4.11 4.09 4.09 5/263 48729
/proc/meminfo: memFree=128107848/131250000 swapFree=33007332/33010684
[pid=48520] ppid=48517 vsize=205084 memory=197196 CPUtime=3272.2 cores=0,2
/proc/48520/stat : 48520 (uwrmaxsat-scip) R 48517 48520 47683 0 -1 4194304 256669 0 0 0 327123 97 0 0 20 0 1 0 53021548 210006016 49299 18446744073709551615 4198400 17051741 140733439285648 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 19288744 19393640 57442304 140733439293754 140733439293924 140733439293924 140733439299526 0
/proc/48520/statm: 51271 49299 3328 3139 0 47559 0
Current children cumulated CPU time: 3272.2 s
Current children cumulated vsize: 205084 KiB
Current children cumulated memory: 197196 KiB
[startup+3342.3 s]
/proc/loadavg: 4.09 4.08 4.09 5/263 48731
/proc/meminfo: memFree=128069456/131250000 swapFree=33007332/33010684
[pid=48520] ppid=48517 vsize=220864 memory=212976 CPUtime=3332.04 cores=0,2
/proc/48520/stat : 48520 (uwrmaxsat-scip) R 48517 48520 47683 0 -1 4194304 257672 0 0 0 333105 99 0 0 20 0 1 0 53021548 226164736 53244 18446744073709551615 4198400 17051741 140733439285648 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 19288744 19393640 57442304 140733439293754 140733439293924 140733439293924 140733439299526 0
/proc/48520/statm: 55216 53244 3328 3139 0 51504 0
Current children cumulated CPU time: 3332.04 s
Current children cumulated vsize: 220864 KiB
Current children cumulated memory: 212976 KiB
[startup+3402.3 s]
/proc/loadavg: 4.08 4.08 4.09 5/262 48735
/proc/meminfo: memFree=128075524/131250000 swapFree=33007332/33010684
[pid=48520] ppid=48517 vsize=220056 memory=212168 CPUtime=3391.87 cores=0,2
/proc/48520/stat : 48520 (uwrmaxsat-scip) R 48517 48520 47683 0 -1 4194304 258442 0 0 0 339086 101 0 0 20 0 1 0 53021548 225337344 53042 18446744073709551615 4198400 17051741 140733439285648 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 19288744 19393640 57442304 140733439293754 140733439293924 140733439293924 140733439299526 0
/proc/48520/statm: 55014 53042 3328 3139 0 51302 0
Current children cumulated CPU time: 3391.87 s
Current children cumulated vsize: 220056 KiB
Current children cumulated memory: 212168 KiB
[startup+3462.3 s]
/proc/loadavg: 4.14 4.10 4.09 5/263 48742
/proc/meminfo: memFree=128060104/131250000 swapFree=33007332/33010684
[pid=48520] ppid=48517 vsize=221532 memory=213644 CPUtime=3451.7 cores=0,2
/proc/48520/stat : 48520 (uwrmaxsat-scip) R 48517 48520 47683 0 -1 4194304 259802 0 0 0 345067 103 0 0 20 0 1 0 53021548 226848768 53411 18446744073709551615 4198400 17051741 140733439285648 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 19288744 19393640 57442304 140733439293754 140733439293924 140733439293924 140733439299526 0
/proc/48520/statm: 55383 53411 3328 3139 0 51671 0
Current children cumulated CPU time: 3451.7 s
Current children cumulated vsize: 221532 KiB
Current children cumulated memory: 213644 KiB
[startup+3522.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/263 48788
/proc/meminfo: memFree=129395692/131250000 swapFree=33007332/33010684
[pid=48520] ppid=48517 vsize=219508 memory=211620 CPUtime=3511.52 cores=0,2
/proc/48520/stat : 48520 (uwrmaxsat-scip) R 48517 48520 47683 0 -1 4194304 260538 0 0 0 351046 106 0 0 20 0 1 0 53021548 224776192 52905 18446744073709551615 4198400 17051741 140733439285648 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 19288744 19393640 57442304 140733439293754 140733439293924 140733439293924 140733439299526 0
/proc/48520/statm: 54877 52905 3328 3139 0 51165 0
Current children cumulated CPU time: 3511.52 s
Current children cumulated vsize: 219508 KiB
Current children cumulated memory: 211620 KiB
[startup+3582.3 s]
/proc/loadavg: 4.15 4.10 4.09 5/263 48834
/proc/meminfo: memFree=129583648/131250000 swapFree=33007332/33010684
[pid=48520] ppid=48517 vsize=220940 memory=213052 CPUtime=3571.35 cores=0,2
/proc/48520/stat : 48520 (uwrmaxsat-scip) R 48517 48520 47683 0 -1 4194304 261655 0 0 0 357027 108 0 0 20 0 1 0 53021548 226242560 53263 18446744073709551615 4198400 17051741 140733439285648 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 19288744 19393640 57442304 140733439293754 140733439293924 140733439293924 140733439299526 0
/proc/48520/statm: 55235 53263 3328 3139 0 51523 0
Current children cumulated CPU time: 3571.35 s
Current children cumulated vsize: 220940 KiB
Current children cumulated memory: 213052 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3611.11 s]
/proc/loadavg: 4.10 4.09 4.09 5/264 48837
/proc/meminfo: memFree=129579084/131250000 swapFree=33007332/33010684
[pid=48520] ppid=48517 vsize=222640 memory=214752 CPUtime=3600.07 cores=0,2
/proc/48520/stat : 48520 (uwrmaxsat-scip) R 48517 48520 47683 0 -1 4194304 261990 0 0 0 359898 109 0 0 20 0 1 0 53021548 227983360 53688 18446744073709551615 4198400 17051741 140733439285648 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 19288744 19393640 57442304 140733439293754 140733439293924 140733439293924 140733439299526 0
/proc/48520/statm: 55660 53688 3328 3139 0 51948 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 222640 KiB
Current children cumulated memory: 214752 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3611.11 s]
# the end of solver process 48520 was just reported to runsolver
# Child status: 10
# cumulated CPU time of all completed processes: user=3598.99 s, system=1.09955 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3611.11 s]
/proc/loadavg: 4.10 4.09 4.09 5/264 48837
/proc/meminfo: memFree=129579084/131250000 swapFree=33007332/33010684
[pid=48520] ppid=48517 vsize=222640 memory=214752 CPUtime=3600.07 cores=0,2
/proc/48520/stat : 48520 (uwrmaxsat-scip) R 48517 48520 47683 0 -1 4194304 261990 0 0 0 359898 109 0 0 20 0 1 0 53021548 227983360 53688 18446744073709551615 4198400 17051741 140733439285648 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 19288744 19393640 57442304 140733439293754 140733439293924 140733439293924 140733439299526 0
/proc/48520/statm: 55660 53688 3328 3139 0 51948 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 222640 KiB
Current children cumulated memory: 214752 KiB
Child status: 10
Real time (s): 3611.11
CPU time (s): 3600.09
CPU user time (s): 3598.99
CPU system time (s): 1.09955
CPU usage (%): 99.6949
Max. virtual memory (cumulated for all children) (KiB): 1165680
Max. memory (cumulated for all children) (KiB): 1136340
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.99
system time used= 1.09955
maximum resident set size= 1136340
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 261991
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= 43
involuntary context switches= 4654
# summary of solver processes directly reported to runsolver:
# pid: 48520
# total CPU time (s): 3600.09
# total CPU user time (s): 3598.99
# total CPU system time (s): 1.09955
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.72739 second user time and 16.2121 second system time
The end
Begin job on nodeC019 at 2025-07-01 14:37:20 IDJOB=4490580 IDBENCH=147593 IDSOLVER=3373 FILE ID=nodeC019/4490580-1751373440 RUNJOBID= nodeC019-1751369704-47693 SLURM_JOB_ID= 9598187 Free space on /tmp= 432996 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_4.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-4490580-1751373440/watcher-4490580-1751373440 -o /tmp/evaluation-result-4490580-1751373440/solver-4490580-1751373440 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC019-1751369704-47693 --watchdog 3760 HOME/uwrmaxsat-scip HOME/instance-4490580-1751373440.opb -no-par -scip-delay=300 -scip-cpu=900 -mem-lim=31000 TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= c109c801c35aa8e8336c6dae8cef540e RANDOM SEED=1065252538 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 : 3603.128 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.602 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.701 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 : 3530.229 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.711 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.698 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 : 3602.192 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 : 3596.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 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: 129746752 kB MemAvailable: 129453300 kB Buffers: 904 kB Cached: 513600 kB SwapCached: 432 kB Active: 519880 kB Inactive: 379532 kB Active(anon): 372228 kB Inactive(anon): 27816 kB Active(file): 147652 kB Inactive(file): 351716 kB Unevictable: 3072 kB Mlocked: 0 kB SwapTotal: 33010684 kB SwapFree: 33007332 kB Zswap: 0 kB Zswapped: 0 kB Dirty: 16596 kB Writeback: 0 kB AnonPages: 386392 kB Mapped: 138412 kB Shmem: 15136 kB KReclaimable: 92840 kB Slab: 179684 kB SReclaimable: 92840 kB SUnreclaim: 86844 kB KernelStack: 4256 kB PageTables: 3748 kB SecPageTables: 0 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 98635684 kB Committed_AS: 737064 kB VmallocTotal: 34359738367 kB VmallocUsed: 150536 kB VmallocChunk: 0 kB Percpu: 3776 kB HardwareCorrupted: 0 kB AnonHugePages: 221184 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:37:32