Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| Exact_no_db_no_ls 2025-06-19 | SAT (TO) | 1183 | 3600.03 | 3607.8 |
| Name | PB24/normalized-PB15eval/OPT-NLC/minlplib2-pb-0.1.0/ opb/normalized-graphpart_clique-40.opb |
| MD5SUM | deae341c085f4a1f226bb0b999d26c4b |
| Bench Category | OPT-NLC (optimization problem, non-linear constraints, no OPT/UNSAT certificate) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 1183 |
| Best CPU time to get the best result obtained on this benchmark | 255.025 |
| 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 | 120 |
| Total number of constraints | 40 |
| Number of constraints which are clauses | 0 |
| Number of constraints which are cardinality constraints (but not clauses) | 40 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 3 |
| Maximum length of a constraint | 3 |
| Number of terms in the objective function | 2340 |
| Biggest coefficient in the objective function | 39 |
| Number of bits for the biggest coefficient in the objective function | 6 |
| Sum of the numbers in the objective function | 31980 |
| Number of bits of the sum of numbers in the objective function | 15 |
| Biggest number in a constraint | 39 |
| Number of bits of the biggest number in a constraint | 6 |
| Biggest sum of numbers in a constraint | 31980 |
| Number of bits of the biggest sum of numbers | 15 |
| Number of products (including duplicates) | 2340 |
| Sum of products size (including duplicates) | 4680 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.06 o 3481 0.00/0.06 o 2838 0.00/0.08 o 2825 0.00/0.08 o 2776 0.09/0.12 o 2762 0.09/0.12 o 2683 0.09/0.13 o 2630 0.09/0.15 o 2628 0.39/0.42 o 2627 0.39/0.43 o 2612 0.39/0.44 o 2610 0.89/0.95 o 2600 0.89/0.95 o 2573 0.99/1.01 o 2566 0.99/1.02 o 2529 0.99/1.06 o 2500 0.99/1.07 o 2489 0.99/1.07 o 2453 1.09/1.10 o 2434 1.38/1.47 o 2424 6.37/6.47 o 2419 6.37/6.47 o 2394 6.67/6.79 o 2383 6.67/6.79 o 2378 6.97/7.02 o 2377 6.97/7.03 o 2375 6.97/7.03 o 2362 6.97/7.07 o 2347 6.97/7.07 o 2334 7.07/7.18 o 2329 7.27/7.31 o 2322 7.27/7.39 o 2320 7.37/7.40 o 2319 7.37/7.41 o 2318 7.37/7.42 o 2317 7.37/7.48 o 2271 7.47/7.53 o 2245 7.47/7.54 o 2232 7.47/7.54 o 2231 7.67/7.71 o 2210 7.67/7.72 o 2208 7.67/7.76 o 2179 7.67/7.77 o 2168 7.77/7.83 o 2142 7.77/7.83 o 2131 7.77/7.83 o 2034 7.77/7.84 o 2032 7.87/7.90 o 2005 7.87/7.90 o 1981 7.87/7.90 o 1966 7.87/7.99 o 1938 7.87/8.00 o 1924 7.97/8.02 o 1913 7.97/8.02 o 1893 7.97/8.02 o 1826 7.97/8.06 o 1818 7.97/8.06 o 1780 8.07/8.17 o 1756 8.16/8.25 o 1739 8.16/8.29 o 1715 8.27/8.30 o 1626 8.37/8.45 o 1603 9.17/9.22 o 1598 24.33/24.42 o 1564 24.43/24.51 o 1555 25.32/25.43 o 1530 25.93/26.04 o 1506 25.93/26.07 o 1503 27.62/27.74 o 1502 27.62/27.75 o 1483 27.62/27.79 o 1481 27.62/27.79 o 1462 27.71/27.89 o 1437 27.81/27.90 o 1414 28.41/28.57 o 1350 28.91/29.01 o 1344 104.14/104.49 o 1343 106.64/106.91 o 1331 106.85/107.15 o 1325 184.87/185.38 o 1324 276.27/276.97 o 1322 640.09/641.59 o 1318 640.19/641.66 o 1310 657.06/658.59 o 1304 658.56/660.04 o 1285 658.56/660.09 o 1258 890.06/892.08 o 1256 890.16/892.15 o 1255 890.16/892.18 o 1233 890.16/892.18 o 1208 890.16/892.19 o 1207 903.93/905.96 o 1196 903.93/905.99 o 1183 3600.01/3607.80 c Program interrupted by user. 3600.01/3607.80 s SATISFIABLE 3600.01/3607.80 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
OK 1183
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 (59614 MiB free)
memory of node 1: 64507 MiB (63587 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4512286-1751275467/watcher-4512286-1751275467 -o /tmp/evaluation-result-4512286-1751275467/solver-4512286-1751275467 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC027-1751268232-33796 --watchdog 3760 HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=27383631 --ls=0 --inp-dombreaklim=0 HOME/instance-4512286-1751275467.opb
running on 2 cores: 1,3
CPU governors:
performance: 1 3
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=34717, runsolver pid=34714
[startup+0.10006 s]*
/proc/loadavg: 4.15 4.17 4.13 5/265 34718
/proc/meminfo: memFree=126158892/131250000 swapFree=33010684/33010684
[pid=34717] ppid=34714 vsize=42040 memory=19736 CPUtime=0.09 cores=1,3
/proc/34717/stat : 34717 (Exact) R 34714 34717 33777 0 -1 4194304 4432 0 0 0 9 0 0 0 20 0 1 0 43226572 43048960 4934 18446744073709551615 4198400 9112445 140730524640560 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 33738752 140730524645674 140730524645869 140730524645869 140730524651471 0
/proc/34717/statm: 10510 4934 1280 1200 0 8990 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 42040 KiB
Current children cumulated memory: 19736 KiB
[startup+0.205406 s]*
/proc/loadavg: 4.15 4.17 4.13 5/265 34718
/proc/meminfo: memFree=126159116/131250000 swapFree=33010684/33010684
[pid=34717] ppid=34714 vsize=43328 memory=22984 CPUtime=0.19 cores=1,3
/proc/34717/stat : 34717 (Exact) R 34714 34717 33777 0 -1 4194304 4734 0 0 0 19 0 0 0 20 0 1 0 43226572 44367872 5746 18446744073709551615 4198400 9112445 140730524640560 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 33738752 140730524645674 140730524645869 140730524645869 140730524651471 0
/proc/34717/statm: 10832 5746 1280 1200 0 9312 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 43328 KiB
Current children cumulated memory: 22984 KiB
[startup+0.305316 s]*
/proc/loadavg: 4.15 4.17 4.13 5/265 34718
/proc/meminfo: memFree=126159116/131250000 swapFree=33010684/33010684
[pid=34717] ppid=34714 vsize=43684 memory=23368 CPUtime=0.29 cores=1,3
/proc/34717/stat : 34717 (Exact) R 34714 34717 33777 0 -1 4194304 4836 0 0 0 29 0 0 0 20 0 1 0 43226572 44732416 5842 18446744073709551615 4198400 9112445 140730524640560 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 33738752 140730524645674 140730524645869 140730524645869 140730524651471 0
/proc/34717/statm: 10921 5842 1280 1200 0 9401 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 43684 KiB
Current children cumulated memory: 23368 KiB
[startup+0.70012 s]
/proc/loadavg: 4.15 4.17 4.13 6/265 34718
/proc/meminfo: memFree=126159116/131250000 swapFree=33010684/33010684
[pid=34717] ppid=34714 vsize=44504 memory=24136 CPUtime=0.68 cores=1,3
/proc/34717/stat : 34717 (Exact) R 34714 34717 33777 0 -1 4194304 5018 0 0 0 68 0 0 0 20 0 1 0 43226572 45572096 6034 18446744073709551615 4198400 9112445 140730524640560 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 33738752 140730524645674 140730524645869 140730524645869 140730524651471 0
/proc/34717/statm: 11126 6034 1280 1200 0 9606 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 44504 KiB
Current children cumulated memory: 24136 KiB
[startup+1.50013 s]
/proc/loadavg: 4.14 4.16 4.13 5/265 34718
/proc/meminfo: memFree=126159116/131250000 swapFree=33010684/33010684
[pid=34717] ppid=34714 vsize=46904 memory=30752 CPUtime=1.48 cores=1,3
/proc/34717/stat : 34717 (Exact) R 34714 34717 33777 0 -1 4194304 5682 0 0 0 147 1 0 0 20 0 1 0 43226572 48029696 7688 18446744073709551615 4198400 9112445 140730524640560 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 33738752 140730524645674 140730524645869 140730524645869 140730524651471 0
/proc/34717/statm: 11726 7688 1280 1200 0 10206 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 46904 KiB
Current children cumulated memory: 30752 KiB
[startup+3.10529 s]
/proc/loadavg: 4.14 4.16 4.13 5/265 34718
/proc/meminfo: memFree=126155092/131250000 swapFree=33010684/33010684
[pid=34717] ppid=34714 vsize=49652 memory=33312 CPUtime=3.09 cores=1,3
/proc/34717/stat : 34717 (Exact) R 34714 34717 33777 0 -1 4194304 6329 0 0 0 307 2 0 0 20 0 1 0 43226572 50843648 8328 18446744073709551615 4198400 9112445 140730524640560 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 33738752 140730524645674 140730524645869 140730524645869 140730524651471 0
/proc/34717/statm: 12413 8328 1280 1200 0 10893 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 49652 KiB
Current children cumulated memory: 33312 KiB
[startup+6.30011 s]
/proc/loadavg: 4.13 4.16 4.13 2/253 34742
/proc/meminfo: memFree=129229280/131250000 swapFree=33010684/33010684
[pid=34717] ppid=34714 vsize=57412 memory=46668 CPUtime=6.28 cores=1,3
/proc/34717/stat : 34717 (Exact) R 34714 34717 33777 0 -1 4194304 8146 0 0 0 624 4 0 0 20 0 1 0 43226572 58789888 11667 18446744073709551615 4198400 9112445 140730524640560 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 33738752 140730524645674 140730524645869 140730524645869 140730524651471 0
/proc/34717/statm: 14353 11667 1280 1200 0 12833 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 57412 KiB
Current children cumulated memory: 46668 KiB
[startup+12.7001 s]
/proc/loadavg: 3.88 4.11 4.11 2/247 34811
/proc/meminfo: memFree=129251940/131250000 swapFree=33010684/33010684
[pid=34717] ppid=34714 vsize=84468 memory=73232 CPUtime=12.66 cores=1,3
/proc/34717/stat : 34717 (Exact) R 34714 34717 33777 0 -1 4194304 12000 0 0 0 1257 9 0 0 20 0 1 0 43226572 86495232 18308 18446744073709551615 4198400 9112445 140730524640560 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 33738752 140730524645674 140730524645869 140730524645869 140730524651471 0
/proc/34717/statm: 21117 18308 1280 1200 0 19597 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 84468 KiB
Current children cumulated memory: 73232 KiB
[startup+25.5002 s]
/proc/loadavg: 3.43 4.01 4.08 2/247 34811
/proc/meminfo: memFree=129229164/131250000 swapFree=33010684/33010684
[pid=34717] ppid=34714 vsize=97900 memory=85520 CPUtime=25.42 cores=1,3
/proc/34717/stat : 34717 (Exact) R 34714 34717 33777 0 -1 4194304 15056 0 0 0 2527 15 0 0 20 0 1 0 43226572 100249600 21380 18446744073709551615 4198400 9112445 140730524640560 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 33738752 140730524645674 140730524645869 140730524645869 140730524651471 0
/proc/34717/statm: 24475 21380 1280 1200 0 22955 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 97900 KiB
Current children cumulated memory: 85520 KiB
[startup+51.1051 s]
/proc/loadavg: 2.54 3.73 3.98 2/247 34811
/proc/meminfo: memFree=129209628/131250000 swapFree=33010684/33010684
[pid=34717] ppid=34714 vsize=106024 memory=95760 CPUtime=50.96 cores=1,3
/proc/34717/stat : 34717 (Exact) R 34714 34717 33777 0 -1 4194304 17012 0 0 0 5069 27 0 0 20 0 1 0 43226572 108568576 23940 18446744073709551615 4198400 9112445 140730524640560 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 33738752 140730524645674 140730524645869 140730524645869 140730524651471 0
/proc/34717/statm: 26506 23940 1280 1200 0 24986 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 106024 KiB
Current children cumulated memory: 95760 KiB
[startup+102.3 s]
/proc/loadavg: 1.67 3.31 3.82 2/246 34813
/proc/meminfo: memFree=129205708/131250000 swapFree=33010684/33010684
[pid=34717] ppid=34714 vsize=114480 memory=104720 CPUtime=102.05 cores=1,3
/proc/34717/stat : 34717 (Exact) R 34714 34717 33777 0 -1 4194304 19149 0 0 0 10158 47 0 0 20 0 1 0 43226572 117227520 26180 18446744073709551615 4198400 9112445 140730524640560 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 33738752 140730524645674 140730524645869 140730524645869 140730524651471 0
/proc/34717/statm: 28620 26180 1280 1200 0 27100 0
Current children cumulated CPU time: 102.05 s
Current children cumulated vsize: 114480 KiB
Current children cumulated memory: 104720 KiB
[startup+162.3 s]
/proc/loadavg: 1.28 2.90 3.65 2/247 34816
/proc/meminfo: memFree=129206052/131250000 swapFree=33010684/33010684
[pid=34717] ppid=34714 vsize=127192 memory=117136 CPUtime=161.93 cores=1,3
/proc/34717/stat : 34717 (Exact) R 34714 34717 33777 0 -1 4194304 22257 0 0 0 16120 73 0 0 20 0 1 0 43226572 130244608 29284 18446744073709551615 4198400 9112445 140730524640560 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 33738752 140730524645674 140730524645869 140730524645869 140730524651471 0
/proc/34717/statm: 31798 29284 1280 1200 0 30278 0
Current children cumulated CPU time: 161.93 s
Current children cumulated vsize: 127192 KiB
Current children cumulated memory: 117136 KiB
[startup+222.3 s]
/proc/loadavg: 1.20 2.58 3.49 2/247 34818
/proc/meminfo: memFree=129200360/131250000 swapFree=33010684/33010684
[pid=34717] ppid=34714 vsize=137264 memory=127888 CPUtime=221.79 cores=1,3
/proc/34717/stat : 34717 (Exact) R 34714 34717 33777 0 -1 4194304 24668 0 0 0 22080 99 0 0 20 0 1 0 43226572 140558336 31972 18446744073709551615 4198400 9112445 140730524640560 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 33738752 140730524645674 140730524645869 140730524645869 140730524651471 0
/proc/34717/statm: 34316 31972 1280 1200 0 32796 0
Current children cumulated CPU time: 221.79 s
Current children cumulated vsize: 137264 KiB
Current children cumulated memory: 127888 KiB
[startup+282.3 s]
/proc/loadavg: 1.13 2.31 3.34 2/247 34820
/proc/meminfo: memFree=129218300/131250000 swapFree=33010684/33010684
[pid=34717] ppid=34714 vsize=146560 memory=138620 CPUtime=281.66 cores=1,3
/proc/34717/stat : 34717 (Exact) R 34714 34717 33777 0 -1 4194304 26856 0 0 0 28039 127 0 0 20 0 1 0 43226572 150077440 34655 18446744073709551615 4198400 9112445 140730524640560 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 33738752 140730524645674 140730524645869 140730524645869 140730524651471 0
/proc/34717/statm: 36640 34655 1280 1200 0 35120 0
Current children cumulated CPU time: 281.66 s
Current children cumulated vsize: 146560 KiB
Current children cumulated memory: 138620 KiB
[startup+342.3 s]
/proc/loadavg: 1.12 2.08 3.19 2/246 34822
/proc/meminfo: memFree=129208920/131250000 swapFree=33010684/33010684
[pid=34717] ppid=34714 vsize=151428 memory=143100 CPUtime=341.53 cores=1,3
/proc/34717/stat : 34717 (Exact) R 34714 34717 33777 0 -1 4194304 28026 0 0 0 34001 152 0 0 20 0 1 0 43226572 155062272 35775 18446744073709551615 4198400 9112445 140730524640560 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 33738752 140730524645674 140730524645869 140730524645869 140730524651471 0
/proc/34717/statm: 37857 35775 1280 1200 0 36337 0
Current children cumulated CPU time: 341.53 s
Current children cumulated vsize: 151428 KiB
Current children cumulated memory: 143100 KiB
[startup+402.3 s]
/proc/loadavg: 1.10 1.90 3.06 2/246 34824
/proc/meminfo: memFree=129194880/131250000 swapFree=33010684/33010684
[pid=34717] ppid=34714 vsize=154288 memory=146812 CPUtime=401.41 cores=1,3
/proc/34717/stat : 34717 (Exact) R 34714 34717 33777 0 -1 4194304 28778 0 0 0 39963 178 0 0 20 0 1 0 43226572 157990912 36703 18446744073709551615 4198400 9112445 140730524640560 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 33738752 140730524645674 140730524645869 140730524645869 140730524651471 0
/proc/34717/statm: 38572 36703 1280 1200 0 37052 0
Current children cumulated CPU time: 401.41 s
Current children cumulated vsize: 154288 KiB
Current children cumulated memory: 146812 KiB
[startup+462.3 s]
/proc/loadavg: 1.08 1.75 2.93 2/245 34826
/proc/meminfo: memFree=129194536/131250000 swapFree=33010684/33010684
[pid=34717] ppid=34714 vsize=156452 memory=148988 CPUtime=461.28 cores=1,3
/proc/34717/stat : 34717 (Exact) R 34714 34717 33777 0 -1 4194304 29332 0 0 0 45925 203 0 0 20 0 1 0 43226572 160206848 37247 18446744073709551615 4198400 9112445 140730524640560 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 33738752 140730524645674 140730524645869 140730524645869 140730524651471 0
/proc/34717/statm: 39113 37247 1280 1200 0 37593 0
################
# More data... #
################
Current children cumulated memory: 216820 KiB
[startup+2862.3 s]
/proc/loadavg: 1.09 1.09 1.21 2/245 34955
/proc/meminfo: memFree=129138328/131250000 swapFree=33010684/33010684
[pid=34717] ppid=34714 vsize=241284 memory=218228 CPUtime=2856.13 cores=1,3
/proc/34717/stat : 34717 (Exact) R 34714 34717 33777 0 -1 4194304 44646 0 0 0 284457 1156 0 0 20 0 1 0 43226572 247074816 54557 18446744073709551615 4198400 9112445 140730524640560 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 33738752 140730524645674 140730524645869 140730524645869 140730524651471 0
/proc/34717/statm: 60321 54557 1280 1200 0 58801 0
Current children cumulated CPU time: 2856.13 s
Current children cumulated vsize: 241284 KiB
Current children cumulated memory: 218228 KiB
[startup+2922.3 s]
/proc/loadavg: 1.07 1.08 1.20 2/245 34957
/proc/meminfo: memFree=129138628/131250000 swapFree=33010684/33010684
[pid=34717] ppid=34714 vsize=241956 memory=218868 CPUtime=2915.99 cores=1,3
/proc/34717/stat : 34717 (Exact) R 34714 34717 33777 0 -1 4194304 44785 0 0 0 290421 1178 0 0 20 0 1 0 43226572 247762944 54717 18446744073709551615 4198400 9112445 140730524640560 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 33738752 140730524645674 140730524645869 140730524645869 140730524651471 0
/proc/34717/statm: 60489 54717 1280 1200 0 58969 0
Current children cumulated CPU time: 2915.99 s
Current children cumulated vsize: 241956 KiB
Current children cumulated memory: 218868 KiB
[startup+2982.3 s]
/proc/loadavg: 1.08 1.08 1.18 2/245 34959
/proc/meminfo: memFree=129140256/131250000 swapFree=33010684/33010684
[pid=34717] ppid=34714 vsize=243072 memory=220148 CPUtime=2975.87 cores=1,3
/proc/34717/stat : 34717 (Exact) R 34714 34717 33777 0 -1 4194304 45191 0 0 0 296386 1201 0 0 20 0 1 0 43226572 248905728 55037 18446744073709551615 4198400 9112445 140730524640560 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 33738752 140730524645674 140730524645869 140730524645869 140730524651471 0
/proc/34717/statm: 60768 55037 1280 1200 0 59248 0
Current children cumulated CPU time: 2975.87 s
Current children cumulated vsize: 243072 KiB
Current children cumulated memory: 220148 KiB
[startup+3042.3 s]
/proc/loadavg: 1.07 1.08 1.18 2/245 34967
/proc/meminfo: memFree=129139412/131250000 swapFree=33010684/33010684
[pid=34717] ppid=34714 vsize=243552 memory=220532 CPUtime=3035.74 cores=1,3
/proc/34717/stat : 34717 (Exact) R 34714 34717 33777 0 -1 4194304 45287 0 0 0 302353 1221 0 0 20 0 1 0 43226572 249397248 55133 18446744073709551615 4198400 9112445 140730524640560 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 33738752 140730524645674 140730524645869 140730524645869 140730524651471 0
/proc/34717/statm: 60888 55133 1280 1200 0 59368 0
Current children cumulated CPU time: 3035.74 s
Current children cumulated vsize: 243552 KiB
Current children cumulated memory: 220532 KiB
[startup+3102.3 s]
/proc/loadavg: 1.13 1.09 1.18 2/245 34969
/proc/meminfo: memFree=129141000/131250000 swapFree=33010684/33010684
[pid=34717] ppid=34714 vsize=244208 memory=221300 CPUtime=3095.61 cores=1,3
/proc/34717/stat : 34717 (Exact) R 34714 34717 33777 0 -1 4194304 45476 0 0 0 308314 1247 0 0 20 0 1 0 43226572 250068992 55325 18446744073709551615 4198400 9112445 140730524640560 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 33738752 140730524645674 140730524645869 140730524645869 140730524651471 0
/proc/34717/statm: 61052 55325 1280 1200 0 59532 0
Current children cumulated CPU time: 3095.61 s
Current children cumulated vsize: 244208 KiB
Current children cumulated memory: 221300 KiB
[startup+3162.3 s]
/proc/loadavg: 1.05 1.08 1.16 2/245 34971
/proc/meminfo: memFree=129139980/131250000 swapFree=33010684/33010684
[pid=34717] ppid=34714 vsize=245032 memory=222068 CPUtime=3155.48 cores=1,3
/proc/34717/stat : 34717 (Exact) R 34714 34717 33777 0 -1 4194304 45654 0 0 0 314277 1271 0 0 20 0 1 0 43226572 250912768 55517 18446744073709551615 4198400 9112445 140730524640560 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 33738752 140730524645674 140730524645869 140730524645869 140730524651471 0
/proc/34717/statm: 61258 55517 1280 1200 0 59738 0
Current children cumulated CPU time: 3155.48 s
Current children cumulated vsize: 245032 KiB
Current children cumulated memory: 222068 KiB
[startup+3222.3 s]
/proc/loadavg: 1.13 1.09 1.16 2/245 34973
/proc/meminfo: memFree=129136008/131250000 swapFree=33010684/33010684
[pid=34717] ppid=34714 vsize=245704 memory=222708 CPUtime=3215.35 cores=1,3
/proc/34717/stat : 34717 (Exact) R 34714 34717 33777 0 -1 4194304 45823 0 0 0 320242 1293 0 0 20 0 1 0 43226572 251600896 55677 18446744073709551615 4198400 9112445 140730524640560 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 33738752 140730524645674 140730524645869 140730524645869 140730524651471 0
/proc/34717/statm: 61426 55677 1280 1200 0 59906 0
Current children cumulated CPU time: 3215.35 s
Current children cumulated vsize: 245704 KiB
Current children cumulated memory: 222708 KiB
[startup+3282.3 s]
/proc/loadavg: 1.11 1.09 1.16 2/245 34975
/proc/meminfo: memFree=129142076/131250000 swapFree=33010684/33010684
[pid=34717] ppid=34714 vsize=246804 memory=223732 CPUtime=3275.22 cores=1,3
/proc/34717/stat : 34717 (Exact) R 34714 34717 33777 0 -1 4194304 46091 0 0 0 326207 1315 0 0 20 0 1 0 43226572 252727296 55933 18446744073709551615 4198400 9112445 140730524640560 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 33738752 140730524645674 140730524645869 140730524645869 140730524651471 0
/proc/34717/statm: 61701 55933 1280 1200 0 60181 0
Current children cumulated CPU time: 3275.22 s
Current children cumulated vsize: 246804 KiB
Current children cumulated memory: 223732 KiB
[startup+3342.3 s]
/proc/loadavg: 1.09 1.09 1.15 2/246 34978
/proc/meminfo: memFree=129137384/131250000 swapFree=33010684/33010684
[pid=34717] ppid=34714 vsize=248208 memory=225012 CPUtime=3335.09 cores=1,3
/proc/34717/stat : 34717 (Exact) R 34714 34717 33777 0 -1 4194304 46416 0 0 0 332171 1338 0 0 20 0 1 0 43226572 254164992 56253 18446744073709551615 4198400 9112445 140730524640560 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 33738752 140730524645674 140730524645869 140730524645869 140730524651471 0
/proc/34717/statm: 62052 56253 1280 1200 0 60532 0
Current children cumulated CPU time: 3335.09 s
Current children cumulated vsize: 248208 KiB
Current children cumulated memory: 225012 KiB
[startup+3402.3 s]
/proc/loadavg: 1.10 1.08 1.15 2/246 34980
/proc/meminfo: memFree=129139008/131250000 swapFree=33010684/33010684
[pid=34717] ppid=34714 vsize=248552 memory=225524 CPUtime=3394.96 cores=1,3
/proc/34717/stat : 34717 (Exact) R 34714 34717 33777 0 -1 4194304 46534 0 0 0 338134 1362 0 0 20 0 1 0 43226572 254517248 56381 18446744073709551615 4198400 9112445 140730524640560 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 33738752 140730524645674 140730524645869 140730524645869 140730524651471 0
/proc/34717/statm: 62138 56381 1280 1200 0 60618 0
Current children cumulated CPU time: 3394.96 s
Current children cumulated vsize: 248552 KiB
Current children cumulated memory: 225524 KiB
[startup+3462.3 s]
/proc/loadavg: 1.09 1.08 1.14 2/246 34982
/proc/meminfo: memFree=129142036/131250000 swapFree=33010684/33010684
[pid=34717] ppid=34714 vsize=248684 memory=225652 CPUtime=3454.83 cores=1,3
/proc/34717/stat : 34717 (Exact) R 34714 34717 33777 0 -1 4194304 46542 0 0 0 344097 1386 0 0 20 0 1 0 43226572 254652416 56413 18446744073709551615 4198400 9112445 140730524640560 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 33738752 140730524645674 140730524645869 140730524645869 140730524651471 0
/proc/34717/statm: 62171 56413 1280 1200 0 60651 0
Current children cumulated CPU time: 3454.83 s
Current children cumulated vsize: 248684 KiB
Current children cumulated memory: 225652 KiB
[startup+3522.3 s]
/proc/loadavg: 1.07 1.08 1.14 2/247 34985
/proc/meminfo: memFree=129125332/131250000 swapFree=33010684/33010684
[pid=34717] ppid=34714 vsize=249580 memory=226548 CPUtime=3514.7 cores=1,3
/proc/34717/stat : 34717 (Exact) R 34714 34717 33777 0 -1 4194304 46761 0 0 0 350063 1407 0 0 20 0 1 0 43226572 255569920 56637 18446744073709551615 4198400 9112445 140730524640560 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 33738752 140730524645674 140730524645869 140730524645869 140730524651471 0
/proc/34717/statm: 62395 56637 1280 1200 0 60875 0
Current children cumulated CPU time: 3514.7 s
Current children cumulated vsize: 249580 KiB
Current children cumulated memory: 226548 KiB
[startup+3582.3 s]
/proc/loadavg: 1.06 1.08 1.13 2/247 34987
/proc/meminfo: memFree=129127572/131250000 swapFree=33010684/33010684
[pid=34717] ppid=34714 vsize=249580 memory=226548 CPUtime=3574.56 cores=1,3
/proc/34717/stat : 34717 (Exact) R 34714 34717 33777 0 -1 4194304 46778 0 0 0 356023 1433 0 0 20 0 1 0 43226572 255569920 56637 18446744073709551615 4198400 9112445 140730524640560 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 33738752 140730524645674 140730524645869 140730524645869 140730524651471 0
/proc/34717/statm: 62395 56637 1280 1200 0 60875 0
Current children cumulated CPU time: 3574.56 s
Current children cumulated vsize: 249580 KiB
Current children cumulated memory: 226548 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3607.8 s]
/proc/loadavg: 1.12 1.09 1.13 2/247 34987
/proc/meminfo: memFree=129128076/131250000 swapFree=33010684/33010684
[pid=34717] ppid=34714 vsize=249580 memory=226548 CPUtime=3600.01 cores=1,3
/proc/34717/stat : 34717 (Exact) R 34714 34717 33777 0 -1 4194304 46781 0 0 0 358557 1444 0 0 20 0 1 0 43226572 255569920 56637 18446744073709551615 4198400 9112445 140730524640560 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 33738752 140730524645674 140730524645869 140730524645869 140730524651471 0
/proc/34717/statm: 62395 56637 1280 1200 0 60875 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 249580 KiB
Current children cumulated memory: 226548 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3607.8 s]
# the end of solver process 34717 was just reported to runsolver
# Child status: 10
# cumulated CPU time of all completed processes: user=3585.58 s, system=14.4433 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 10
Real time (s): 3607.8
CPU time (s): 3600.03
CPU user time (s): 3585.58
CPU system time (s): 14.4433
CPU usage (%): 99.7844
Max. virtual memory (cumulated for all children) (KiB): 249580
Max. memory (cumulated for all children) (KiB): 226548
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3585.58
system time used= 14.4433
maximum resident set size= 226548
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 46783
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= 75
involuntary context switches= 2690
# summary of solver processes directly reported to runsolver:
# pid: 34717
# total CPU time (s): 3600.03
# total CPU user time (s): 3585.58
# total CPU system time (s): 14.4433
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.48682 second user time and 14.5198 second system time
The end
Begin job on nodeC027 at 2025-06-30 11:24:27 IDJOB=4512286 IDBENCH=160608 IDSOLVER=3318 FILE ID=nodeC027/4512286-1751275467 RUNJOBID= nodeC027-1751268232-33796 SLURM_JOB_ID= 9594194 Free space on /tmp= 433040 MiB SOLVER NAME= Exact_no_db_no_ls 2025-06-19 BENCH NAME= PB24/normalized-PB15eval/OPT-NLC/minlplib2-pb-0.1.0/opb/normalized-graphpart_clique-40.opb COMMAND LINE= HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=RANDOMSEED --ls=0 --inp-dombreaklim=0 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4512286-1751275467/watcher-4512286-1751275467 -o /tmp/evaluation-result-4512286-1751275467/solver-4512286-1751275467 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC027-1751268232-33796 --watchdog 3760 HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=27383631 --ls=0 --inp-dombreaklim=0 HOME/instance-4512286-1751275467.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= deae341c085f4a1f226bb0b999d26c4b RANDOM SEED=27383631 nodeC027 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.612 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.29 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.305 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.29 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.563 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.29 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3599.622 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.29 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.613 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.29 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.648 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.29 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 : 3599.070 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.29 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.828 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.29 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131250000 kB MemFree: 126158688 kB MemAvailable: 126592168 kB Buffers: 3280 kB Cached: 1236436 kB SwapCached: 0 kB Active: 3450640 kB Inactive: 979832 kB Active(anon): 3208828 kB Inactive(anon): 0 kB Active(file): 241812 kB Inactive(file): 979832 kB Unevictable: 3072 kB Mlocked: 0 kB SwapTotal: 33010684 kB SwapFree: 33010684 kB Zswap: 0 kB Zswapped: 0 kB Dirty: 7188 kB Writeback: 8 kB AnonPages: 3193828 kB Mapped: 118940 kB Shmem: 18068 kB KReclaimable: 101748 kB Slab: 187516 kB SReclaimable: 101748 kB SUnreclaim: 85768 kB KernelStack: 4320 kB PageTables: 9268 kB SecPageTables: 0 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 98635684 kB Committed_AS: 3633828 kB VmallocTotal: 34359738367 kB VmallocUsed: 150600 kB VmallocChunk: 0 kB Percpu: 3776 kB HardwareCorrupted: 0 kB AnonHugePages: 2816000 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: 203476 kB DirectMap2M: 9005056 kB DirectMap1G: 126877696 kB Free space on /tmp at the end= 433056 MiB End job on nodeC027 at 2025-06-30 12:24:35