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) | -10076 | 3600.07 | 3609.11 |
| Name | PB25/normalized-PB25/OPT-NLC/sakai/QPLIB-PB-PB25-20250422/ instances/normalized-QPLIB_5881.opb |
| MD5SUM | 72a008fff12a99d8557ede6656b5f966 |
| 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 | -13067 |
| Best CPU time to get the best result obtained on this benchmark | 2078.23 |
| 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 | 0 |
| Total number of constraints | 0 |
| Number of constraints which are clauses | 0 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | -1 |
| Maximum length of a constraint | 0 |
| Number of terms in the objective function | 2243 |
| Biggest coefficient in the objective function | 100 |
| Number of bits for the biggest coefficient in the objective function | 7 |
| Sum of the numbers in the objective function | 113910 |
| Number of bits of the sum of numbers in the objective function | 17 |
| Biggest number in a constraint | 100 |
| Number of bits of the biggest number in a constraint | 7 |
| Biggest sum of numbers in a constraint | 113910 |
| Number of bits of the biggest sum of numbers | 17 |
| Number of products (including duplicates) | 2123 |
| Sum of products size (including duplicates) | 4246 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.09/0.11 o -63 0.09/0.11 o -118 0.09/0.11 o -396 0.09/0.11 o -612 0.09/0.12 o -636 0.09/0.12 o -644 0.09/0.13 o -918 0.09/0.14 o -1185 0.09/0.14 o -1385 0.09/0.14 o -1454 0.09/0.14 o -2275 0.09/0.14 o -2303 0.09/0.15 o -2417 0.09/0.16 o -2420 0.09/0.20 o -2898 0.09/0.20 o -3954 0.09/0.21 o -4112 20.95/21.02 o -4325 21.74/21.89 o -4341 29.21/29.39 o -4370 52.56/52.76 o -4505 52.56/52.77 o -4531 52.66/52.80 o -4543 52.87/53.07 o -4593 52.97/53.12 o -4598 59.15/59.37 o -4614 59.25/59.47 o -4618 59.85/60.01 o -4633 59.85/60.04 o -4697 59.95/60.13 o -4707 59.95/60.14 o -4799 59.95/60.15 o -4842 60.04/60.29 o -4861 60.14/60.32 o -4913 60.24/60.45 o -4985 60.24/60.45 o -5000 60.24/60.47 o -5037 60.24/60.48 o -5052 60.34/60.51 o -5054 60.34/60.51 o -5107 60.44/60.66 o -5112 61.24/61.45 o -5118 67.62/67.83 o -5119 72.71/72.94 o -5133 72.82/73.08 o -5171 73.01/73.26 o -5215 73.31/73.52 o -5227 73.31/73.58 o -5256 73.42/73.61 o -5310 73.61/73.84 o -5335 73.61/73.85 o -5352 73.61/73.86 o -5367 73.82/74.00 o -5416 73.82/74.01 o -5419 73.82/74.09 o -5576 73.82/74.10 o -5579 91.97/92.20 o -6712 91.97/92.21 o -6830 137.76/138.12 o -6849 145.24/145.68 o -6850 145.24/145.70 o -6878 145.34/145.74 o -6900 145.34/145.78 o -7039 145.34/145.79 o -7091 145.44/145.80 o -7109 145.44/145.81 o -7119 335.62/336.53 o -7125 336.31/337.21 o -7136 378.29/379.39 o -7168 378.39/379.40 o -7180 379.50/380.55 o -7206 379.50/380.57 o -7282 385.79/386.89 o -7311 386.58/387.67 o -7331 407.72/408.80 o -7373 463.99/465.26 o -7404 464.79/466.04 o -7417 464.79/466.07 o -7432 464.79/466.08 o -7447 466.49/467.72 o -7464 466.49/467.73 o -7483 466.49/467.76 o -7499 466.59/467.81 o -7514 513.09/514.40 o -7596 513.19/514.51 o -7667 513.19/514.53 o -7690 514.39/515.71 o -7775 514.39/515.72 o -7810 514.39/515.73 o -7833 514.39/515.77 o -7841 515.39/516.73 o -7860 515.39/516.74 o -7883 516.28/517.69 o -7918 516.38/517.70 o -7926 518.48/519.82 o -7941 518.48/519.84 o -7995 546.81/548.23 o -8011 546.81/548.28 o -8021 547.41/548.86 o -8136 547.92/549.37 o -8185 633.94/635.57 o -8213 634.13/635.77 o -8276 634.23/635.80 o -8340 634.23/635.84 o -8363 634.23/635.85 o -8406 634.23/635.86 o -8431 634.23/635.88 o -8488 634.54/636.18 o -8544 634.63/636.25 o -8594 634.63/636.29 o -8596 634.93/636.57 o -8602 635.23/636.85 o -8618 635.62/637.29 o -8633 635.92/637.54 o -8635 905.03/907.38 o -8645 906.33/908.60 o -8695 906.74/909.04 o -8798 1017.20/1019.70 o -8968 1017.79/1020.30 o -9096 1017.79/1020.35 o -9108 1017.79/1020.37 o -9270 1121.96/1124.79 o -9284 1122.56/1125.33 o -9308 1122.56/1125.34 o -9322 1122.86/1125.65 o -9406 1122.86/1125.68 o -9435 1122.96/1125.75 o -9464 1123.96/1126.70 o -9468 1123.96/1126.73 o -9486 1230.16/1233.22 o -9487 1230.16/1233.23 o -9504 1230.36/1233.46 o -9511 1230.56/1233.61 o -9531 1230.56/1233.67 o -9652 1230.66/1233.75 o -9676 1230.66/1233.78 o -9787 1230.66/1233.79 o -9817 1230.76/1233.85 o -9834 1232.55/1235.67 o -9885 2501.17/2507.55 o -9893 2501.27/2507.66 o -9952 2502.06/2508.45 o -9962 2502.06/2508.49 o -9977 2502.16/2508.50 o -10073 2502.86/2509.25 o -10076 3600.05/3609.10 c Program interrupted by user. 3600.05/3609.10 s SATISFIABLE 3600.05/3609.10 v x1 x2 x3 x4 -x5 x6 x7 x8 x9 x10 x11 -x12 x13 x14 x15 -x16 -x17 x18 -x19 x20 x21 x22 x23 x24 x25 x26 x27 x28 x29 x30 x31 x32 -x33 -x34 x35 x36 x37 -x38 -x39 x40 -x41 x42 x43 -x44 -x45 x46 -x47 -x48 x49 x50 -x51 -x52 -x53 x54 -x55 -x56 -x57 x58 -x59 -x60 x61 x62 -x63 -x64 x65 -x66 x67 -x68 x69 -x70 -x71 -x72 -x73 x74 -x75 x76 x77 x78 -x79 -x80 -x81 -x82 x83 x84 x85 -x86 x87 -x88 -x89 x90 -x91 x92 -x93 x94 x95 x96 x97 x98 -x99 x100 x101 x102 x103 x104 -x105 -x106 x107 x108 -x109 x110 x111 x112 x113 -x114 -x115 -x116 x117 x118 x119 x120
OK -10076
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63708 MiB (61816 MiB free)
memory of node 1: 64465 MiB (62408 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4524434-1751275472/watcher-4524434-1751275472 -o /tmp/evaluation-result-4524434-1751275472/solver-4524434-1751275472 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC023-1751268232-36713 --watchdog 3760 HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=694883639 --ls=0 --inp-dombreaklim=0 HOME/instance-4524434-1751275472.opb
running on 2 cores: 4,6
CPU governors:
performance: 4 6
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
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=37780, runsolver pid=37777
Current StackSize limit: 8192 KiB
[startup+0.100059 s]*
/proc/loadavg: 4.11 4.09 4.09 5/264 37781
/proc/meminfo: memFree=127191440/131249996 swapFree=33010684/33010684
[pid=37780] ppid=37777 vsize=40452 memory=17300 CPUtime=0.09 cores=4,6
/proc/37780/stat : 37780 (Exact) R 37777 37780 36695 0 -1 4194304 3878 0 0 0 9 0 0 0 20 0 1 0 43225016 41422848 4325 18446744073709551615 4198400 9112445 140732430892688 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 15314944 140732430899497 140732430899693 140732430899693 140732430905295 0
/proc/37780/statm: 10113 4325 1184 1200 0 8593 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 40452 KiB
Current children cumulated memory: 17300 KiB
[startup+0.205471 s]*
/proc/loadavg: 4.11 4.09 4.09 5/264 37781
/proc/meminfo: memFree=127188416/131249996 swapFree=33010684/33010684
[pid=37780] ppid=37777 vsize=43360 memory=24436 CPUtime=0.2 cores=4,6
/proc/37780/stat : 37780 (Exact) R 37777 37780 36695 0 -1 4194304 4575 0 0 0 20 0 0 0 20 0 1 0 43225016 44400640 6109 18446744073709551615 4198400 9112445 140732430892688 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 15314944 140732430899497 140732430899693 140732430899693 140732430905295 0
/proc/37780/statm: 10840 6109 1248 1200 0 9320 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 43360 KiB
Current children cumulated memory: 24436 KiB
[startup+0.305412 s]*
/proc/loadavg: 4.11 4.09 4.09 5/264 37781
/proc/meminfo: memFree=127188416/131249996 swapFree=33010684/33010684
[pid=37780] ppid=37777 vsize=43504 memory=24692 CPUtime=0.3 cores=4,6
/proc/37780/stat : 37780 (Exact) R 37777 37780 36695 0 -1 4194304 4620 0 0 0 30 0 0 0 20 0 1 0 43225016 44548096 6173 18446744073709551615 4198400 9112445 140732430892688 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 15314944 140732430899497 140732430899693 140732430899693 140732430905295 0
/proc/37780/statm: 10876 6173 1248 1200 0 9356 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 43504 KiB
Current children cumulated memory: 24692 KiB
[startup+0.700122 s]
/proc/loadavg: 4.11 4.09 4.09 5/264 37781
/proc/meminfo: memFree=127184320/131249996 swapFree=33010684/33010684
[pid=37780] ppid=37777 vsize=43636 memory=28956 CPUtime=0.68 cores=4,6
/proc/37780/stat : 37780 (Exact) R 37777 37780 36695 0 -1 4194304 4668 0 0 0 68 0 0 0 20 0 1 0 43225016 44683264 7239 18446744073709551615 4198400 9112445 140732430892688 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 15314944 140732430899497 140732430899693 140732430899693 140732430905295 0
/proc/37780/statm: 10909 7239 1248 1200 0 9389 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 43636 KiB
Current children cumulated memory: 28956 KiB
[startup+1.50012 s]
/proc/loadavg: 4.11 4.09 4.09 4/262 37795
/proc/meminfo: memFree=127344328/131249996 swapFree=33010684/33010684
[pid=37780] ppid=37777 vsize=45352 memory=36740 CPUtime=1.49 cores=4,6
/proc/37780/stat : 37780 (Exact) R 37777 37780 36695 0 -1 4194304 5086 0 0 0 148 1 0 0 20 0 1 0 43225016 46440448 9185 18446744073709551615 4198400 9112445 140732430892688 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 15314944 140732430899497 140732430899693 140732430899693 140732430905295 0
/proc/37780/statm: 11338 9185 1248 1200 0 9818 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 45352 KiB
Current children cumulated memory: 36740 KiB
[startup+3.10535 s]
/proc/loadavg: 4.10 4.09 4.09 4/258 37813
/proc/meminfo: memFree=127228740/131249996 swapFree=33010684/33010684
[pid=37780] ppid=37777 vsize=94568 memory=76316 CPUtime=3.09 cores=4,6
/proc/37780/stat : 37780 (Exact) R 37777 37780 36695 0 -1 4194304 8987 0 0 0 306 3 0 0 20 0 1 0 43225016 96837632 19079 18446744073709551615 4198400 9112445 140732430892688 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 15314944 140732430899497 140732430899693 140732430899693 140732430905295 0
/proc/37780/statm: 23642 19079 1248 1200 0 22122 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 94568 KiB
Current children cumulated memory: 76316 KiB
[startup+6.30016 s]
/proc/loadavg: 4.10 4.09 4.09 4/258 37813
/proc/meminfo: memFree=127197396/131249996 swapFree=33010684/33010684
[pid=37780] ppid=37777 vsize=144460 memory=98628 CPUtime=6.28 cores=4,6
/proc/37780/stat : 37780 (Exact) R 37777 37780 36695 0 -1 4194304 11952 0 0 0 622 6 0 0 20 0 1 0 43225016 147927040 24657 18446744073709551615 4198400 9112445 140732430892688 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 15314944 140732430899497 140732430899693 140732430899693 140732430905295 0
/proc/37780/statm: 36115 24657 1248 1200 0 34595 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 144460 KiB
Current children cumulated memory: 98628 KiB
[startup+12.7001 s]
/proc/loadavg: 3.93 4.05 4.08 4/258 37813
/proc/meminfo: memFree=127180528/131249996 swapFree=33010684/33010684
[pid=37780] ppid=37777 vsize=153120 memory=107204 CPUtime=12.66 cores=4,6
/proc/37780/stat : 37780 (Exact) R 37777 37780 36695 0 -1 4194304 14105 0 0 0 1258 8 0 0 20 0 1 0 43225016 156794880 26801 18446744073709551615 4198400 9112445 140732430892688 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 15314944 140732430899497 140732430899693 140732430899693 140732430905295 0
/proc/37780/statm: 38280 26801 1248 1200 0 36760 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 153120 KiB
Current children cumulated memory: 107204 KiB
[startup+25.5002 s]
/proc/loadavg: 3.79 4.02 4.07 4/258 37813
/proc/meminfo: memFree=127167804/131249996 swapFree=33010684/33010684
[pid=37780] ppid=37777 vsize=159748 memory=116068 CPUtime=25.43 cores=4,6
/proc/37780/stat : 37780 (Exact) R 37777 37780 36695 0 -1 4194304 15814 0 0 0 2530 13 0 0 20 0 1 0 43225016 163581952 29017 18446744073709551615 4198400 9112445 140732430892688 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 15314944 140732430899497 140732430899693 140732430899693 140732430905295 0
/proc/37780/statm: 39937 29017 1248 1200 0 38417 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 159748 KiB
Current children cumulated memory: 116068 KiB
[startup+51.1052 s]
/proc/loadavg: 3.52 3.93 4.04 4/258 37813
/proc/meminfo: memFree=127146400/131249996 swapFree=33010684/33010684
[pid=37780] ppid=37777 vsize=169412 memory=125284 CPUtime=50.97 cores=4,6
/proc/37780/stat : 37780 (Exact) R 37777 37780 36695 0 -1 4194304 18176 0 0 0 5076 21 0 0 20 0 1 0 43225016 173477888 31321 18446744073709551615 4198400 9112445 140732430892688 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 15314944 140732430899497 140732430899693 140732430899693 140732430905295 0
/proc/37780/statm: 42353 31321 1248 1200 0 40833 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 169412 KiB
Current children cumulated memory: 125284 KiB
[startup+102.3 s]
/proc/loadavg: 3.25 3.79 3.98 4/257 37815
/proc/meminfo: memFree=127143832/131249996 swapFree=33010684/33010684
[pid=37780] ppid=37777 vsize=181324 memory=137188 CPUtime=102.04 cores=4,6
/proc/37780/stat : 37780 (Exact) R 37777 37780 36695 0 -1 4194304 21221 0 0 0 10164 40 0 0 20 0 1 0 43225016 185675776 34297 18446744073709551615 4198400 9112445 140732430892688 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 15314944 140732430899497 140732430899693 140732430899693 140732430905295 0
/proc/37780/statm: 45331 34297 1248 1200 0 43811 0
Current children cumulated CPU time: 102.04 s
Current children cumulated vsize: 181324 KiB
Current children cumulated memory: 137188 KiB
[startup+162.3 s]
/proc/loadavg: 3.27 3.70 3.94 4/257 37824
/proc/meminfo: memFree=127125872/131249996 swapFree=33010684/33010684
[pid=37780] ppid=37777 vsize=193204 memory=158912 CPUtime=161.9 cores=4,6
/proc/37780/stat : 37780 (Exact) R 37777 37780 36695 0 -1 4194304 24088 0 0 0 16123 67 0 0 20 0 1 0 43225016 197840896 39728 18446744073709551615 4198400 9112445 140732430892688 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 15314944 140732430899497 140732430899693 140732430899693 140732430905295 0
/proc/37780/statm: 48301 39728 1248 1200 0 46781 0
Current children cumulated CPU time: 161.9 s
Current children cumulated vsize: 193204 KiB
Current children cumulated memory: 158912 KiB
[startup+222.3 s]
/proc/loadavg: 3.15 3.59 3.88 4/257 37826
/proc/meminfo: memFree=127100800/131249996 swapFree=33010684/33010684
[pid=37780] ppid=37777 vsize=204896 memory=170176 CPUtime=221.76 cores=4,6
/proc/37780/stat : 37780 (Exact) R 37777 37780 36695 0 -1 4194304 26941 0 0 0 22085 91 0 0 20 0 1 0 43225016 209813504 42544 18446744073709551615 4198400 9112445 140732430892688 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 15314944 140732430899497 140732430899693 140732430899693 140732430905295 0
/proc/37780/statm: 51224 42544 1248 1200 0 49704 0
Current children cumulated CPU time: 221.76 s
Current children cumulated vsize: 204896 KiB
Current children cumulated memory: 170176 KiB
[startup+282.3 s]
/proc/loadavg: 2.84 3.43 3.81 3/251 37859
/proc/meminfo: memFree=127353644/131249996 swapFree=33010684/33010684
[pid=37780] ppid=37777 vsize=215628 memory=180544 CPUtime=281.58 cores=4,6
/proc/37780/stat : 37780 (Exact) R 37777 37780 36695 0 -1 4194304 29775 0 0 0 28043 115 0 0 20 0 1 0 43225016 220803072 45136 18446744073709551615 4198400 9112445 140732430892688 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 15314944 140732430899497 140732430899693 140732430899693 140732430905295 0
/proc/37780/statm: 53907 45136 1248 1200 0 52387 0
Current children cumulated CPU time: 281.58 s
Current children cumulated vsize: 215628 KiB
Current children cumulated memory: 180544 KiB
[startup+342.3 s]
/proc/loadavg: 2.36 3.18 3.70 3/251 37861
/proc/meminfo: memFree=127338896/131249996 swapFree=33010684/33010684
[pid=37780] ppid=37777 vsize=225552 memory=190144 CPUtime=341.4 cores=4,6
/proc/37780/stat : 37780 (Exact) R 37777 37780 36695 0 -1 4194304 32221 0 0 0 34006 134 0 0 20 0 1 0 43225016 230965248 47536 18446744073709551615 4198400 9112445 140732430892688 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 15314944 140732430899497 140732430899693 140732430899693 140732430905295 0
/proc/37780/statm: 56388 47536 1248 1200 0 54868 0
Current children cumulated CPU time: 341.4 s
Current children cumulated vsize: 225552 KiB
Current children cumulated memory: 190144 KiB
[startup+402.3 s]
/proc/loadavg: 2.18 2.98 3.59 3/252 37864
/proc/meminfo: memFree=127330128/131249996 swapFree=33010684/33010684
[pid=37780] ppid=37777 vsize=228804 memory=194752 CPUtime=401.24 cores=4,6
/proc/37780/stat : 37780 (Exact) R 37777 37780 36695 0 -1 4194304 33126 0 0 0 39968 156 0 0 20 0 1 0 43225016 234295296 48688 18446744073709551615 4198400 9112445 140732430892688 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 15314944 140732430899497 140732430899693 140732430899693 140732430905295 0
/proc/37780/statm: 57201 48688 1248 1200 0 55681 0
Current children cumulated CPU time: 401.24 s
Current children cumulated vsize: 228804 KiB
Current children cumulated memory: 194752 KiB
[startup+462.3 s]
/proc/loadavg: 2.10 2.81 3.50 3/251 37866
/proc/meminfo: memFree=127322392/131249996 swapFree=33010684/33010684
[pid=37780] ppid=37777 vsize=232496 memory=200384 CPUtime=461.1 cores=4,6
/proc/37780/stat : 37780 (Exact) R 37777 37780 36695 0 -1 4194304 34068 0 0 0 45931 179 0 0 20 0 1 0 43225016 238075904 50096 18446744073709551615 4198400 9112445 140732430892688 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 15314944 140732430899497 140732430899693 140732430899693 140732430905295 0
################
# More data... #
################
Current children cumulated memory: 350528 KiB
[startup+2922.3 s]
/proc/loadavg: 2.10 2.09 2.17 3/251 37999
/proc/meminfo: memFree=127056764/131249996 swapFree=33010684/33010684
[pid=37780] ppid=37777 vsize=383404 memory=351424 CPUtime=2914.94 cores=4,6
/proc/37780/stat : 37780 (Exact) R 37777 37780 36695 0 -1 4194304 69323 0 0 0 290389 1105 0 0 20 0 1 0 43225016 392605696 87856 18446744073709551615 4198400 9112445 140732430892688 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 15314944 140732430899497 140732430899693 140732430899693 140732430905295 0
/proc/37780/statm: 95851 87856 1248 1200 0 94331 0
Current children cumulated CPU time: 2914.94 s
Current children cumulated vsize: 383404 KiB
Current children cumulated memory: 351424 KiB
[startup+2982.3 s]
/proc/loadavg: 2.08 2.09 2.17 3/251 38001
/proc/meminfo: memFree=127048108/131249996 swapFree=33010684/33010684
[pid=37780] ppid=37777 vsize=384548 memory=352576 CPUtime=2974.78 cores=4,6
/proc/37780/stat : 37780 (Exact) R 37777 37780 36695 0 -1 4194304 69737 0 0 0 296351 1127 0 0 20 0 1 0 43225016 393777152 88144 18446744073709551615 4198400 9112445 140732430892688 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 15314944 140732430899497 140732430899693 140732430899693 140732430905295 0
/proc/37780/statm: 96137 88144 1248 1200 0 94617 0
Current children cumulated CPU time: 2974.78 s
Current children cumulated vsize: 384548 KiB
Current children cumulated memory: 352576 KiB
[startup+3042.3 s]
/proc/loadavg: 2.14 2.10 2.17 3/251 38003
/proc/meminfo: memFree=127045468/131249996 swapFree=33010684/33010684
[pid=37780] ppid=37777 vsize=386524 memory=354496 CPUtime=3034.64 cores=4,6
/proc/37780/stat : 37780 (Exact) R 37777 37780 36695 0 -1 4194304 70264 0 0 0 302318 1146 0 0 20 0 1 0 43225016 395800576 88624 18446744073709551615 4198400 9112445 140732430892688 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 15314944 140732430899497 140732430899693 140732430899693 140732430905295 0
/proc/37780/statm: 96631 88624 1248 1200 0 95111 0
Current children cumulated CPU time: 3034.64 s
Current children cumulated vsize: 386524 KiB
Current children cumulated memory: 354496 KiB
[startup+3102.3 s]
/proc/loadavg: 2.05 2.08 2.15 3/251 38005
/proc/meminfo: memFree=127045580/131249996 swapFree=33010684/33010684
[pid=37780] ppid=37777 vsize=387828 memory=355776 CPUtime=3094.51 cores=4,6
/proc/37780/stat : 37780 (Exact) R 37777 37780 36695 0 -1 4194304 70718 0 0 0 308286 1165 0 0 20 0 1 0 43225016 397135872 88944 18446744073709551615 4198400 9112445 140732430892688 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 15314944 140732430899497 140732430899693 140732430899693 140732430905295 0
/proc/37780/statm: 96957 88944 1248 1200 0 95437 0
Current children cumulated CPU time: 3094.51 s
Current children cumulated vsize: 387828 KiB
Current children cumulated memory: 355776 KiB
[startup+3162.3 s]
/proc/loadavg: 2.13 2.09 2.15 3/252 38014
/proc/meminfo: memFree=127046584/131249996 swapFree=33010684/33010684
[pid=37780] ppid=37777 vsize=389748 memory=357696 CPUtime=3154.38 cores=4,6
/proc/37780/stat : 37780 (Exact) R 37777 37780 36695 0 -1 4194304 71231 0 0 0 314252 1186 0 0 20 0 1 0 43225016 399101952 89424 18446744073709551615 4198400 9112445 140732430892688 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 15314944 140732430899497 140732430899693 140732430899693 140732430905295 0
/proc/37780/statm: 97437 89424 1248 1200 0 95917 0
Current children cumulated CPU time: 3154.38 s
Current children cumulated vsize: 389748 KiB
Current children cumulated memory: 357696 KiB
[startup+3222.3 s]
/proc/loadavg: 2.11 2.09 2.15 3/251 38016
/proc/meminfo: memFree=127047432/131249996 swapFree=33010684/33010684
[pid=37780] ppid=37777 vsize=390640 memory=358592 CPUtime=3214.26 cores=4,6
/proc/37780/stat : 37780 (Exact) R 37777 37780 36695 0 -1 4194304 71582 0 0 0 320219 1207 0 0 20 0 1 0 43225016 400015360 89648 18446744073709551615 4198400 9112445 140732430892688 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 15314944 140732430899497 140732430899693 140732430899693 140732430905295 0
/proc/37780/statm: 97660 89648 1248 1200 0 96140 0
Current children cumulated CPU time: 3214.26 s
Current children cumulated vsize: 390640 KiB
Current children cumulated memory: 358592 KiB
[startup+3282.3 s]
/proc/loadavg: 2.10 2.09 2.14 3/251 38018
/proc/meminfo: memFree=127036860/131249996 swapFree=33010684/33010684
[pid=37780] ppid=37777 vsize=391792 memory=359744 CPUtime=3274.13 cores=4,6
/proc/37780/stat : 37780 (Exact) R 37777 37780 36695 0 -1 4194304 71906 0 0 0 326181 1232 0 0 20 0 1 0 43225016 401195008 89936 18446744073709551615 4198400 9112445 140732430892688 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 15314944 140732430899497 140732430899693 140732430899693 140732430905295 0
/proc/37780/statm: 97948 89936 1248 1200 0 96428 0
Current children cumulated CPU time: 3274.13 s
Current children cumulated vsize: 391792 KiB
Current children cumulated memory: 359744 KiB
[startup+3342.3 s]
/proc/loadavg: 2.45 2.17 2.17 3/252 38022
/proc/meminfo: memFree=127054640/131249996 swapFree=33010684/33010684
[pid=37780] ppid=37777 vsize=394680 memory=362688 CPUtime=3333.96 cores=4,6
/proc/37780/stat : 37780 (Exact) R 37777 37780 36695 0 -1 4194304 72756 0 0 0 332143 1253 0 0 20 0 1 0 43225016 404152320 90672 18446744073709551615 4198400 9112445 140732430892688 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 15314944 140732430899497 140732430899693 140732430899693 140732430905295 0
/proc/37780/statm: 98670 90672 1248 1200 0 97150 0
Current children cumulated CPU time: 3333.96 s
Current children cumulated vsize: 394680 KiB
Current children cumulated memory: 362688 KiB
[startup+3402.3 s]
/proc/loadavg: 2.22 2.15 2.16 3/253 38025
/proc/meminfo: memFree=127055200/131249996 swapFree=33010684/33010684
[pid=37780] ppid=37777 vsize=395316 memory=363328 CPUtime=3393.8 cores=4,6
/proc/37780/stat : 37780 (Exact) R 37777 37780 36695 0 -1 4194304 72949 0 0 0 338106 1274 0 0 20 0 1 0 43225016 404803584 90832 18446744073709551615 4198400 9112445 140732430892688 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 15314944 140732430899497 140732430899693 140732430899693 140732430905295 0
/proc/37780/statm: 98829 90832 1248 1200 0 97309 0
Current children cumulated CPU time: 3393.8 s
Current children cumulated vsize: 395316 KiB
Current children cumulated memory: 363328 KiB
[startup+3462.3 s]
/proc/loadavg: 2.12 2.14 2.16 3/253 38027
/proc/meminfo: memFree=127056820/131249996 swapFree=33010684/33010684
[pid=37780] ppid=37777 vsize=396032 memory=363968 CPUtime=3453.64 cores=4,6
/proc/37780/stat : 37780 (Exact) R 37777 37780 36695 0 -1 4194304 73259 0 0 0 344069 1295 0 0 20 0 1 0 43225016 405536768 90992 18446744073709551615 4198400 9112445 140732430892688 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 15314944 140732430899497 140732430899693 140732430899693 140732430905295 0
/proc/37780/statm: 99008 90992 1248 1200 0 97488 0
Current children cumulated CPU time: 3453.64 s
Current children cumulated vsize: 396032 KiB
Current children cumulated memory: 363968 KiB
[startup+3522.3 s]
/proc/loadavg: 2.08 2.12 2.15 3/253 38030
/proc/meminfo: memFree=127056984/131249996 swapFree=33010684/33010684
[pid=37780] ppid=37777 vsize=397848 memory=365760 CPUtime=3513.47 cores=4,6
/proc/37780/stat : 37780 (Exact) R 37777 37780 36695 0 -1 4194304 73746 0 0 0 350029 1318 0 0 20 0 1 0 43225016 407396352 91440 18446744073709551615 4198400 9112445 140732430892688 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 15314944 140732430899497 140732430899693 140732430899693 140732430905295 0
/proc/37780/statm: 99462 91440 1248 1200 0 97942 0
Current children cumulated CPU time: 3513.47 s
Current children cumulated vsize: 397848 KiB
Current children cumulated memory: 365760 KiB
[startup+3582.3 s]
/proc/loadavg: 2.08 2.11 2.14 3/253 38032
/proc/meminfo: memFree=127047972/131249996 swapFree=33010684/33010684
[pid=37780] ppid=37777 vsize=397848 memory=365888 CPUtime=3573.31 cores=4,6
/proc/37780/stat : 37780 (Exact) R 37777 37780 36695 0 -1 4194304 73894 0 0 0 355991 1340 0 0 20 0 1 0 43225016 407396352 91472 18446744073709551615 4198400 9112445 140732430892688 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 15314944 140732430899497 140732430899693 140732430899693 140732430905295 0
/proc/37780/statm: 99462 91472 1248 1200 0 97942 0
Current children cumulated CPU time: 3573.31 s
Current children cumulated vsize: 397848 KiB
Current children cumulated memory: 365888 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.11 s]
/proc/loadavg: 2.11 2.12 2.14 2/248 38040
/proc/meminfo: memFree=127381572/131249996 swapFree=33010684/33010684
[pid=37780] ppid=37777 vsize=397848 memory=365888 CPUtime=3600.05 cores=4,6
/proc/37780/stat : 37780 (Exact) R 37777 37780 36695 0 -1 4194304 73924 0 0 0 358652 1353 0 0 20 0 1 0 43225016 407396352 91472 18446744073709551615 4198400 9112445 140732430892688 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 15314944 140732430899497 140732430899693 140732430899693 140732430905295 0
/proc/37780/statm: 99462 91472 1248 1200 0 97942 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 397848 KiB
Current children cumulated memory: 365888 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3609.11 s]
# the end of solver process 37780 was just reported to runsolver
# Child status: 10
# cumulated CPU time of all completed processes: user=3586.53 s, system=13.5387 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3609.11 s]
/proc/loadavg: 2.11 2.12 2.14 2/248 38040
/proc/meminfo: memFree=127381572/131249996 swapFree=33010684/33010684
[pid=37780] ppid=37777 vsize=397848 memory=365888 CPUtime=3600.05 cores=4,6
/proc/37780/stat : 37780 (Exact) R 37777 37780 36695 0 -1 4194304 73924 0 0 0 358652 1353 0 0 20 0 1 0 43225016 407396352 91472 18446744073709551615 4198400 9112445 140732430892688 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 15314944 140732430899497 140732430899693 140732430899693 140732430905295 0
/proc/37780/statm: 99462 91472 1248 1200 0 97942 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 397848 KiB
Current children cumulated memory: 365888 KiB
Child status: 10
Real time (s): 3609.11
CPU time (s): 3600.07
CPU user time (s): 3586.53
CPU system time (s): 13.5387
CPU usage (%): 99.7495
Max. virtual memory (cumulated for all children) (KiB): 397848
Max. memory (cumulated for all children) (KiB): 365888
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3586.53
system time used= 13.5387
maximum resident set size= 366016
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 73926
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= 83
involuntary context switches= 2044
# summary of solver processes directly reported to runsolver:
# pid: 37780
# total CPU time (s): 3600.07
# total CPU user time (s): 3586.53
# total CPU system time (s): 13.5387
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.47374 second user time and 14.7444 second system time
The end
Begin job on nodeC023 at 2025-06-30 11:24:32 IDJOB=4524434 IDBENCH=181017 IDSOLVER=3318 FILE ID=nodeC023/4524434-1751275472 RUNJOBID= nodeC023-1751268232-36713 SLURM_JOB_ID= 9594190 Free space on /tmp= 433040 MiB SOLVER NAME= Exact_no_db_no_ls 2025-06-19 BENCH NAME= PB25/normalized-PB25/OPT-NLC/sakai/QPLIB-PB-PB25-20250422/instances/normalized-QPLIB_5881.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-4524434-1751275472/watcher-4524434-1751275472 -o /tmp/evaluation-result-4524434-1751275472/solver-4524434-1751275472 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC023-1751268232-36713 --watchdog 3760 HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=694883639 --ls=0 --inp-dombreaklim=0 HOME/instance-4524434-1751275472.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 72a008fff12a99d8557ede6656b5f966 RANDOM SEED=694883639 nodeC023 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.881 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.78 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.916 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.78 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 : 3571.699 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.78 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 : 3749.680 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.78 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.971 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.78 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.879 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.78 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.907 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.78 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 : 3585.131 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.78 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131249996 kB MemFree: 127206624 kB MemAvailable: 129162964 kB Buffers: 3280 kB Cached: 2758772 kB SwapCached: 0 kB Active: 949436 kB Inactive: 2453720 kB Active(anon): 659172 kB Inactive(anon): 0 kB Active(file): 290264 kB Inactive(file): 2453720 kB Unevictable: 3072 kB Mlocked: 0 kB SwapTotal: 33010684 kB SwapFree: 33010684 kB Zswap: 0 kB Zswapped: 0 kB Dirty: 14612 kB Writeback: 8 kB AnonPages: 644176 kB Mapped: 118484 kB Shmem: 18064 kB KReclaimable: 103188 kB Slab: 190472 kB SReclaimable: 103188 kB SUnreclaim: 87284 kB KernelStack: 4288 kB PageTables: 4220 kB SecPageTables: 0 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 98635680 kB Committed_AS: 1018520 kB VmallocTotal: 34359738367 kB VmallocUsed: 150552 kB VmallocChunk: 0 kB Percpu: 3776 kB HardwareCorrupted: 0 kB AnonHugePages: 534528 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: 197332 kB DirectMap2M: 9011200 kB DirectMap1G: 126877696 kB Free space on /tmp at the end= 433048 MiB End job on nodeC023 at 2025-06-30 12:24:41