Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| ExactPR 2025-06-01 | ? (TO) | 3602.05 | 3613.35 |
| Name | PB24/normalized-PB24/OPT-LIN/pettersson/StableMatchings/ KidneyTransplantBenchmarks/normalized-KE_680_004.opb |
| MD5SUM | 979facf7d2b0cd6465681d1d436ff5eb |
| Bench Category | OPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | -31248 |
| Best CPU time to get the best result obtained on this benchmark | 4.78612 |
| 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 | 83285 |
| Total number of constraints | 615 |
| Number of constraints which are clauses | 22 |
| Number of constraints which are cardinality constraints (but not clauses) | 593 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 10208 |
| Number of terms in the objective function | 83274 |
| Biggest coefficient in the objective function | 266 |
| Number of bits for the biggest coefficient in the objective function | 9 |
| Sum of the numbers in the objective function | 9389109 |
| Number of bits of the sum of numbers in the objective function | 24 |
| Biggest number in a constraint | 266 |
| Number of bits of the biggest number in a constraint | 9 |
| Biggest sum of numbers in a constraint | 9389109 |
| Number of bits of the biggest sum of numbers | 24 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
2.08/2.12 c 615 constraints 2.08/2.12 c after presolve 627 5.36/5.44 c Finish cloning data from SAT to LS 5.36/5.44 c intsize: 24 65.41/65.63 c Use LS-small 65.41/65.63 o 0 65.41/65.63 o -176 65.41/65.63 o -353 65.41/65.63 o -560 65.41/65.63 o -789 65.41/65.63 o -970 65.41/65.63 o -1147 65.41/65.63 o -1297 65.41/65.63 o -1509 65.41/65.63 o -1721 65.41/65.63 o -1916 65.41/65.63 o -2124 65.41/65.63 o -2302 65.41/65.63 o -2534 65.41/65.63 o -2696 65.41/65.63 o -2861 65.41/65.63 o -3025 65.41/65.63 o -3177 65.41/65.63 o -3353 65.41/65.63 o -3533 65.41/65.63 o -3771 65.41/65.63 o -3906 65.41/65.63 o -4101 65.41/65.63 o -4260 65.41/65.63 o -4420 65.41/65.63 o -4559 65.41/65.63 o -4740 65.41/65.63 o -4888 65.41/65.63 o -5081 65.41/65.63 o -5266 65.41/65.63 o -5441 65.41/65.63 o -5587 65.41/65.63 o -5746 65.41/65.63 o -5925 65.41/65.63 o -6058 65.41/65.63 o -6212 65.41/65.63 o -6309 65.41/65.63 o -6433 65.41/65.63 o -6585 65.41/65.63 o -6747 65.41/65.63 o -6906 65.41/65.63 o -7004 65.41/65.63 o -7183 65.41/65.63 o -7349 65.41/65.63 o -7441 65.41/65.63 o -7651 65.41/65.63 o -7811 65.41/65.63 o -7975 65.41/65.63 o -8172 65.41/65.63 o -8328 65.41/65.63 o -8517 65.41/65.63 o -8743 65.41/65.63 o -27750 65.41/65.63 o -27751 65.41/65.63 o -28705 65.41/65.63 o -29265 65.41/65.63 o -29380 65.41/65.63 o -29407 65.41/65.63 o -29420 65.41/65.63 o -29633 65.41/65.63 o -29637 65.41/65.63 o -29676 65.41/65.63 o -29686 65.41/65.63 o -29887 65.41/65.63 o -30008 65.41/65.63 o -30013 65.41/65.63 o -30047 65.41/65.63 o -30169 65.41/65.63 o -30180 65.41/65.63 c SAT by LS-small 65.41/65.63 o -30180
ERROR: no interpretation found !
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63794 MiB (59420 MiB free)
memory of node 1: 64507 MiB (48392 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4523355-1751647610/watcher-4523355-1751647610 -o /tmp/evaluation-result-4523355-1751647610/solver-4523355-1751647610 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC006-1751643683-92503 --watchdog 3760 ./ExactPR --pre-solve=1 --print-uniform=0 --verbosity=0 --print-sol HOME/instance-4523355-1751647610.opb
running on 2 cores: 0,2
CPU governors:
performance: 0 2
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=93249, runsolver pid=93246
Current StackSize limit: 8192 KiB
[startup+0.100071 s]*
/proc/loadavg: 4.12 4.10 4.02 5/251 93250
/proc/meminfo: memFree=110354976/131382120 swapFree=33010416/33010684
[pid=93249] ppid=93246 vsize=119384 memory=74920 CPUtime=0.09 cores=0,2
/proc/93249/stat : 93249 (ExactPR) R 93246 93249 92334 0 -1 4194304 8349 0 0 0 6 3 0 0 20 0 1 0 80440355 122249216 18730 18446744073709551615 94633561763840 94633571063685 140725483665440 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94633572849984 94633572889064 94633589264384 140725483673988 140725483674123 140725483674123 140725483679726 0
/proc/93249/statm: 29846 18730 1568 2271 0 24484 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 119384 KiB
Current children cumulated memory: 74920 KiB
[startup+0.213031 s]*
/proc/loadavg: 4.12 4.10 4.02 5/251 93250
/proc/meminfo: memFree=110314652/131382120 swapFree=33010416/33010684
[pid=93249] ppid=93246 vsize=156368 memory=107364 CPUtime=0.2 cores=0,2
/proc/93249/stat : 93249 (ExactPR) R 93246 93249 92334 0 -1 4194304 13397 0 0 0 15 5 0 0 20 0 1 0 80440355 160120832 26841 18446744073709551615 94633561763840 94633571063685 140725483665440 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94633572849984 94633572889064 94633589264384 140725483673988 140725483674123 140725483674123 140725483679726 0
/proc/93249/statm: 39092 26841 1568 2271 0 33730 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 156368 KiB
Current children cumulated memory: 107364 KiB
[startup+0.312921 s]*
/proc/loadavg: 4.12 4.10 4.02 5/251 93250
/proc/meminfo: memFree=110303048/131382120 swapFree=33010416/33010684
[pid=93249] ppid=93246 vsize=161844 memory=119112 CPUtime=0.3 cores=0,2
/proc/93249/stat : 93249 (ExactPR) R 93246 93249 92334 0 -1 4194304 16934 0 0 0 24 6 0 0 20 0 1 0 80440355 165728256 29778 18446744073709551615 94633561763840 94633571063685 140725483665440 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94633572849984 94633572889064 94633589264384 140725483673988 140725483674123 140725483674123 140725483679726 0
/proc/93249/statm: 40461 29778 1600 2271 0 35099 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 161844 KiB
Current children cumulated memory: 119112 KiB
[startup+0.700334 s]
/proc/loadavg: 4.12 4.10 4.02 5/251 93250
/proc/meminfo: memFree=110286920/131382120 swapFree=33010416/33010684
[pid=93249] ppid=93246 vsize=192084 memory=150004 CPUtime=0.68 cores=0,2
/proc/93249/stat : 93249 (ExactPR) R 93246 93249 92334 0 -1 4194304 25991 0 0 0 59 9 0 0 20 0 1 0 80440355 196694016 37501 18446744073709551615 94633561763840 94633571063685 140725483665440 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94633572849984 94633572889064 94633589264384 140725483673988 140725483674123 140725483674123 140725483679726 0
/proc/93249/statm: 48021 37501 1760 2271 0 42659 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 192084 KiB
Current children cumulated memory: 150004 KiB
[startup+1.50031 s]
/proc/loadavg: 4.12 4.10 4.02 5/251 93250
/proc/meminfo: memFree=110247104/131382120 swapFree=33010416/33010684
[pid=93249] ppid=93246 vsize=223712 memory=180724 CPUtime=1.47 cores=0,2
/proc/93249/stat : 93249 (ExactPR) R 93246 93249 92334 0 -1 4194304 32055 0 0 0 136 11 0 0 20 0 1 0 80440355 229081088 45181 18446744073709551615 94633561763840 94633571063685 140725483665440 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94633572849984 94633572889064 94633589264384 140725483673988 140725483674123 140725483674123 140725483679726 0
/proc/93249/statm: 55928 45181 1824 2271 0 50566 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 223712 KiB
Current children cumulated memory: 180724 KiB
[startup+3.11272 s]
/proc/loadavg: 4.11 4.10 4.02 5/252 93252
/proc/meminfo: memFree=109642320/131382120 swapFree=33010416/33010684
[pid=93249] ppid=93246 vsize=913588 memory=851060 CPUtime=3.09 cores=0,2
/proc/93249/stat : 93249 (ExactPR) R 93246 93249 92334 0 -1 4194304 199634 0 0 0 271 38 0 0 20 0 1 0 80440355 935514112 212733 18446744073709551615 94633561763840 94633571063685 140725483665440 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94633572849984 94633572889064 94633589264384 140725483673988 140725483674123 140725483674123 140725483679726 0
/proc/93249/statm: 228397 212733 1824 2271 0 223035 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 913588 KiB
Current children cumulated memory: 851060 KiB
[startup+6.3003 s]
/proc/loadavg: 4.11 4.10 4.02 5/252 93252
/proc/meminfo: memFree=108134604/131382120 swapFree=33010416/33010684
[pid=93249] ppid=93246 vsize=2323112 memory=2272244 CPUtime=6.26 cores=0,2
/proc/93249/stat : 93249 (ExactPR) R 93246 93249 92334 0 -1 4194304 554934 0 0 0 532 94 0 0 20 0 1 0 80440355 2378866688 568061 18446744073709551615 94633561763840 94633571063685 140725483665440 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94633572849984 94633572889064 94633589264384 140725483673988 140725483674123 140725483674123 140725483679726 0
/proc/93249/statm: 580778 568061 1856 2271 0 575416 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 2323112 KiB
Current children cumulated memory: 2272244 KiB
[startup+12.7003 s]
/proc/loadavg: 4.10 4.09 4.02 4/246 93283
/proc/meminfo: memFree=108148104/131382120 swapFree=33010416/33010684
[pid=93249] ppid=93246 vsize=2323112 memory=2274548 CPUtime=12.64 cores=0,2
/proc/93249/stat : 93249 (ExactPR) R 93246 93249 92334 0 -1 4194304 555483 0 0 0 1154 110 0 0 20 0 1 0 80440355 2378866688 568637 18446744073709551615 94633561763840 94633571063685 140725483665440 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94633572849984 94633572889064 94633589264384 140725483673988 140725483674123 140725483674123 140725483679726 0
/proc/93249/statm: 580778 568637 1888 2271 0 575416 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 2323112 KiB
Current children cumulated memory: 2274548 KiB
[startup+25.5003 s]
/proc/loadavg: 3.86 4.04 4.00 4/245 93283
/proc/meminfo: memFree=108124056/131382120 swapFree=33010416/33010684
[pid=93249] ppid=93246 vsize=2323112 memory=2274676 CPUtime=25.41 cores=0,2
/proc/93249/stat : 93249 (ExactPR) R 93246 93249 92334 0 -1 4194304 555511 0 0 0 2401 140 0 0 20 0 1 0 80440355 2378866688 568669 18446744073709551615 94633561763840 94633571063685 140725483665440 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94633572849984 94633572889064 94633589264384 140725483673988 140725483674123 140725483674123 140725483679726 0
/proc/93249/statm: 580778 568669 1888 2271 0 575416 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 2323112 KiB
Current children cumulated memory: 2274676 KiB
[startup+51.1125 s]
/proc/loadavg: 3.62 3.97 3.98 4/245 93283
/proc/meminfo: memFree=108122136/131382120 swapFree=33010416/33010684
[pid=93249] ppid=93246 vsize=2323112 memory=2274804 CPUtime=50.97 cores=0,2
/proc/93249/stat : 93249 (ExactPR) R 93246 93249 92334 0 -1 4194304 555517 0 0 0 4891 206 0 0 20 0 1 0 80440355 2378866688 568701 18446744073709551615 94633561763840 94633571063685 140725483665440 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94633572849984 94633572889064 94633589264384 140725483673988 140725483674123 140725483674123 140725483679726 0
/proc/93249/statm: 580778 568701 1888 2271 0 575416 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 2323112 KiB
Current children cumulated memory: 2274804 KiB
[startup+102.3 s]
/proc/loadavg: 3.27 3.82 3.93 4/246 93286
/proc/meminfo: memFree=107931972/131382120 swapFree=33010416/33010684
[pid=93249] ppid=93246 vsize=2602720 memory=2452344 CPUtime=102.03 cores=0,2
/proc/93249/stat : 93249 (ExactPR) R 93246 93249 92334 0 -1 4194304 561841 0 0 0 9950 253 0 0 20 0 1 0 80440355 2665185280 613086 18446744073709551615 94633561763840 94633571063685 140725483665440 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94633572849984 94633572889064 94633589264384 140725483673988 140725483674123 140725483674123 140725483679726 0
/proc/93249/statm: 650680 613086 1888 2271 0 645318 0
Current children cumulated CPU time: 102.03 s
Current children cumulated vsize: 2602720 KiB
Current children cumulated memory: 2452344 KiB
[startup+162.3 s]
/proc/loadavg: 3.21 3.70 3.88 4/246 93288
/proc/meminfo: memFree=107518984/131382120 swapFree=33010416/33010684
[pid=93249] ppid=93246 vsize=3223924 memory=2883616 CPUtime=161.89 cores=0,2
/proc/93249/stat : 93249 (ExactPR) R 93246 93249 92334 0 -1 4194304 571247 0 0 0 15908 281 0 0 20 0 1 0 80440355 3301298176 720904 18446744073709551615 94633561763840 94633571063685 140725483665440 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94633572849984 94633572889064 94633589264384 140725483673988 140725483674123 140725483674123 140725483679726 0
/proc/93249/statm: 805981 720904 1888 2271 0 800619 0
Current children cumulated CPU time: 161.89 s
Current children cumulated vsize: 3223924 KiB
Current children cumulated memory: 2883616 KiB
[startup+222.3 s]
/proc/loadavg: 3.13 3.58 3.83 4/245 93290
/proc/meminfo: memFree=106701364/131382120 swapFree=33010416/33010684
[pid=93249] ppid=93246 vsize=4256196 memory=3662052 CPUtime=221.75 cores=0,2
/proc/93249/stat : 93249 (ExactPR) R 93246 93249 92334 0 -1 4194304 660243 0 0 0 21848 327 0 0 20 0 1 0 80440355 4358344704 915513 18446744073709551615 94633561763840 94633571063685 140725483665440 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94633572849984 94633572889064 94633589264384 140725483673988 140725483674123 140725483674123 140725483679726 0
/proc/93249/statm: 1064049 915513 1888 2271 0 1058687 0
Current children cumulated CPU time: 221.75 s
Current children cumulated vsize: 4256196 KiB
Current children cumulated memory: 3662052 KiB
[startup+282.3 s]
/proc/loadavg: 3.09 3.49 3.78 4/245 93293
/proc/meminfo: memFree=104349924/131382120 swapFree=33010416/33010684
[pid=93249] ppid=93246 vsize=6767460 memory=6053900 CPUtime=281.6 cores=0,2
/proc/93249/stat : 93249 (ExactPR) R 93246 93249 92334 0 -1 4194304 987674 0 0 0 27722 438 0 0 20 0 1 0 80440355 6929879040 1513475 18446744073709551615 94633561763840 94633571063685 140725483665440 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94633572849984 94633572889064 94633589264384 140725483673988 140725483674123 140725483674123 140725483679726 0
/proc/93249/statm: 1691865 1513475 1888 2271 0 1686503 0
Current children cumulated CPU time: 281.6 s
Current children cumulated vsize: 6767460 KiB
Current children cumulated memory: 6053900 KiB
[startup+342.3 s]
/proc/loadavg: 3.09 3.42 3.73 4/244 93301
/proc/meminfo: memFree=102240184/131382120 swapFree=33010416/33010684
[pid=93249] ppid=93246 vsize=10169872 memory=7829776 CPUtime=341.45 cores=0,2
/proc/93249/stat : 93249 (ExactPR) R 93246 93249 92334 0 -1 4194304 1252246 0 0 0 33588 557 0 0 20 0 1 0 80440355 10413948928 1957444 18446744073709551615 94633561763840 94633571063685 140725483665440 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94633572849984 94633572889064 94633589264384 140725483673988 140725483674123 140725483674123 140725483679726 0
/proc/93249/statm: 2542468 1957444 1888 2271 0 2537106 0
Current children cumulated CPU time: 341.45 s
Current children cumulated vsize: 10169872 KiB
Current children cumulated memory: 7829776 KiB
[startup+402.3 s]
/proc/loadavg: 2.48 3.18 3.63 3/238 93334
/proc/meminfo: memFree=105952436/131382120 swapFree=33010416/33010684
[pid=93249] ppid=93246 vsize=10225196 memory=8077076 CPUtime=401.3 cores=0,2
/proc/93249/stat : 93249 (ExactPR) R 93246 93249 92334 0 -1 4194304 1267264 0 0 0 39564 566 0 0 20 0 1 0 80440355 10470600704 2019269 18446744073709551615 94633561763840 94633571063685 140725483665440 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94633572849984 94633572889064 94633589264384 140725483673988 140725483674123 140725483674123 140725483679726 0
/proc/93249/statm: 2556299 2019269 1920 2271 0 2550937 0
Current children cumulated CPU time: 401.3 s
Current children cumulated vsize: 10225196 KiB
Current children cumulated memory: 8077076 KiB
[startup+462.3 s]
/proc/loadavg: 2.29 3.00 3.54 3/238 93336
/proc/meminfo: memFree=105933400/131382120 swapFree=33010416/33010684
[pid=93249] ppid=93246 vsize=10225196 memory=8077460 CPUtime=461.11 cores=0,2
/proc/93249/stat : 93249 (ExactPR) R 93246 93249 92334 0 -1 4194304 1268296 0 0 0 45541 570 0 0 20 0 1 0 80440355 10470600704 2019365 18446744073709551615 94633561763840 94633571063685 140725483665440 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94633572849984 94633572889064 94633589264384 140725483673988 140725483674123 140725483674123 140725483679726 0
/proc/93249/statm: 2556299 2019365 1920 2271 0 2550937 0
Current children cumulated CPU time: 461.11 s
################
# More data... #
################
[startup+3102.3 s]
/proc/loadavg: 1.11 1.09 1.21 2/232 93501
/proc/meminfo: memFree=118022900/131382120 swapFree=33010416/33010684
[pid=93249] ppid=93246 vsize=10254428 memory=9622348 CPUtime=3092.5 cores=0,2
/proc/93249/stat : 93249 (ExactPR) R 93246 93249 92334 0 -1 4194304 1320490 0 0 0 308557 693 0 0 20 0 1 0 80440355 10500534272 2405587 18446744073709551615 94633561763840 94633571063685 140725483665440 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94633572849984 94633572889064 94633589264384 140725483673988 140725483674123 140725483674123 140725483679726 0
/proc/93249/statm: 2563607 2405587 1920 2271 0 2558245 0
Current children cumulated CPU time: 3092.5 s
Current children cumulated vsize: 10254428 KiB
Current children cumulated memory: 9622348 KiB
[startup+3162.3 s]
/proc/loadavg: 1.26 1.12 1.21 2/232 93503
/proc/meminfo: memFree=118002720/131382120 swapFree=33010416/33010684
[pid=93249] ppid=93246 vsize=10254428 memory=9641292 CPUtime=3152.32 cores=0,2
/proc/93249/stat : 93249 (ExactPR) R 93246 93249 92334 0 -1 4194304 1322159 0 0 0 314538 694 0 0 20 0 1 0 80440355 10500534272 2410323 18446744073709551615 94633561763840 94633571063685 140725483665440 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94633572849984 94633572889064 94633589264384 140725483673988 140725483674123 140725483674123 140725483679726 0
/proc/93249/statm: 2563607 2410323 1920 2271 0 2558245 0
Current children cumulated CPU time: 3152.32 s
Current children cumulated vsize: 10254428 KiB
Current children cumulated memory: 9641292 KiB
[startup+3222.3 s]
/proc/loadavg: 1.61 1.26 1.26 2/232 93505
/proc/meminfo: memFree=117979824/131382120 swapFree=33010416/33010684
[pid=93249] ppid=93246 vsize=10254428 memory=9665356 CPUtime=3212.15 cores=0,2
/proc/93249/stat : 93249 (ExactPR) R 93246 93249 92334 0 -1 4194304 1322649 0 0 0 320521 694 0 0 20 0 1 0 80440355 10500534272 2416339 18446744073709551615 94633561763840 94633571063685 140725483665440 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94633572849984 94633572889064 94633589264384 140725483673988 140725483674123 140725483674123 140725483679726 0
/proc/93249/statm: 2563607 2416339 1920 2271 0 2558245 0
Current children cumulated CPU time: 3212.15 s
Current children cumulated vsize: 10254428 KiB
Current children cumulated memory: 9665356 KiB
[startup+3282.3 s]
/proc/loadavg: 1.27 1.23 1.25 2/232 93507
/proc/meminfo: memFree=117956872/131382120 swapFree=33010416/33010684
[pid=93249] ppid=93246 vsize=10254428 memory=9690444 CPUtime=3271.97 cores=0,2
/proc/93249/stat : 93249 (ExactPR) R 93246 93249 92334 0 -1 4194304 1323635 0 0 0 326503 694 0 0 20 0 1 0 80440355 10500534272 2422611 18446744073709551615 94633561763840 94633571063685 140725483665440 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94633572849984 94633572889064 94633589264384 140725483673988 140725483674123 140725483674123 140725483679726 0
/proc/93249/statm: 2563607 2422611 1920 2271 0 2558245 0
Current children cumulated CPU time: 3271.97 s
Current children cumulated vsize: 10254428 KiB
Current children cumulated memory: 9690444 KiB
[startup+3342.3 s]
/proc/loadavg: 1.14 1.20 1.24 2/232 93509
/proc/meminfo: memFree=117928468/131382120 swapFree=33010416/33010684
[pid=93249] ppid=93246 vsize=10254428 memory=9716812 CPUtime=3331.8 cores=0,2
/proc/93249/stat : 93249 (ExactPR) R 93246 93249 92334 0 -1 4194304 1324389 0 0 0 332484 696 0 0 20 0 1 0 80440355 10500534272 2429203 18446744073709551615 94633561763840 94633571063685 140725483665440 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94633572849984 94633572889064 94633589264384 140725483673988 140725483674123 140725483674123 140725483679726 0
/proc/93249/statm: 2563607 2429203 1920 2271 0 2558245 0
Current children cumulated CPU time: 3331.8 s
Current children cumulated vsize: 10254428 KiB
Current children cumulated memory: 9716812 KiB
[startup+3402.3 s]
/proc/loadavg: 1.11 1.18 1.23 2/232 93518
/proc/meminfo: memFree=117905440/131382120 swapFree=33010416/33010684
[pid=93249] ppid=93246 vsize=10254428 memory=9739468 CPUtime=3391.61 cores=0,2
/proc/93249/stat : 93249 (ExactPR) R 93246 93249 92334 0 -1 4194304 1325895 0 0 0 338465 696 0 0 20 0 1 0 80440355 10500534272 2434867 18446744073709551615 94633561763840 94633571063685 140725483665440 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94633572849984 94633572889064 94633589264384 140725483673988 140725483674123 140725483674123 140725483679726 0
/proc/93249/statm: 2563607 2434867 1920 2271 0 2558245 0
Current children cumulated CPU time: 3391.61 s
Current children cumulated vsize: 10254428 KiB
Current children cumulated memory: 9739468 KiB
[startup+3462.3 s]
/proc/loadavg: 1.08 1.16 1.21 2/232 93520
/proc/meminfo: memFree=117871092/131382120 swapFree=33010416/33010684
[pid=93249] ppid=93246 vsize=10258908 memory=9774412 CPUtime=3451.43 cores=0,2
/proc/93249/stat : 93249 (ExactPR) R 93246 93249 92334 0 -1 4194304 1328937 0 0 0 344445 698 0 0 20 0 1 0 80440355 10505121792 2443603 18446744073709551615 94633561763840 94633571063685 140725483665440 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94633572849984 94633572889064 94633589264384 140725483673988 140725483674123 140725483674123 140725483679726 0
/proc/93249/statm: 2564727 2443603 1920 2271 0 2559365 0
Current children cumulated CPU time: 3451.43 s
Current children cumulated vsize: 10258908 KiB
Current children cumulated memory: 9774412 KiB
[startup+3522.3 s]
/proc/loadavg: 1.14 1.16 1.21 2/232 93522
/proc/meminfo: memFree=117813044/131382120 swapFree=33010416/33010684
[pid=93249] ppid=93246 vsize=10299192 memory=9838028 CPUtime=3511.25 cores=0,2
/proc/93249/stat : 93249 (ExactPR) R 93246 93249 92334 0 -1 4194304 1340078 0 0 0 350423 702 0 0 20 0 1 0 80440355 10546372608 2459507 18446744073709551615 94633561763840 94633571063685 140725483665440 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94633572849984 94633572889064 94633589264384 140725483673988 140725483674123 140725483674123 140725483679726 0
/proc/93249/statm: 2574798 2459507 1920 2271 0 2569436 0
Current children cumulated CPU time: 3511.25 s
Current children cumulated vsize: 10299192 KiB
Current children cumulated memory: 9838028 KiB
[startup+3582.3 s]
/proc/loadavg: 1.05 1.13 1.19 2/232 93524
/proc/meminfo: memFree=117787816/131382120 swapFree=33010416/33010684
[pid=93249] ppid=93246 vsize=10299192 memory=9865164 CPUtime=3571.08 cores=0,2
/proc/93249/stat : 93249 (ExactPR) R 93246 93249 92334 0 -1 4194304 1340320 0 0 0 356406 702 0 0 20 0 1 0 80440355 10546372608 2466291 18446744073709551615 94633561763840 94633571063685 140725483665440 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94633572849984 94633572889064 94633589264384 140725483673988 140725483674123 140725483674123 140725483679726 0
/proc/93249/statm: 2574798 2466291 1920 2271 0 2569436 0
Current children cumulated CPU time: 3571.08 s
Current children cumulated vsize: 10299192 KiB
Current children cumulated memory: 9865164 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3611.3 s]
/proc/loadavg: 1.09 1.13 1.19 2/232 93524
/proc/meminfo: memFree=117775208/131382120 swapFree=33010416/33010684
[pid=93249] ppid=93246 vsize=10299192 memory=9878348 CPUtime=3600 cores=0,2
/proc/93249/stat : 93249 (ExactPR) R 93246 93249 92334 0 -1 4194304 1340609 0 0 0 359298 702 0 0 20 0 1 0 80440355 10546372608 2469587 18446744073709551615 94633561763840 94633571063685 140725483665440 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94633572849984 94633572889064 94633589264384 140725483673988 140725483674123 140725483674123 140725483679726 0
/proc/93249/statm: 2574798 2469587 1920 2271 0 2569436 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 10299192 KiB
Current children cumulated memory: 9878348 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
??? end of watcher thread
[startup+3613.35 s]
# the end of solver process 93249 was just reported to runsolver
# Child ended because it received signal 9 (SIGKILL)
# cumulated CPU time of all completed processes: user=3594.98 s, system=7.07521 s
Solver just ended.
Dumping a history of the last processes samples
[startup+3612 s]*
/proc/loadavg: 1.09 1.13 1.19 2/232 93525
/proc/meminfo: memFree=117775208/131382120 swapFree=33010416/33010684
[pid=93249] ppid=93246 vsize=10299192 memory=9878348 CPUtime=3600.71 cores=0,2
/proc/93249/stat : 93249 (ExactPR) R 93246 93249 92334 0 -1 4194304 1340614 0 0 0 359369 702 0 0 20 0 1 0 80440355 10546372608 2469587 18446744073709551615 94633561763840 94633571063685 140725483665440 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94633572849984 94633572889064 94633589264384 140725483673988 140725483674123 140725483674123 140725483679726 0
/proc/93249/statm: 2574798 2469587 1920 2271 0 2569436 0
Current children cumulated CPU time: 3600.71 s
Current children cumulated vsize: 10299192 KiB
Current children cumulated memory: 9878348 KiB
[startup+3612.8 s]
/proc/loadavg: 1.09 1.13 1.19 2/232 93525
/proc/meminfo: memFree=117775208/131382120 swapFree=33010416/33010684
[pid=93249] ppid=93246 vsize=10299192 memory=9878348 CPUtime=3601.49 cores=0,2
/proc/93249/stat : 93249 (ExactPR) R 93246 93249 92334 0 -1 4194304 1340618 0 0 0 359447 702 0 0 20 0 1 0 80440355 10546372608 2469587 18446744073709551615 94633561763840 94633571063685 140725483665440 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94633572849984 94633572889064 94633589264384 140725483673988 140725483674123 140725483674123 140725483679726 0
/proc/93249/statm: 2574798 2469587 1920 2271 0 2569436 0
Current children cumulated CPU time: 3601.49 s
Current children cumulated vsize: 10299192 KiB
Current children cumulated memory: 9878348 KiB
[startup+3613.2 s]
/proc/loadavg: 1.09 1.13 1.19 2/232 93525
/proc/meminfo: memFree=117775208/131382120 swapFree=33010416/33010684
[pid=93249] ppid=93246 vsize=10299192 memory=9878348 CPUtime=3601.89 cores=0,2
/proc/93249/stat : 93249 (ExactPR) R 93246 93249 92334 0 -1 4194304 1340620 0 0 0 359487 702 0 0 20 0 1 0 80440355 10546372608 2469587 18446744073709551615 94633561763840 94633571063685 140725483665440 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94633572849984 94633572889064 94633589264384 140725483673988 140725483674123 140725483674123 140725483679726 0
/proc/93249/statm: 2574798 2469587 1920 2271 0 2569436 0
Current children cumulated CPU time: 3601.89 s
Current children cumulated vsize: 10299192 KiB
Current children cumulated memory: 9878348 KiB
[startup+3613.3 s]
/proc/loadavg: 1.09 1.13 1.19 2/232 93525
/proc/meminfo: memFree=117775208/131382120 swapFree=33010416/33010684
[pid=93249] ppid=93246 vsize=10299192 memory=9878348 CPUtime=3601.99 cores=0,2
/proc/93249/stat : 93249 (ExactPR) R 93246 93249 92334 0 -1 4194304 1340621 0 0 0 359497 702 0 0 20 0 1 0 80440355 10546372608 2469587 18446744073709551615 94633561763840 94633571063685 140725483665440 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94633572849984 94633572889064 94633589264384 140725483673988 140725483674123 140725483674123 140725483679726 0
/proc/93249/statm: 2574798 2469587 1920 2271 0 2569436 0
Current children cumulated CPU time: 3601.99 s
Current children cumulated vsize: 10299192 KiB
Current children cumulated memory: 9878348 KiB
Child ended because it received signal 9 (SIGKILL)
Real time (s): 3613.35
CPU time (s): 3602.05
CPU user time (s): 3594.98
CPU system time (s): 7.07521
CPU usage (%): 99.6874
Max. virtual memory (cumulated for all children) (KiB): 12565688
Max. memory (cumulated for all children) (KiB): 10054924
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3594.98
system time used= 7.07521
maximum resident set size= 10128652
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1340621
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= 439
involuntary context switches= 9139
# summary of solver processes directly reported to runsolver:
# pid: 93249
# total CPU time (s): 3602.05
# total CPU user time (s): 3594.98
# total CPU system time (s): 7.07521
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.6076 second user time and 34.7718 second system time
The end
Begin job on nodeC006 at 2025-07-04 18:46:50 IDJOB=4523355 IDBENCH=180121 IDSOLVER=3324 FILE ID=nodeC006/4523355-1751647610 RUNJOBID= nodeC006-1751643683-92503 SLURM_JOB_ID= 9672311 Free space on /tmp= 431976 MiB SOLVER NAME= ExactPR 2025-06-01 BENCH NAME= PB24/normalized-PB24/OPT-LIN/pettersson/StableMatchings/KidneyTransplantBenchmarks/normalized-KE_680_004.opb COMMAND LINE= ./ExactPR --pre-solve=1 --print-uniform=0 --verbosity=0 --print-sol BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4523355-1751647610/watcher-4523355-1751647610 -o /tmp/evaluation-result-4523355-1751647610/solver-4523355-1751647610 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC006-1751643683-92503 --watchdog 3760 ./ExactPR --pre-solve=1 --print-uniform=0 --verbosity=0 --print-sol HOME/instance-4523355-1751647610.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 979facf7d2b0cd6465681d1d436ff5eb RANDOM SEED=1440978544 nodeC006 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 : 0xb00001f cpu MHz : 1197.136 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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.32 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 : 0xb00001f cpu MHz : 3491.847 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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.32 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 : 0xb00001f cpu MHz : 1197.120 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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.32 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 : 0xb00001f cpu MHz : 3700.000 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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.32 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 : 0xb00001f cpu MHz : 3660.974 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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.32 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 : 0xb00001f cpu MHz : 3691.201 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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.32 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 : 0xb00001f cpu MHz : 3700.000 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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.32 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 : 0xb00001f cpu MHz : 3700.000 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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.32 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131382120 kB MemFree: 110400344 kB MemAvailable: 112576192 kB Buffers: 2128 kB Cached: 2938792 kB SwapCached: 12 kB Active: 17809444 kB Inactive: 2473796 kB Active(anon): 17349280 kB Inactive(anon): 10992 kB Active(file): 460164 kB Inactive(file): 2462804 kB Unevictable: 3072 kB Mlocked: 0 kB SwapTotal: 33010684 kB SwapFree: 33010416 kB Zswap: 0 kB Zswapped: 0 kB Dirty: 15492 kB Writeback: 44 kB AnonPages: 17344360 kB Mapped: 115420 kB Shmem: 17948 kB KReclaimable: 184628 kB Slab: 272356 kB SReclaimable: 184628 kB SUnreclaim: 87728 kB KernelStack: 4048 kB PageTables: 38708 kB SecPageTables: 0 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 98701744 kB Committed_AS: 21967004 kB VmallocTotal: 34359738367 kB VmallocUsed: 149416 kB VmallocChunk: 0 kB Percpu: 3872 kB HardwareCorrupted: 0 kB AnonHugePages: 6017024 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: 191304 kB DirectMap2M: 10196992 kB DirectMap1G: 125829120 kB Free space on /tmp at the end= 432008 MiB End job on nodeC006 at 2025-07-04 19:47:03