Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| ExactPR 2025-06-01 | ? (TO) | 3602.11 | 3613.11 |
| Name | PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/ wnq/normalized-wnq_n100_mw99_8.opb.PB06.opb |
| MD5SUM | 50cf9112b5ea763531dadde21846562c |
| 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 | 211 |
| Best CPU time to get the best result obtained on this benchmark | 3586.65 |
| 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 | 10000 |
| Total number of constraints | 656900 |
| Number of constraints which are clauses | 656900 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 100 |
| Number of terms in the objective function | 10000 |
| Biggest coefficient in the objective function | 99 |
| Number of bits for the biggest coefficient in the objective function | 7 |
| Sum of the numbers in the objective function | 495981 |
| Number of bits of the sum of numbers in the objective function | 19 |
| Biggest number in a constraint | 99 |
| Number of bits of the biggest number in a constraint | 7 |
| Biggest sum of numbers in a constraint | 495981 |
| Number of bits of the biggest sum of numbers | 19 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
4.16/4.27 c 656900 constraints 4.16/4.27 c after presolve 656939 4.97/5.06 c Finish cloning data from SAT to LS 4.97/5.06 c intsize: 19 64.99/65.22 c Use LS-small 64.99/65.22 o 7119 64.99/65.22 o 4305 64.99/65.22 o 4149 64.99/65.22 o 4105 64.99/65.22 o 4080 64.99/65.22 o 4051 64.99/65.22 o 4017 64.99/65.22 o 4004 64.99/65.22 o 3984 64.99/65.22 o 3976 64.99/65.22 o 3968 64.99/65.22 o 3913 64.99/65.22 o 3908 64.99/65.22 o 3872 64.99/65.22 o 3803 64.99/65.22 o 3752 64.99/65.22 o 3719 64.99/65.22 o 3694 64.99/65.22 o 3678 64.99/65.22 o 1311 64.99/65.22 o 1307 64.99/65.22 o 960 64.99/65.22 o 947 64.99/65.22 o 856 64.99/65.22 o 631 64.99/65.22 o 623 64.99/65.22 o 620 64.99/65.22 o 618 64.99/65.22 o 528 64.99/65.22 o 498 64.99/65.22 o 493 64.99/65.22 o 482 64.99/65.22 o 473 64.99/65.22 o 424 64.99/65.22 o 416 64.99/65.22 o 346 64.99/65.22 o 345 64.99/65.22 o 337 64.99/65.22 o 301 64.99/65.22 o 299 64.99/65.22 o 292 64.99/65.22 o 291 64.99/65.22 o 281 64.99/65.22 o 278 64.99/65.22 o 270 64.99/65.22 o 244 64.99/65.22 o 240 64.99/65.22 o 239 64.99/65.22 o 236 64.99/65.22 o 219 64.99/65.22 o 218 64.99/65.22 o 217 64.99/65.22 o 216 64.99/65.22 o 215 64.99/65.22 o 214 64.99/65.22 o 213 64.99/65.22 c SAT by LS-small 64.99/65.22 o 213
ERROR: no interpretation found !
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: 63665 MiB (62918 MiB free)
memory of node 1: 64507 MiB (64010 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4489483-1751354118/watcher-4489483-1751354118 -o /tmp/evaluation-result-4489483-1751354118/solver-4489483-1751354118 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC018-1751346895-52413 --watchdog 3760 ./ExactPR --pre-solve=1 --print-uniform=0 --verbosity=0 --print-sol HOME/instance-4489483-1751354118.opb
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
Starting watchdog thread
solver pid=53161, runsolver pid=53157
Current StackSize limit: 8192 KiB
[startup+0.100061 s]*
/proc/loadavg: 4.11 4.09 4.09 4/263 53170
/proc/meminfo: memFree=129936152/131250000 swapFree=33010416/33010684
[pid=53161] ppid=53157 vsize=66248 memory=27508 CPUtime=0.09 cores=1,3
/proc/53161/stat : 53161 (ExactPR) R 53157 53161 52401 0 -1 4194304 5291 0 0 0 8 1 0 0 20 0 1 0 51089686 67837952 6877 18446744073709551615 93904705978368 93904715278213 140728635561424 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 93904717064512 93904717103592 93904741806080 140728635570565 140728635570700 140728635570700 140728635576302 0
/proc/53161/statm: 16562 6877 1664 2271 0 11200 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 66248 KiB
Current children cumulated memory: 27508 KiB
[startup+0.205679 s]*
/proc/loadavg: 4.11 4.09 4.09 4/261 53174
/proc/meminfo: memFree=129917252/131250000 swapFree=33010416/33010684
[pid=53161] ppid=53157 vsize=69904 memory=33068 CPUtime=0.19 cores=1,3
/proc/53161/stat : 53161 (ExactPR) R 53157 53161 52401 0 -1 4194304 6175 0 0 0 18 1 0 0 20 0 1 0 51089686 71581696 8267 18446744073709551615 93904705978368 93904715278213 140728635561424 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 93904717064512 93904717103592 93904741806080 140728635570565 140728635570700 140728635570700 140728635576302 0
/proc/53161/statm: 17476 8267 1664 2271 0 12114 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 69904 KiB
Current children cumulated memory: 33068 KiB
[startup+0.305478 s]*
/proc/loadavg: 4.11 4.09 4.09 4/261 53174
/proc/meminfo: memFree=129909188/131250000 swapFree=33010416/33010684
[pid=53161] ppid=53157 vsize=75184 memory=42200 CPUtime=0.29 cores=1,3
/proc/53161/stat : 53161 (ExactPR) R 53157 53161 52401 0 -1 4194304 7436 0 0 0 28 1 0 0 20 0 1 0 51089686 76988416 10550 18446744073709551615 93904705978368 93904715278213 140728635561424 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 93904717064512 93904717103592 93904741806080 140728635570565 140728635570700 140728635570700 140728635576302 0
/proc/53161/statm: 18796 10550 1664 2271 0 13434 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 75184 KiB
Current children cumulated memory: 42200 KiB
[startup+0.700184 s]
/proc/loadavg: 4.10 4.09 4.09 4/261 53174
/proc/meminfo: memFree=129861180/131250000 swapFree=33010416/33010684
[pid=53161] ppid=53157 vsize=104564 memory=67140 CPUtime=0.68 cores=1,3
/proc/53161/stat : 53161 (ExactPR) R 53157 53161 52401 0 -1 4194304 12356 0 0 0 65 3 0 0 20 0 1 0 51089686 107073536 16785 18446744073709551615 93904705978368 93904715278213 140728635561424 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 93904717064512 93904717103592 93904741806080 140728635570565 140728635570700 140728635570700 140728635576302 0
/proc/53161/statm: 26141 16785 1664 2271 0 20779 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 104564 KiB
Current children cumulated memory: 67140 KiB
[startup+1.50019 s]
/proc/loadavg: 4.10 4.09 4.09 5/262 53201
/proc/meminfo: memFree=129745060/131250000 swapFree=33010416/33010684
[pid=53161] ppid=53157 vsize=253536 memory=196248 CPUtime=1.47 cores=1,3
/proc/53161/stat : 53161 (ExactPR) R 53157 53161 52401 0 -1 4194304 23593 0 0 0 140 7 0 0 20 0 1 0 51089686 259620864 49062 18446744073709551615 93904705978368 93904715278213 140728635561424 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 93904717064512 93904717103592 93904741806080 140728635570565 140728635570700 140728635570700 140728635576302 0
/proc/53161/statm: 63384 49062 1760 2271 0 58022 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 253536 KiB
Current children cumulated memory: 196248 KiB
[startup+3.10579 s]
/proc/loadavg: 4.10 4.09 4.09 5/265 53211
/proc/meminfo: memFree=128103040/131250000 swapFree=33010416/33010684
[pid=53161] ppid=53157 vsize=529644 memory=433032 CPUtime=3.07 cores=1,3
/proc/53161/stat : 53161 (ExactPR) R 53157 53161 52401 0 -1 4194304 40497 0 0 0 290 17 0 0 20 0 1 0 51089686 542355456 108258 18446744073709551615 93904705978368 93904715278213 140728635561424 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 93904717064512 93904717103592 93904741806080 140728635570565 140728635570700 140728635570700 140728635576302 0
/proc/53161/statm: 132411 108258 1824 2271 0 127049 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 529644 KiB
Current children cumulated memory: 433032 KiB
[startup+6.30019 s]
/proc/loadavg: 4.10 4.09 4.09 5/265 53211
/proc/meminfo: memFree=126030236/131250000 swapFree=33010416/33010684
[pid=53161] ppid=53157 vsize=1088316 memory=960976 CPUtime=6.26 cores=1,3
/proc/53161/stat : 53161 (ExactPR) R 53157 53161 52401 0 -1 4194304 161768 0 0 0 589 37 0 0 20 0 1 0 51089686 1114435584 240244 18446744073709551615 93904705978368 93904715278213 140728635561424 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 93904717064512 93904717103592 93904741806080 140728635570565 140728635570700 140728635570700 140728635576302 0
/proc/53161/statm: 272079 240244 1888 2271 0 266717 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 1088316 KiB
Current children cumulated memory: 960976 KiB
[startup+12.7002 s]
/proc/loadavg: 4.09 4.09 4.09 5/265 53211
/proc/meminfo: memFree=126030244/131250000 swapFree=33010416/33010684
[pid=53161] ppid=53157 vsize=1088316 memory=961104 CPUtime=12.64 cores=1,3
/proc/53161/stat : 53161 (ExactPR) R 53157 53161 52401 0 -1 4194304 161812 0 0 0 1224 40 0 0 20 0 1 0 51089686 1114435584 240276 18446744073709551615 93904705978368 93904715278213 140728635561424 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 93904717064512 93904717103592 93904741806080 140728635570565 140728635570700 140728635570700 140728635576302 0
/proc/53161/statm: 272079 240276 1888 2271 0 266717 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 1088316 KiB
Current children cumulated memory: 961104 KiB
[startup+25.5002 s]
/proc/loadavg: 4.15 4.10 4.09 5/265 53211
/proc/meminfo: memFree=126076272/131250000 swapFree=33010416/33010684
[pid=53161] ppid=53157 vsize=1088316 memory=961104 CPUtime=25.4 cores=1,3
/proc/53161/stat : 53161 (ExactPR) R 53157 53161 52401 0 -1 4194304 161812 0 0 0 2493 47 0 0 20 0 1 0 51089686 1114435584 240276 18446744073709551615 93904705978368 93904715278213 140728635561424 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 93904717064512 93904717103592 93904741806080 140728635570565 140728635570700 140728635570700 140728635576302 0
/proc/53161/statm: 272079 240276 1888 2271 0 266717 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 1088316 KiB
Current children cumulated memory: 961104 KiB
[startup+51.1055 s]
/proc/loadavg: 4.09 4.09 4.09 5/265 53212
/proc/meminfo: memFree=126076572/131250000 swapFree=33010416/33010684
[pid=53161] ppid=53157 vsize=1088316 memory=961104 CPUtime=50.94 cores=1,3
/proc/53161/stat : 53161 (ExactPR) R 53157 53161 52401 0 -1 4194304 161838 0 0 0 5033 61 0 0 20 0 1 0 51089686 1114435584 240276 18446744073709551615 93904705978368 93904715278213 140728635561424 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 93904717064512 93904717103592 93904741806080 140728635570565 140728635570700 140728635570700 140728635576302 0
/proc/53161/statm: 272079 240276 1888 2271 0 266717 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 1088316 KiB
Current children cumulated memory: 961104 KiB
[startup+102.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/264 53213
/proc/meminfo: memFree=124105264/131250000 swapFree=33010416/33010684
[pid=53161] ppid=53157 vsize=1626420 memory=1447228 CPUtime=101.98 cores=1,3
/proc/53161/stat : 53161 (ExactPR) R 53157 53161 52401 0 -1 4194304 235084 0 0 0 10106 92 0 0 20 0 1 0 51089686 1665454080 361807 18446744073709551615 93904705978368 93904715278213 140728635561424 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 93904717064512 93904717103592 93904741806080 140728635570565 140728635570700 140728635570700 140728635576302 0
/proc/53161/statm: 406605 361807 1888 2271 0 401243 0
Current children cumulated CPU time: 101.98 s
Current children cumulated vsize: 1626420 KiB
Current children cumulated memory: 1447228 KiB
[startup+162.3 s]
/proc/loadavg: 4.13 4.10 4.09 5/264 53215
/proc/meminfo: memFree=122286056/131250000 swapFree=33010416/33010684
[pid=53161] ppid=53157 vsize=2154452 memory=1895884 CPUtime=161.79 cores=1,3
/proc/53161/stat : 53161 (ExactPR) R 53157 53161 52401 0 -1 4194304 290051 0 0 0 16064 115 0 0 20 0 1 0 51089686 2206158848 473971 18446744073709551615 93904705978368 93904715278213 140728635561424 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 93904717064512 93904717103592 93904741806080 140728635570565 140728635570700 140728635570700 140728635576302 0
/proc/53161/statm: 538613 473971 1888 2271 0 533251 0
Current children cumulated CPU time: 161.79 s
Current children cumulated vsize: 2154452 KiB
Current children cumulated memory: 1895884 KiB
[startup+222.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/264 53217
/proc/meminfo: memFree=121520224/131250000 swapFree=33010416/33010684
[pid=53161] ppid=53157 vsize=2545580 memory=2055848 CPUtime=221.59 cores=1,3
/proc/53161/stat : 53161 (ExactPR) R 53157 53161 52401 0 -1 4194304 298738 0 0 0 22028 131 0 0 20 0 1 0 51089686 2606673920 513962 18446744073709551615 93904705978368 93904715278213 140728635561424 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 93904717064512 93904717103592 93904741806080 140728635570565 140728635570700 140728635570700 140728635576302 0
/proc/53161/statm: 636395 513962 1888 2271 0 631033 0
Current children cumulated CPU time: 221.59 s
Current children cumulated vsize: 2545580 KiB
Current children cumulated memory: 2055848 KiB
[startup+282.3 s]
/proc/loadavg: 4.14 4.10 4.09 5/264 53219
/proc/meminfo: memFree=119636756/131250000 swapFree=33010416/33010684
[pid=53161] ppid=53157 vsize=2973296 memory=2490216 CPUtime=281.41 cores=1,3
/proc/53161/stat : 53161 (ExactPR) R 53157 53161 52401 0 -1 4194304 370369 0 0 0 27995 146 0 0 20 0 1 0 51089686 3044655104 622554 18446744073709551615 93904705978368 93904715278213 140728635561424 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 93904717064512 93904717103592 93904741806080 140728635570565 140728635570700 140728635570700 140728635576302 0
/proc/53161/statm: 743324 622554 1888 2271 0 737962 0
Current children cumulated CPU time: 281.41 s
Current children cumulated vsize: 2973296 KiB
Current children cumulated memory: 2490216 KiB
[startup+342.3 s]
/proc/loadavg: 4.11 4.10 4.09 5/264 53225
/proc/meminfo: memFree=118967848/131250000 swapFree=33010416/33010684
[pid=53161] ppid=53157 vsize=3134320 memory=2755084 CPUtime=341.22 cores=1,3
/proc/53161/stat : 53161 (ExactPR) R 53157 53161 52401 0 -1 4194304 406986 0 0 0 33964 158 0 0 20 0 1 0 51089686 3209543680 688771 18446744073709551615 93904705978368 93904715278213 140728635561424 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 93904717064512 93904717103592 93904741806080 140728635570565 140728635570700 140728635570700 140728635576302 0
/proc/53161/statm: 783580 688771 1888 2271 0 778218 0
Current children cumulated CPU time: 341.22 s
Current children cumulated vsize: 3134320 KiB
Current children cumulated memory: 2755084 KiB
[startup+402.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/264 53231
/proc/meminfo: memFree=118943720/131250000 swapFree=33010416/33010684
[pid=53161] ppid=53157 vsize=3154984 memory=2787172 CPUtime=401.03 cores=1,3
/proc/53161/stat : 53161 (ExactPR) R 53157 53161 52401 0 -1 4194304 410685 0 0 0 39940 163 0 0 20 0 1 0 51089686 3230703616 696793 18446744073709551615 93904705978368 93904715278213 140728635561424 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 93904717064512 93904717103592 93904741806080 140728635570565 140728635570700 140728635570700 140728635576302 0
/proc/53161/statm: 788746 696793 1888 2271 0 783384 0
Current children cumulated CPU time: 401.03 s
Current children cumulated vsize: 3154984 KiB
Current children cumulated memory: 2787172 KiB
[startup+462.3 s]
/proc/loadavg: 4.13 4.10 4.09 5/264 53233
/proc/meminfo: memFree=118937052/131250000 swapFree=33010416/33010684
[pid=53161] ppid=53157 vsize=3154984 memory=2787172 CPUtime=460.84 cores=1,3
/proc/53161/stat : 53161 (ExactPR) R 53157 53161 52401 0 -1 4194304 410758 0 0 0 45921 163 0 0 20 0 1 0 51089686 3230703616 696793 18446744073709551615 93904705978368 93904715278213 140728635561424 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 93904717064512 93904717103592 93904741806080 140728635570565 140728635570700 140728635570700 140728635576302 0
/proc/53161/statm: 788746 696793 1888 2271 0 783384 0
Current children cumulated CPU time: 460.84 s
################
# More data... #
################
[startup+3162.3 s]
/proc/loadavg: 4.17 4.15 4.11 5/263 53373
/proc/meminfo: memFree=118526684/131250000 swapFree=33010416/33010684
[pid=53161] ppid=53157 vsize=3172512 memory=2948464 CPUtime=3152.54 cores=1,3
/proc/53161/stat : 53161 (ExactPR) R 53157 53161 52401 0 -1 4194304 420124 0 0 0 315060 194 0 0 20 0 1 0 51089686 3248652288 737116 18446744073709551615 93904705978368 93904715278213 140728635561424 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 93904717064512 93904717103592 93904741806080 140728635570565 140728635570700 140728635570700 140728635576302 0
/proc/53161/statm: 793128 737116 1888 2271 0 787766 0
Current children cumulated CPU time: 3152.54 s
Current children cumulated vsize: 3172512 KiB
Current children cumulated memory: 2948464 KiB
[startup+3222.3 s]
/proc/loadavg: 4.47 4.22 4.13 5/263 53375
/proc/meminfo: memFree=118491092/131250000 swapFree=33010416/33010684
[pid=53161] ppid=53157 vsize=3172512 memory=2984176 CPUtime=3212.37 cores=1,3
/proc/53161/stat : 53161 (ExactPR) R 53157 53161 52401 0 -1 4194304 420849 0 0 0 321040 197 0 0 20 0 1 0 51089686 3248652288 746044 18446744073709551615 93904705978368 93904715278213 140728635561424 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 93904717064512 93904717103592 93904741806080 140728635570565 140728635570700 140728635570700 140728635576302 0
/proc/53161/statm: 793128 746044 1888 2271 0 787766 0
Current children cumulated CPU time: 3212.37 s
Current children cumulated vsize: 3172512 KiB
Current children cumulated memory: 2984176 KiB
[startup+3282.3 s]
/proc/loadavg: 4.54 4.29 4.16 5/263 53378
/proc/meminfo: memFree=118450984/131250000 swapFree=33010416/33010684
[pid=53161] ppid=53157 vsize=3172512 memory=3022448 CPUtime=3272.2 cores=1,3
/proc/53161/stat : 53161 (ExactPR) R 53157 53161 52401 0 -1 4194304 420936 0 0 0 327023 197 0 0 20 0 1 0 51089686 3248652288 755612 18446744073709551615 93904705978368 93904715278213 140728635561424 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 93904717064512 93904717103592 93904741806080 140728635570565 140728635570700 140728635570700 140728635576302 0
/proc/53161/statm: 793128 755612 1888 2271 0 787766 0
Current children cumulated CPU time: 3272.2 s
Current children cumulated vsize: 3172512 KiB
Current children cumulated memory: 3022448 KiB
[startup+3342.3 s]
/proc/loadavg: 4.30 4.26 4.16 5/264 53383
/proc/meminfo: memFree=118442308/131250000 swapFree=33010416/33010684
[pid=53161] ppid=53157 vsize=3172512 memory=3030640 CPUtime=3332.04 cores=1,3
/proc/53161/stat : 53161 (ExactPR) R 53157 53161 52401 0 -1 4194304 421741 0 0 0 333007 197 0 0 20 0 1 0 51089686 3248652288 757660 18446744073709551615 93904705978368 93904715278213 140728635561424 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 93904717064512 93904717103592 93904741806080 140728635570565 140728635570700 140728635570700 140728635576302 0
/proc/53161/statm: 793128 757660 1888 2271 0 787766 0
Current children cumulated CPU time: 3332.04 s
Current children cumulated vsize: 3172512 KiB
Current children cumulated memory: 3030640 KiB
[startup+3402.3 s]
/proc/loadavg: 4.16 4.23 4.16 5/265 53390
/proc/meminfo: memFree=118442516/131250000 swapFree=33010416/33010684
[pid=53161] ppid=53157 vsize=3172512 memory=3030640 CPUtime=3391.87 cores=1,3
/proc/53161/stat : 53161 (ExactPR) R 53157 53161 52401 0 -1 4194304 421802 0 0 0 338990 197 0 0 20 0 1 0 51089686 3248652288 757660 18446744073709551615 93904705978368 93904715278213 140728635561424 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 93904717064512 93904717103592 93904741806080 140728635570565 140728635570700 140728635570700 140728635576302 0
/proc/53161/statm: 793128 757660 1888 2271 0 787766 0
Current children cumulated CPU time: 3391.87 s
Current children cumulated vsize: 3172512 KiB
Current children cumulated memory: 3030640 KiB
[startup+3462.3 s]
/proc/loadavg: 4.10 4.20 4.15 5/265 53392
/proc/meminfo: memFree=118443104/131250000 swapFree=33010416/33010684
[pid=53161] ppid=53157 vsize=3172512 memory=3030640 CPUtime=3451.7 cores=1,3
/proc/53161/stat : 53161 (ExactPR) R 53157 53161 52401 0 -1 4194304 422353 0 0 0 344973 197 0 0 20 0 1 0 51089686 3248652288 757660 18446744073709551615 93904705978368 93904715278213 140728635561424 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 93904717064512 93904717103592 93904741806080 140728635570565 140728635570700 140728635570700 140728635576302 0
/proc/53161/statm: 793128 757660 1888 2271 0 787766 0
Current children cumulated CPU time: 3451.7 s
Current children cumulated vsize: 3172512 KiB
Current children cumulated memory: 3030640 KiB
[startup+3522.3 s]
/proc/loadavg: 4.12 4.19 4.15 5/265 53394
/proc/meminfo: memFree=118442964/131250000 swapFree=33010416/33010684
[pid=53161] ppid=53157 vsize=3172512 memory=3030640 CPUtime=3511.54 cores=1,3
/proc/53161/stat : 53161 (ExactPR) R 53157 53161 52401 0 -1 4194304 422763 0 0 0 350957 197 0 0 20 0 1 0 51089686 3248652288 757660 18446744073709551615 93904705978368 93904715278213 140728635561424 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 93904717064512 93904717103592 93904741806080 140728635570565 140728635570700 140728635570700 140728635576302 0
/proc/53161/statm: 793128 757660 1888 2271 0 787766 0
Current children cumulated CPU time: 3511.54 s
Current children cumulated vsize: 3172512 KiB
Current children cumulated memory: 3030640 KiB
[startup+3582.3 s]
/proc/loadavg: 4.09 4.17 4.14 5/265 53397
/proc/meminfo: memFree=118443172/131250000 swapFree=33010416/33010684
[pid=53161] ppid=53157 vsize=3172512 memory=3030640 CPUtime=3571.37 cores=1,3
/proc/53161/stat : 53161 (ExactPR) R 53157 53161 52401 0 -1 4194304 422943 0 0 0 356940 197 0 0 20 0 1 0 51089686 3248652288 757660 18446744073709551615 93904705978368 93904715278213 140728635561424 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 93904717064512 93904717103592 93904741806080 140728635570565 140728635570700 140728635570700 140728635576302 0
/proc/53161/statm: 793128 757660 1888 2271 0 787766 0
Current children cumulated CPU time: 3571.37 s
Current children cumulated vsize: 3172512 KiB
Current children cumulated memory: 3030640 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3611.11 s]
/proc/loadavg: 4.12 4.17 4.15 5/264 53413
/proc/meminfo: memFree=121398712/131250000 swapFree=33010416/33010684
[pid=53161] ppid=53157 vsize=3172512 memory=3030640 CPUtime=3600.09 cores=1,3
/proc/53161/stat : 53161 (ExactPR) R 53157 53161 52401 0 -1 4194304 423031 0 0 0 359808 201 0 0 20 0 1 0 51089686 3248652288 757660 18446744073709551615 93904705978368 93904715278213 140728635561424 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 93904717064512 93904717103592 93904741806080 140728635570565 140728635570700 140728635570700 140728635576302 0
/proc/53161/statm: 793128 757660 1888 2271 0 787766 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 3172512 KiB
Current children cumulated memory: 3030640 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
[startup+3613.11 s]
# the end of solver process 53161 was just reported to runsolver
# Child ended because it received signal 9 (SIGKILL)
# cumulated CPU time of all completed processes: user=3600.08 s, system=2.02573 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3611.2 s]
/proc/loadavg: 4.12 4.17 4.15 5/264 53413
/proc/meminfo: memFree=121398712/131250000 swapFree=33010416/33010684
[pid=53161] ppid=53157 vsize=3172512 memory=3030640 CPUtime=3600.19 cores=1,3
/proc/53161/stat : 53161 (ExactPR) R 53157 53161 52401 0 -1 4194304 423031 0 0 0 359818 201 0 0 20 0 1 0 51089686 3248652288 757660 18446744073709551615 93904705978368 93904715278213 140728635561424 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 93904717064512 93904717103592 93904741806080 140728635570565 140728635570700 140728635570700 140728635576302 0
/proc/53161/statm: 793128 757660 1888 2271 0 787766 0
Current children cumulated CPU time: 3600.19 s
Current children cumulated vsize: 3172512 KiB
Current children cumulated memory: 3030640 KiB
[startup+3612 s]*
/proc/loadavg: 4.11 4.17 4.14 5/264 53413
/proc/meminfo: memFree=121398964/131250000 swapFree=33010416/33010684
[pid=53161] ppid=53157 vsize=3172512 memory=3030640 CPUtime=3600.99 cores=1,3
/proc/53161/stat : 53161 (ExactPR) R 53157 53161 52401 0 -1 4194304 423031 0 0 0 359898 201 0 0 20 0 1 0 51089686 3248652288 757660 18446744073709551615 93904705978368 93904715278213 140728635561424 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 93904717064512 93904717103592 93904741806080 140728635570565 140728635570700 140728635570700 140728635576302 0
/proc/53161/statm: 793128 757660 1888 2271 0 787766 0
Current children cumulated CPU time: 3600.99 s
Current children cumulated vsize: 3172512 KiB
Current children cumulated memory: 3030640 KiB
[startup+3612.8 s]
/proc/loadavg: 4.11 4.17 4.14 5/264 53413
/proc/meminfo: memFree=121398964/131250000 swapFree=33010416/33010684
[pid=53161] ppid=53157 vsize=3172512 memory=3030640 CPUtime=3601.78 cores=1,3
/proc/53161/stat : 53161 (ExactPR) R 53157 53161 52401 0 -1 4194304 423031 0 0 0 359977 201 0 0 20 0 1 0 51089686 3248652288 757660 18446744073709551615 93904705978368 93904715278213 140728635561424 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 93904717064512 93904717103592 93904741806080 140728635570565 140728635570700 140728635570700 140728635576302 0
/proc/53161/statm: 793128 757660 1888 2271 0 787766 0
Current children cumulated CPU time: 3601.78 s
Current children cumulated vsize: 3172512 KiB
Current children cumulated memory: 3030640 KiB
[startup+3613 s]*
/proc/loadavg: 4.11 4.17 4.14 3/256 53458
/proc/meminfo: memFree=126937536/131250000 swapFree=33010416/33010684
[pid=53161] ppid=53157 vsize=3172512 memory=3030640 CPUtime=3601.98 cores=1,3
/proc/53161/stat : 53161 (ExactPR) R 53157 53161 52401 0 -1 4194304 423031 0 0 0 359997 201 0 0 20 0 1 0 51089686 3248652288 757660 18446744073709551615 93904705978368 93904715278213 140728635561424 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 93904717064512 93904717103592 93904741806080 140728635570565 140728635570700 140728635570700 140728635576302 0
/proc/53161/statm: 793128 757660 1888 2271 0 787766 0
Current children cumulated CPU time: 3601.98 s
Current children cumulated vsize: 3172512 KiB
Current children cumulated memory: 3030640 KiB
[startup+3613.11 s]
/proc/loadavg: 4.11 4.17 4.14 3/256 53458
/proc/meminfo: memFree=126937536/131250000 swapFree=33010416/33010684
[pid=53161] ppid=53157 vsize=3172512 memory=3030640 CPUtime=3602.08 cores=1,3
/proc/53161/stat : 53161 (ExactPR) R 53157 53161 52401 0 -1 4194304 423031 0 0 0 360007 201 0 0 20 0 1 0 51089686 3248652288 757660 18446744073709551615 93904705978368 93904715278213 140728635561424 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 93904717064512 93904717103592 93904741806080 140728635570565 140728635570700 140728635570700 140728635576302 0
/proc/53161/statm: 793128 757660 1888 2271 0 787766 0
Current children cumulated CPU time: 3602.08 s
Current children cumulated vsize: 3172512 KiB
Current children cumulated memory: 3030640 KiB
Child ended because it received signal 9 (SIGKILL)
Real time (s): 3613.11
CPU time (s): 3602.11
CPU user time (s): 3600.08
CPU system time (s): 2.02573
CPU usage (%): 99.6953
Max. virtual memory (cumulated for all children) (KiB): 3172512
Max. memory (cumulated for all children) (KiB): 3030640
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3600.08
system time used= 2.02573
maximum resident set size= 3030640
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 423031
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= 199
involuntary context switches= 6332
# summary of solver processes directly reported to runsolver:
# pid: 53161
# total CPU time (s): 3602.11
# total CPU user time (s): 3600.08
# total CPU system time (s): 2.02573
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.80362 second user time and 17.7494 second system time
The end
Begin job on nodeC018 at 2025-07-01 09:15:18 IDJOB=4489483 IDBENCH=147555 IDSOLVER=3324 FILE ID=nodeC018/4489483-1751354118 RUNJOBID= nodeC018-1751346895-52413 SLURM_JOB_ID= 9598114 Free space on /tmp= 432860 MiB SOLVER NAME= ExactPR 2025-06-01 BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/wnq/normalized-wnq_n100_mw99_8.opb.PB06.opb COMMAND LINE= ./ExactPR --pre-solve=1 --print-uniform=0 --verbosity=0 --print-sol BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4489483-1751354118/watcher-4489483-1751354118 -o /tmp/evaluation-result-4489483-1751354118/solver-4489483-1751354118 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC018-1751346895-52413 --watchdog 3760 ./ExactPR --pre-solve=1 --print-uniform=0 --verbosity=0 --print-sol HOME/instance-4489483-1751354118.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 50cf9112b5ea763531dadde21846562c RANDOM SEED=860840276 nodeC018 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 : 3599.853 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.66 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.830 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.66 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 : 3600.342 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.66 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 : 3613.927 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.66 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.832 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.66 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 : 3600.805 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.66 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 : 3603.270 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.66 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.859 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.66 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131250000 kB MemFree: 129878996 kB MemAvailable: 129643564 kB Buffers: 2128 kB Cached: 566352 kB SwapCached: 32 kB Active: 508248 kB Inactive: 231852 kB Active(anon): 188096 kB Inactive(anon): 1568 kB Active(file): 320152 kB Inactive(file): 230284 kB Unevictable: 3072 kB Mlocked: 0 kB SwapTotal: 33010684 kB SwapFree: 33010416 kB Zswap: 0 kB Zswapped: 0 kB Dirty: 86600 kB Writeback: 96 kB AnonPages: 174956 kB Mapped: 107284 kB Shmem: 18044 kB KReclaimable: 106340 kB Slab: 195036 kB SReclaimable: 106340 kB SUnreclaim: 88696 kB KernelStack: 4088 kB PageTables: 3212 kB SecPageTables: 0 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 98635684 kB Committed_AS: 471948 kB VmallocTotal: 34359738367 kB VmallocUsed: 150456 kB VmallocChunk: 0 kB Percpu: 3776 kB HardwareCorrupted: 0 kB AnonHugePages: 112640 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: 201428 kB DirectMap2M: 7958528 kB DirectMap1G: 127926272 kB Free space on /tmp at the end= 432848 MiB End job on nodeC018 at 2025-07-01 10:15:32