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) | 719 | 3600.09 | 3609.9 |
| Name | PB24/normalized-PB15eval/OPT-NLC/minlplib2-pb-0.1.0/ opb/normalized-edgecross10-070.opb |
| MD5SUM | 038c3c94959b7fb9ae78b9306ef53fb4 |
| 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 | 717 |
| Best CPU time to get the best result obtained on this benchmark | 140.348 |
| 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 | 91 |
| Total number of constraints | 481 |
| Number of constraints which are clauses | 480 |
| Number of constraints which are cardinality constraints (but not clauses) | 1 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 3 |
| Number of terms in the objective function | 1221 |
| Biggest coefficient in the objective function | 1013 |
| Number of bits for the biggest coefficient in the objective function | 10 |
| Sum of the numbers in the objective function | 3843 |
| Number of bits of the sum of numbers in the objective function | 12 |
| Biggest number in a constraint | 1013 |
| Number of bits of the biggest number in a constraint | 10 |
| Biggest sum of numbers in a constraint | 3843 |
| Number of bits of the biggest sum of numbers | 12 |
| Number of products (including duplicates) | 1133 |
| Sum of products size (including duplicates) | 2266 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.05 o 1002 0.00/0.05 o 998 0.00/0.05 o 995 0.00/0.05 o 985 0.00/0.05 o 984 0.00/0.06 o 889 0.00/0.06 o 879 0.29/0.36 o 878 0.29/0.37 o 809 0.29/0.37 o 799 0.29/0.38 o 791 35.60/35.70 o 790 53.65/53.82 o 789 53.65/53.82 o 787 53.65/53.84 o 786 54.24/54.49 o 784 58.94/59.17 o 782 58.94/59.18 o 780 60.63/60.87 o 778 73.99/74.21 o 777 74.30/74.50 o 776 78.78/79.08 o 775 78.78/79.08 o 771 79.68/79.96 o 769 79.68/79.97 o 768 79.68/79.97 o 766 79.89/80.17 o 765 80.88/81.17 o 762 90.35/90.66 o 761 106.21/106.54 o 757 106.21/106.59 o 756 107.82/108.15 o 755 108.51/108.84 o 754 109.21/109.59 o 753 109.21/109.59 o 750 129.45/129.89 o 749 129.45/129.89 o 744 129.55/129.90 o 743 129.55/129.97 o 742 129.76/130.17 o 734 129.85/130.21 o 733 129.85/130.27 o 730 130.05/130.41 o 729 130.66/131.05 o 728 132.34/132.80 o 727 132.44/132.82 o 726 651.12/652.89 o 724 651.61/653.35 o 723 651.71/653.47 o 722 1227.11/1230.45 o 721 1227.51/1230.85 o 720 1904.73/1909.95 o 719 3600.07/3609.90 c Program interrupted by user. 3600.07/3609.90 s SATISFIABLE 3600.07/3609.90 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
OK 719
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 (62854 MiB free)
memory of node 1: 64507 MiB (63981 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4512247-1751275466/watcher-4512247-1751275466 -o /tmp/evaluation-result-4512247-1751275466/solver-4512247-1751275466 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC034-1751275466-36816 --watchdog 3760 HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=1823902680 --ls=0 --inp-dombreaklim=0 HOME/instance-4512247-1751275466.opb
running on 2 cores: 5,7
CPU governors:
performance: 5 7
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
solver pid=36871, runsolver pid=36861
Current StackSize limit: 8192 KiB
[startup+0.10006 s]*
/proc/loadavg: 1.08 1.08 1.19 5/261 36873
/proc/meminfo: memFree=129853760/131249988 swapFree=33010684/33010684
[pid=36871] ppid=36861 vsize=35588 memory=13708 CPUtime=0.09 cores=5,7
/proc/36871/stat : 36871 (Exact) R 36861 36871 36062 0 -1 4194304 2555 0 0 0 9 0 0 0 20 0 1 0 43225483 36442112 3427 18446744073709551615 4198400 9112445 140724358246448 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 41467904 140724358248744 140724358248941 140724358248941 140724358254543 0
/proc/36871/statm: 8897 3427 1280 1200 0 7377 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 35588 KiB
Current children cumulated memory: 13708 KiB
[startup+0.20557 s]*
/proc/loadavg: 1.08 1.08 1.19 5/260 36881
/proc/meminfo: memFree=129859316/131249988 swapFree=33010684/33010684
[pid=36871] ppid=36861 vsize=35852 memory=16244 CPUtime=0.2 cores=5,7
/proc/36871/stat : 36871 (Exact) R 36861 36871 36062 0 -1 4194304 2703 0 0 0 20 0 0 0 20 0 1 0 43225483 36712448 4061 18446744073709551615 4198400 9112445 140724358246448 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 41467904 140724358248744 140724358248941 140724358248941 140724358254543 0
/proc/36871/statm: 8963 4061 1280 1200 0 7443 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 35852 KiB
Current children cumulated memory: 16244 KiB
[startup+0.304895 s]*
/proc/loadavg: 1.08 1.08 1.19 5/260 36881
/proc/meminfo: memFree=129857300/131249988 swapFree=33010684/33010684
[pid=36871] ppid=36861 vsize=36116 memory=16500 CPUtime=0.29 cores=5,7
/proc/36871/stat : 36871 (Exact) R 36861 36871 36062 0 -1 4194304 2769 0 0 0 29 0 0 0 20 0 1 0 43225483 36982784 4125 18446744073709551615 4198400 9112445 140724358246448 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 41467904 140724358248744 140724358248941 140724358248941 140724358254543 0
/proc/36871/statm: 9029 4125 1280 1200 0 7509 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 36116 KiB
Current children cumulated memory: 16500 KiB
[startup+0.70014 s]
/proc/loadavg: 1.08 1.08 1.19 5/260 36881
/proc/meminfo: memFree=129853016/131249988 swapFree=33010684/33010684
[pid=36871] ppid=36861 vsize=39584 memory=22148 CPUtime=0.69 cores=5,7
/proc/36871/stat : 36871 (Exact) R 36861 36871 36062 0 -1 4194304 3653 0 0 0 68 1 0 0 20 0 1 0 43225483 40534016 5537 18446744073709551615 4198400 9112445 140724358246448 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 41467904 140724358248744 140724358248941 140724358248941 140724358254543 0
/proc/36871/statm: 9896 5537 1280 1200 0 8376 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 39584 KiB
Current children cumulated memory: 22148 KiB
[startup+1.50016 s]
/proc/loadavg: 1.08 1.08 1.19 5/260 36881
/proc/meminfo: memFree=129852512/131249988 swapFree=33010684/33010684
[pid=36871] ppid=36861 vsize=42596 memory=29092 CPUtime=1.49 cores=5,7
/proc/36871/stat : 36871 (Exact) R 36861 36871 36062 0 -1 4194304 4359 0 0 0 147 2 0 0 20 0 1 0 43225483 43618304 7273 18446744073709551615 4198400 9112445 140724358246448 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 41467904 140724358248744 140724358248941 140724358248941 140724358254543 0
/proc/36871/statm: 10649 7273 1280 1200 0 9129 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 42596 KiB
Current children cumulated memory: 29092 KiB
[startup+3.10547 s]
/proc/loadavg: 1.32 1.13 1.21 6/264 36918
/proc/meminfo: memFree=129732560/131249988 swapFree=33010684/33010684
[pid=36871] ppid=36861 vsize=44556 memory=32916 CPUtime=3.08 cores=5,7
/proc/36871/stat : 36871 (Exact) R 36861 36871 36062 0 -1 4194304 4833 0 0 0 306 2 0 0 20 0 1 0 43225483 45625344 8229 18446744073709551615 4198400 9112445 140724358246448 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 41467904 140724358248744 140724358248941 140724358248941 140724358254543 0
/proc/36871/statm: 11139 8229 1280 1200 0 9619 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 44556 KiB
Current children cumulated memory: 32916 KiB
[startup+6.30015 s]
/proc/loadavg: 1.32 1.13 1.21 6/264 36918
/proc/meminfo: memFree=129551976/131249988 swapFree=33010684/33010684
[pid=36871] ppid=36861 vsize=65496 memory=50716 CPUtime=6.28 cores=5,7
/proc/36871/stat : 36871 (Exact) R 36861 36871 36062 0 -1 4194304 7448 0 0 0 622 6 0 0 20 0 1 0 43225483 67067904 12679 18446744073709551615 4198400 9112445 140724358246448 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 41467904 140724358248744 140724358248941 140724358248941 140724358254543 0
/proc/36871/statm: 16374 12679 1280 1200 0 14854 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 65496 KiB
Current children cumulated memory: 50716 KiB
[startup+12.7001 s]
/proc/loadavg: 1.81 1.24 1.25 6/264 36918
/proc/meminfo: memFree=129481068/131249988 swapFree=33010684/33010684
[pid=36871] ppid=36861 vsize=68080 memory=55180 CPUtime=12.65 cores=5,7
/proc/36871/stat : 36871 (Exact) R 36861 36871 36062 0 -1 4194304 8066 0 0 0 1256 9 0 0 20 0 1 0 43225483 69713920 13795 18446744073709551615 4198400 9112445 140724358246448 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 41467904 140724358248744 140724358248941 140724358248941 140724358254543 0
/proc/36871/statm: 17020 13795 1280 1200 0 15500 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 68080 KiB
Current children cumulated memory: 55180 KiB
[startup+25.5002 s]
/proc/loadavg: 2.15 1.34 1.28 6/264 36918
/proc/meminfo: memFree=129434044/131249988 swapFree=33010684/33010684
[pid=36871] ppid=36861 vsize=70440 memory=61696 CPUtime=25.43 cores=5,7
/proc/36871/stat : 36871 (Exact) R 36861 36871 36062 0 -1 4194304 8680 0 0 0 2528 15 0 0 20 0 1 0 43225483 72130560 15424 18446744073709551615 4198400 9112445 140724358246448 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 41467904 140724358248744 140724358248941 140724358248941 140724358254543 0
/proc/36871/statm: 17610 15424 1280 1200 0 16090 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 70440 KiB
Current children cumulated memory: 61696 KiB
[startup+51.1055 s]
/proc/loadavg: 2.78 1.55 1.35 6/264 36918
/proc/meminfo: memFree=129385652/131249988 swapFree=33010684/33010684
[pid=36871] ppid=36861 vsize=74940 memory=66176 CPUtime=50.96 cores=5,7
/proc/36871/stat : 36871 (Exact) R 36861 36871 36062 0 -1 4194304 9818 0 0 0 5071 25 0 0 20 0 1 0 43225483 76738560 16544 18446744073709551615 4198400 9112445 140724358246448 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 41467904 140724358248744 140724358248941 140724358248941 140724358254543 0
/proc/36871/statm: 18735 16544 1280 1200 0 17215 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 74940 KiB
Current children cumulated memory: 66176 KiB
[startup+102.3 s]
/proc/loadavg: 3.58 1.98 1.51 6/263 36920
/proc/meminfo: memFree=129304084/131249988 swapFree=33010684/33010684
[pid=36871] ppid=36861 vsize=84760 memory=75008 CPUtime=102.02 cores=5,7
/proc/36871/stat : 36871 (Exact) R 36861 36871 36062 0 -1 4194304 12066 0 0 0 10147 55 0 0 20 0 1 0 43225483 86794240 18752 18446744073709551615 4198400 9112445 140724358246448 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 41467904 140724358248744 140724358248941 140724358248941 140724358254543 0
/proc/36871/statm: 21190 18752 1280 1200 0 19670 0
Current children cumulated CPU time: 102.02 s
Current children cumulated vsize: 84760 KiB
Current children cumulated memory: 75008 KiB
[startup+162.3 s]
/proc/loadavg: 3.90 2.37 1.67 6/264 36929
/proc/meminfo: memFree=129280508/131249988 swapFree=33010684/33010684
[pid=36871] ppid=36861 vsize=88228 memory=78336 CPUtime=161.86 cores=5,7
/proc/36871/stat : 36871 (Exact) R 36861 36871 36062 0 -1 4194304 12914 0 0 0 16097 89 0 0 20 0 1 0 43225483 90345472 19584 18446744073709551615 4198400 9112445 140724358246448 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 41467904 140724358248744 140724358248941 140724358248941 140724358254543 0
/proc/36871/statm: 22057 19584 1280 1200 0 20537 0
Current children cumulated CPU time: 161.86 s
Current children cumulated vsize: 88228 KiB
Current children cumulated memory: 78336 KiB
[startup+222.3 s]
/proc/loadavg: 4.00 2.68 1.83 6/265 36932
/proc/meminfo: memFree=129260408/131249988 swapFree=33010684/33010684
[pid=36871] ppid=36861 vsize=91676 memory=81664 CPUtime=221.71 cores=5,7
/proc/36871/stat : 36871 (Exact) R 36861 36871 36062 0 -1 4194304 13759 0 0 0 22052 119 0 0 20 0 1 0 43225483 93876224 20416 18446744073709551615 4198400 9112445 140724358246448 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 41467904 140724358248744 140724358248941 140724358248941 140724358254543 0
/proc/36871/statm: 22919 20416 1280 1200 0 21399 0
Current children cumulated CPU time: 221.71 s
Current children cumulated vsize: 91676 KiB
Current children cumulated memory: 81664 KiB
[startup+282.3 s]
/proc/loadavg: 4.03 2.94 1.97 6/265 36934
/proc/meminfo: memFree=129238132/131249988 swapFree=33010684/33010684
[pid=36871] ppid=36861 vsize=100308 memory=92960 CPUtime=281.55 cores=5,7
/proc/36871/stat : 36871 (Exact) R 36861 36871 36062 0 -1 4194304 15613 0 0 0 28005 150 0 0 20 0 1 0 43225483 102715392 23240 18446744073709551615 4198400 9112445 140724358246448 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 41467904 140724358248744 140724358248941 140724358248941 140724358254543 0
/proc/36871/statm: 25077 23240 1280 1200 0 23557 0
Current children cumulated CPU time: 281.55 s
Current children cumulated vsize: 100308 KiB
Current children cumulated memory: 92960 KiB
[startup+342.3 s]
/proc/loadavg: 4.06 3.15 2.11 6/264 36936
/proc/meminfo: memFree=129234908/131249988 swapFree=33010684/33010684
[pid=36871] ppid=36861 vsize=101008 memory=93600 CPUtime=341.4 cores=5,7
/proc/36871/stat : 36871 (Exact) R 36861 36871 36062 0 -1 4194304 15798 0 0 0 33954 186 0 0 20 0 1 0 43225483 103432192 23400 18446744073709551615 4198400 9112445 140724358246448 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 41467904 140724358248744 140724358248941 140724358248941 140724358254543 0
/proc/36871/statm: 25252 23400 1280 1200 0 23732 0
Current children cumulated CPU time: 341.4 s
Current children cumulated vsize: 101008 KiB
Current children cumulated memory: 93600 KiB
[startup+402.3 s]
/proc/loadavg: 4.13 3.34 2.24 6/264 36938
/proc/meminfo: memFree=129195932/131249988 swapFree=33010684/33010684
[pid=36871] ppid=36861 vsize=102972 memory=95648 CPUtime=401.25 cores=5,7
/proc/36871/stat : 36871 (Exact) R 36861 36871 36062 0 -1 4194304 16287 0 0 0 39912 213 0 0 20 0 1 0 43225483 105443328 23912 18446744073709551615 4198400 9112445 140724358246448 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 41467904 140724358248744 140724358248941 140724358248941 140724358254543 0
/proc/36871/statm: 25743 23912 1280 1200 0 24223 0
Current children cumulated CPU time: 401.25 s
Current children cumulated vsize: 102972 KiB
Current children cumulated memory: 95648 KiB
[startup+462.3 s]
/proc/loadavg: 4.10 3.47 2.36 6/264 36941
/proc/meminfo: memFree=129156840/131249988 swapFree=33010684/33010684
[pid=36871] ppid=36861 vsize=129136 memory=102432 CPUtime=461.09 cores=5,7
/proc/36871/stat : 36871 (Exact) R 36861 36871 36062 0 -1 4194304 17394 0 0 0 45867 242 0 0 20 0 1 0 43225483 132235264 25608 18446744073709551615 4198400 9112445 140724358246448 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 41467904 140724358248744 140724358248941 140724358248941 140724358254543 0
/proc/36871/statm: 32284 25608 1280 1200 0 30764 0
################
# More data... #
################
Current children cumulated memory: 141056 KiB
[startup+2922.3 s]
/proc/loadavg: 4.05 4.08 4.00 6/262 37067
/proc/meminfo: memFree=128918360/131249988 swapFree=33010684/33010684
[pid=36871] ppid=36861 vsize=160816 memory=141696 CPUtime=2914.28 cores=5,7
/proc/36871/stat : 36871 (Exact) R 36861 36871 36062 0 -1 4194304 25310 0 0 0 289828 1600 0 0 20 0 1 0 43225483 164675584 35424 18446744073709551615 4198400 9112445 140724358246448 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 41467904 140724358248744 140724358248941 140724358248941 140724358254543 0
/proc/36871/statm: 40204 35424 1280 1200 0 38684 0
Current children cumulated CPU time: 2914.28 s
Current children cumulated vsize: 160816 KiB
Current children cumulated memory: 141696 KiB
[startup+2982.3 s]
/proc/loadavg: 4.13 4.09 4.01 6/262 37069
/proc/meminfo: memFree=128902436/131249988 swapFree=33010684/33010684
[pid=36871] ppid=36861 vsize=161556 memory=142464 CPUtime=2974.09 cores=5,7
/proc/36871/stat : 36871 (Exact) R 36861 36871 36062 0 -1 4194304 25580 0 0 0 295773 1636 0 0 20 0 1 0 43225483 165433344 35616 18446744073709551615 4198400 9112445 140724358246448 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 41467904 140724358248744 140724358248941 140724358248941 140724358254543 0
/proc/36871/statm: 40389 35616 1280 1200 0 38869 0
Current children cumulated CPU time: 2974.09 s
Current children cumulated vsize: 161556 KiB
Current children cumulated memory: 142464 KiB
[startup+3042.3 s]
/proc/loadavg: 4.16 4.11 4.02 6/262 37071
/proc/meminfo: memFree=128902140/131249988 swapFree=33010684/33010684
[pid=36871] ppid=36861 vsize=161768 memory=142592 CPUtime=3033.91 cores=5,7
/proc/36871/stat : 36871 (Exact) R 36861 36871 36062 0 -1 4194304 25610 0 0 0 301720 1671 0 0 20 0 1 0 43225483 165650432 35648 18446744073709551615 4198400 9112445 140724358246448 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 41467904 140724358248744 140724358248941 140724358248941 140724358254543 0
/proc/36871/statm: 40442 35648 1280 1200 0 38922 0
Current children cumulated CPU time: 3033.91 s
Current children cumulated vsize: 161768 KiB
Current children cumulated memory: 142592 KiB
[startup+3102.3 s]
/proc/loadavg: 4.11 4.10 4.02 6/262 37073
/proc/meminfo: memFree=128900644/131249988 swapFree=33010684/33010684
[pid=36871] ppid=36861 vsize=162112 memory=143104 CPUtime=3093.74 cores=5,7
/proc/36871/stat : 36871 (Exact) R 36861 36871 36062 0 -1 4194304 25697 0 0 0 307671 1703 0 0 20 0 1 0 43225483 166002688 35776 18446744073709551615 4198400 9112445 140724358246448 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 41467904 140724358248744 140724358248941 140724358248941 140724358254543 0
/proc/36871/statm: 40528 35776 1280 1200 0 39008 0
Current children cumulated CPU time: 3093.74 s
Current children cumulated vsize: 162112 KiB
Current children cumulated memory: 143104 KiB
[startup+3162.3 s]
/proc/loadavg: 4.10 4.09 4.02 6/263 37082
/proc/meminfo: memFree=128900408/131249988 swapFree=33010684/33010684
[pid=36871] ppid=36861 vsize=162112 memory=143104 CPUtime=3153.6 cores=5,7
/proc/36871/stat : 36871 (Exact) R 36861 36871 36062 0 -1 4194304 25697 0 0 0 313626 1734 0 0 20 0 1 0 43225483 166002688 35776 18446744073709551615 4198400 9112445 140724358246448 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 41467904 140724358248744 140724358248941 140724358248941 140724358254543 0
/proc/36871/statm: 40528 35776 1280 1200 0 39008 0
Current children cumulated CPU time: 3153.6 s
Current children cumulated vsize: 162112 KiB
Current children cumulated memory: 143104 KiB
[startup+3222.3 s]
/proc/loadavg: 4.09 4.09 4.02 6/264 37085
/proc/meminfo: memFree=128896348/131249988 swapFree=33010684/33010684
[pid=36871] ppid=36861 vsize=162112 memory=143104 CPUtime=3213.45 cores=5,7
/proc/36871/stat : 36871 (Exact) R 36861 36871 36062 0 -1 4194304 25697 0 0 0 319582 1763 0 0 20 0 1 0 43225483 166002688 35776 18446744073709551615 4198400 9112445 140724358246448 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 41467904 140724358248744 140724358248941 140724358248941 140724358254543 0
/proc/36871/statm: 40528 35776 1280 1200 0 39008 0
Current children cumulated CPU time: 3213.45 s
Current children cumulated vsize: 162112 KiB
Current children cumulated memory: 143104 KiB
[startup+3282.3 s]
/proc/loadavg: 4.07 4.09 4.02 6/264 37087
/proc/meminfo: memFree=128887992/131249988 swapFree=33010684/33010684
[pid=36871] ppid=36861 vsize=162512 memory=143488 CPUtime=3273.3 cores=5,7
/proc/36871/stat : 36871 (Exact) R 36861 36871 36062 0 -1 4194304 25811 0 0 0 325535 1795 0 0 20 0 1 0 43225483 166412288 35872 18446744073709551615 4198400 9112445 140724358246448 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 41467904 140724358248744 140724358248941 140724358248941 140724358254543 0
/proc/36871/statm: 40628 35872 1280 1200 0 39108 0
Current children cumulated CPU time: 3273.3 s
Current children cumulated vsize: 162512 KiB
Current children cumulated memory: 143488 KiB
[startup+3342.3 s]
/proc/loadavg: 4.06 4.08 4.02 6/264 37089
/proc/meminfo: memFree=128888132/131249988 swapFree=33010684/33010684
[pid=36871] ppid=36861 vsize=162512 memory=143616 CPUtime=3333.14 cores=5,7
/proc/36871/stat : 36871 (Exact) R 36861 36871 36062 0 -1 4194304 25837 0 0 0 331488 1826 0 0 20 0 1 0 43225483 166412288 35904 18446744073709551615 4198400 9112445 140724358246448 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 41467904 140724358248744 140724358248941 140724358248941 140724358254543 0
/proc/36871/statm: 40628 35904 1280 1200 0 39108 0
Current children cumulated CPU time: 3333.14 s
Current children cumulated vsize: 162512 KiB
Current children cumulated memory: 143616 KiB
[startup+3402.3 s]
/proc/loadavg: 4.06 4.08 4.02 6/264 37091
/proc/meminfo: memFree=128879564/131249988 swapFree=33010684/33010684
[pid=36871] ppid=36861 vsize=163312 memory=144256 CPUtime=3393 cores=5,7
/proc/36871/stat : 36871 (Exact) R 36861 36871 36062 0 -1 4194304 26013 0 0 0 337442 1858 0 0 20 0 1 0 43225483 167231488 36064 18446744073709551615 4198400 9112445 140724358246448 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 41467904 140724358248744 140724358248941 140724358248941 140724358254543 0
/proc/36871/statm: 40828 36064 1280 1200 0 39308 0
Current children cumulated CPU time: 3393 s
Current children cumulated vsize: 163312 KiB
Current children cumulated memory: 144256 KiB
[startup+3462.3 s]
/proc/loadavg: 4.13 4.09 4.02 6/263 37093
/proc/meminfo: memFree=128872532/131249988 swapFree=33010684/33010684
[pid=36871] ppid=36861 vsize=163312 memory=144384 CPUtime=3452.85 cores=5,7
/proc/36871/stat : 36871 (Exact) R 36861 36871 36062 0 -1 4194304 26045 0 0 0 343394 1891 0 0 20 0 1 0 43225483 167231488 36096 18446744073709551615 4198400 9112445 140724358246448 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 41467904 140724358248744 140724358248941 140724358248941 140724358254543 0
/proc/36871/statm: 40828 36096 1280 1200 0 39308 0
Current children cumulated CPU time: 3452.85 s
Current children cumulated vsize: 163312 KiB
Current children cumulated memory: 144384 KiB
[startup+3522.3 s]
/proc/loadavg: 4.10 4.09 4.02 6/262 37095
/proc/meminfo: memFree=128867624/131249988 swapFree=33010684/33010684
[pid=36871] ppid=36861 vsize=163504 memory=144512 CPUtime=3512.69 cores=5,7
/proc/36871/stat : 36871 (Exact) R 36861 36871 36062 0 -1 4194304 26061 0 0 0 349350 1919 0 0 20 0 1 0 43225483 167428096 36128 18446744073709551615 4198400 9112445 140724358246448 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 41467904 140724358248744 140724358248941 140724358248941 140724358254543 0
/proc/36871/statm: 40876 36128 1280 1200 0 39356 0
Current children cumulated CPU time: 3512.69 s
Current children cumulated vsize: 163504 KiB
Current children cumulated memory: 144512 KiB
[startup+3582.3 s]
/proc/loadavg: 4.12 4.09 4.02 6/262 37097
/proc/meminfo: memFree=128874988/131249988 swapFree=33010684/33010684
[pid=36871] ppid=36861 vsize=163644 memory=144640 CPUtime=3572.55 cores=5,7
/proc/36871/stat : 36871 (Exact) R 36861 36871 36062 0 -1 4194304 26097 0 0 0 355302 1953 0 0 20 0 1 0 43225483 167571456 36160 18446744073709551615 4198400 9112445 140724358246448 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 41467904 140724358248744 140724358248941 140724358248941 140724358254543 0
/proc/36871/statm: 40911 36160 1280 1200 0 39391 0
Current children cumulated CPU time: 3572.55 s
Current children cumulated vsize: 163644 KiB
Current children cumulated memory: 144640 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.9 s]
/proc/loadavg: 4.07 4.08 4.02 6/262 37098
/proc/meminfo: memFree=128874404/131249988 swapFree=33010684/33010684
[pid=36871] ppid=36861 vsize=164348 memory=145280 CPUtime=3600.07 cores=5,7
/proc/36871/stat : 36871 (Exact) R 36861 36871 36062 0 -1 4194304 26273 0 0 0 358040 1967 0 0 20 0 1 0 43225483 168292352 36320 18446744073709551615 4198400 9112445 140724358246448 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 41467904 140724358248744 140724358248941 140724358248941 140724358254543 0
/proc/36871/statm: 41087 36320 1280 1200 0 39567 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 164348 KiB
Current children cumulated memory: 145280 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3609.9 s]
# the end of solver process 36871 was just reported to runsolver
# Child status: 10
# cumulated CPU time of all completed processes: user=3580.41 s, system=19.6795 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3609.9 s]
/proc/loadavg: 4.07 4.08 4.02 6/262 37098
/proc/meminfo: memFree=128874404/131249988 swapFree=33010684/33010684
[pid=36871] ppid=36861 vsize=164348 memory=145280 CPUtime=3600.07 cores=5,7
/proc/36871/stat : 36871 (Exact) R 36861 36871 36062 0 -1 4194304 26273 0 0 0 358040 1967 0 0 20 0 1 0 43225483 168292352 36320 18446744073709551615 4198400 9112445 140724358246448 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 41467904 140724358248744 140724358248941 140724358248941 140724358254543 0
/proc/36871/statm: 41087 36320 1280 1200 0 39567 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 164348 KiB
Current children cumulated memory: 145280 KiB
Child status: 10
Real time (s): 3609.9
CPU time (s): 3600.09
CPU user time (s): 3580.41
CPU system time (s): 19.6795
CPU usage (%): 99.7281
Max. virtual memory (cumulated for all children) (KiB): 164348
Max. memory (cumulated for all children) (KiB): 145280
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3580.41
system time used= 19.6795
maximum resident set size= 145408
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 26275
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= 49
involuntary context switches= 2818
# summary of solver processes directly reported to runsolver:
# pid: 36871
# total CPU time (s): 3600.09
# total CPU user time (s): 3580.41
# total CPU system time (s): 19.6795
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.77819 second user time and 15.6896 second system time
The end
Begin job on nodeC034 at 2025-06-30 11:24:26 IDJOB=4512247 IDBENCH=160535 IDSOLVER=3318 FILE ID=nodeC034/4512247-1751275466 RUNJOBID= nodeC034-1751275466-36816 SLURM_JOB_ID= 9594201 Free space on /tmp= 433064 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-edgecross10-070.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-4512247-1751275466/watcher-4512247-1751275466 -o /tmp/evaluation-result-4512247-1751275466/solver-4512247-1751275466 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC034-1751275466-36816 --watchdog 3760 HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=1823902680 --ls=0 --inp-dombreaklim=0 HOME/instance-4512247-1751275466.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 038c3c94959b7fb9ae78b9306ef53fb4 RANDOM SEED=1823902680 nodeC034 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 : 3600.620 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.53 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 : 3596.645 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.53 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.963 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.53 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.760 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.53 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 : 3598.436 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.53 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 : 3601.570 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.53 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.756 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.53 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.754 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.53 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131249988 kB MemFree: 129877924 kB MemAvailable: 129705488 kB Buffers: 3280 kB Cached: 635680 kB SwapCached: 0 kB Active: 307284 kB Inactive: 411100 kB Active(anon): 97528 kB Inactive(anon): 0 kB Active(file): 209756 kB Inactive(file): 411100 kB Unevictable: 3072 kB Mlocked: 0 kB SwapTotal: 33010684 kB SwapFree: 33010684 kB Zswap: 0 kB Zswapped: 0 kB Dirty: 28884 kB Writeback: 32 kB AnonPages: 82652 kB Mapped: 103044 kB Shmem: 18104 kB KReclaimable: 91492 kB Slab: 177828 kB SReclaimable: 91492 kB SUnreclaim: 86336 kB KernelStack: 4084 kB PageTables: 2556 kB SecPageTables: 0 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 98635676 kB Committed_AS: 340440 kB VmallocTotal: 34359738367 kB VmallocUsed: 150376 kB VmallocChunk: 0 kB Percpu: 3776 kB HardwareCorrupted: 0 kB AnonHugePages: 22528 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: 189140 kB DirectMap2M: 7970816 kB DirectMap1G: 127926272 kB Free space on /tmp at the end= 433032 MiB End job on nodeC034 at 2025-06-30 12:24:36