Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| Exact 2024-07-05 | ? (TO) | 3602.04 | 3611.22 |
| Name | PB24/normalized-PB24/OPT-LIN/pettersson/StableMatchings/ KidneyTransplantBenchmarks/normalized-KE_690_001.opb |
| MD5SUM | 249cf9587e5805e9a219512abdd98e50 |
| 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 | -30339 |
| Best CPU time to get the best result obtained on this benchmark | 6.39959 |
| 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 | 91734 |
| Total number of constraints | 645 |
| Number of constraints which are clauses | 22 |
| Number of constraints which are cardinality constraints (but not clauses) | 623 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 9672 |
| Number of terms in the objective function | 91720 |
| Biggest coefficient in the objective function | 264 |
| Number of bits for the biggest coefficient in the objective function | 9 |
| Sum of the numbers in the objective function | 10327197 |
| Number of bits of the sum of numbers in the objective function | 24 |
| Biggest number in a constraint | 264 |
| Number of bits of the biggest number in a constraint | 9 |
| Biggest sum of numbers in a constraint | 10327197 |
| 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.68/2.74 o 0 2.87/2.92 o -106 2.99/3.03 o -179 3.09/3.19 o -319 3.37/3.43 o -526 3.57/3.69 o -527 3.77/3.84 o -528 3.87/3.99 o -529 4.17/4.20 o -530 4.46/4.53 o -597 4.66/4.75 o -634 4.76/4.88 o -714 4.98/5.06 o -756 5.27/5.38 o -785 5.76/5.81 o -788 6.55/6.61 o -792 8.06/8.18 o -793 11.34/11.43 o -794 15.23/15.33 o -796 17.72/17.83 o -929 18.52/18.63 o -955 19.12/19.24 o -963 19.61/19.75 o -1021 20.21/20.38 o -1041 21.80/21.95 o -1084 24.20/24.32 o -1177 24.60/24.78 o -1228 25.00/25.19 o -1245 25.59/25.70 o -1246 28.28/28.49 o -1247 31.47/31.66 o -1331 36.75/36.94 o -1475 39.04/39.29 o -1496 42.13/42.39 o -1526 43.23/43.46 o -1644 46.12/46.30 o -1653 51.92/52.15 o -1842 69.93/70.23 o -2944 71.33/71.68 o -3030 73.12/73.44 o -3141 75.21/75.59 o -3194 76.73/77.02 o -3333 79.59/79.90 o -3336 82.58/82.92 o -3344 84.79/85.15 o -3367 87.37/87.77 o -3430 88.78/89.11 o -3439 89.77/90.16 o -3457 89.96/90.39 o -3465 95.24/95.63 o -3589 102.12/102.53 o -3615 107.50/107.95 o -3667 123.66/124.12 o -3676 126.43/126.97 o -3748 145.98/146.56 o -3762 151.85/152.44 o -3767 153.75/154.33 o -3768 153.95/154.50 o -3776 155.15/155.77 o -3873 167.52/168.12 o -3926 177.59/178.24 o -3971 179.18/179.81 o -4025 183.27/184.00 o -4079 189.46/190.16 o -4110 205.80/206.55 o -4152 224.55/225.30 o -4562 225.26/226.09 o -4574 226.04/226.82 o -4625 226.64/227.46 o -4690 241.70/242.52 o -4753 272.43/273.35 o -4754 298.05/299.07 o -4776 298.45/299.47 o -4840 361.18/362.34 o -4911 432.71/434.09 o -5063 434.49/435.89 o -5064 446.26/447.62 o -5119 480.87/482.31 o -5123 491.75/493.23 o -5126 508.61/510.19 o -5127 528.05/529.67 o -5145 549.59/551.21 o -5210 560.66/562.39 o -5259 584.51/586.21 o -5272 598.28/600.02 o -5538 602.27/604.01 o -5559 607.55/609.31 o -5561 610.74/612.56 o -5616 612.35/614.14 o -5640 619.01/620.84 o -5643 633.47/635.34 o -5693 641.05/642.91 o -5931 643.54/645.41 o -5934 650.52/652.46 o -5949 659.58/661.50 o -5956 662.38/664.38 o -6104 679.83/681.81 o -6108 792.55/794.84 o -6109 797.63/799.92 o -6127 836.65/839.06 o -6129 848.21/850.64 o -6141 860.88/863.30 o -6150 863.68/866.19 o -6166 884.12/886.65 o -6169 906.87/909.42 o -6206 920.73/923.38 o -6289 922.63/925.29 o -6308 923.72/926.39 o -6309 926.32/928.90 o -6372 946.97/949.61 o -6384 950.56/953.22 o -6428 1184.69/1187.98 o -6433 1375.31/1379.02 o -6916 1376.10/1379.87 o -7038 1406.12/1409.96 o -7040 1425.97/1429.81 o -7348 1426.28/1430.15 o -7453 1428.76/1432.66 o -7497 1447.62/1451.59 o -7540 1479.24/1483.20 o -7557 1490.80/1494.81 o -7818 1491.80/1495.81 o -7827 1492.30/1496.38 o -7836 1497.69/1501.75 o -7910 1502.87/1506.99 o -7949 1649.81/1654.29 o -7971 1650.51/1654.96 o -7998 1652.31/1656.73 o -8021 1850.33/1855.20 o -8035 1992.17/1997.46 o -8519 1992.78/1998.08 o -8539 1992.97/1998.29 o -8540 1993.37/1998.69 o -8602 2268.49/2274.42 o -8606 2444.06/2450.40 o -9188 2445.35/2451.79 o -9201 2445.55/2451.93 o -9325 2445.77/2452.16 o -9471 2459.02/2465.47 o -9488 2467.71/2474.13 o -9513 2488.15/2494.62 o -9549 2516.18/2522.74 o -9570 2516.38/2523.00 o -9584 2580.21/2587.00 o -9603 2661.13/2668.03 o -9609 2773.63/2780.80 o -9668 2773.84/2781.03 o -9672 2781.21/2788.42 o -9676 2820.73/2828.10 o -9717 3065.93/3073.87 o -9719 3066.53/3074.44 o -9722 3196.12/3204.39 o -9749 3290.18/3298.66 o -10080 3290.38/3298.89 o -10118 3304.15/3312.68 o -10160 3307.65/3316.15 o -10190 3355.21/3363.87 o -10212 3358.91/3367.56 o -10320 3466.84/3475.77 o -10326 3530.48/3539.55 o -10341 3544.85/3554.00 o -10354
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: 64096 MiB (62392 MiB free)
memory of node 1: 64473 MiB (61382 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4462089-1722236577/watcher-4462089-1722236577 -o /tmp/evaluation-result-4462089-1722236577/solver-4462089-1722236577 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC009-1722236577-390322 --watchdog 3760 HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=1468058496 HOME/instance-4462089-1722236577.opb
running on 2 cores: 1,3
CPU governors:
performance: 1 3
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=390372, runsolver pid=390369
[startup+0.100124 s]*
/proc/loadavg: 0.09 0.09 0.09 5/242 390373
/proc/meminfo: memFree=126664296/131655788 swapFree=131058856/131071996
[pid=390372] ppid=390369 vsize=96700 memory=71108 CPUtime=0.09 cores=1,3
/proc/390372/stat : 390372 (Exact) R 390369 390372 390310 0 -1 4194304 8616 0 0 0 5 4 0 0 20 0 1 0 59647622 99020800 17777 134679101440 4194304 8309489 140732029895376 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 24281088 140732029903805 140732029903975 140732029903975 140732029910991 0
/proc/390372/statm: 24175 17777 837 1005 0 22938 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 96700 KiB
Current children cumulated memory: 71108 KiB
[startup+0.214016 s]*
/proc/loadavg: 0.09 0.09 0.09 6/242 390373
/proc/meminfo: memFree=126611916/131655788 swapFree=131058856/131071996
[pid=390372] ppid=390369 vsize=133320 memory=107464 CPUtime=0.21 cores=1,3
/proc/390372/stat : 390372 (Exact) R 390369 390372 390310 0 -1 4194304 15171 0 0 0 14 7 0 0 20 0 1 0 59647622 136519680 26866 134679101440 4194304 8309489 140732029895376 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 24281088 140732029903805 140732029903975 140732029903975 140732029910991 0
/proc/390372/statm: 33330 26866 837 1005 0 32093 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 133320 KiB
Current children cumulated memory: 107464 KiB
[startup+0.313746 s]*
/proc/loadavg: 0.09 0.09 0.09 5/241 390374
/proc/meminfo: memFree=126598076/131655788 swapFree=131058856/131071996
[pid=390372] ppid=390369 vsize=143920 memory=120744 CPUtime=0.31 cores=1,3
/proc/390372/stat : 390372 (Exact) R 390369 390372 390310 0 -1 4194304 20196 0 0 0 22 9 0 0 20 0 1 0 59647622 147374080 30186 134679101440 4194304 8309489 140732029895376 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 24281088 140732029903805 140732029903975 140732029903975 140732029910991 0
/proc/390372/statm: 35980 30186 884 1005 0 34743 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 143920 KiB
Current children cumulated memory: 120744 KiB
[startup+0.700378 s]
/proc/loadavg: 0.09 0.09 0.09 6/246 390384
/proc/meminfo: memFree=126455652/131655788 swapFree=131058856/131071996
[pid=390372] ppid=390369 vsize=169156 memory=148344 CPUtime=0.68 cores=1,3
/proc/390372/stat : 390372 (Exact) R 390369 390372 390310 0 -1 4194304 27231 0 0 0 57 11 0 0 20 0 1 0 59647622 173215744 37086 134679101440 4194304 8309489 140732029895376 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 24281088 140732029903805 140732029903975 140732029903975 140732029910991 0
/proc/390372/statm: 42289 37086 1044 1005 0 41052 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 169156 KiB
Current children cumulated memory: 148344 KiB
[startup+1.50037 s]
/proc/loadavg: 0.09 0.09 0.09 5/246 390384
/proc/meminfo: memFree=126236284/131655788 swapFree=131058856/131071996
[pid=390372] ppid=390369 vsize=208304 memory=186868 CPUtime=1.47 cores=1,3
/proc/390372/stat : 390372 (Exact) R 390369 390372 390310 0 -1 4194304 34306 0 0 0 133 14 0 0 20 0 1 0 59647622 213303296 46717 134679101440 4194304 8309489 140732029895376 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 24281088 140732029903805 140732029903975 140732029903975 140732029910991 0
/proc/390372/statm: 52076 46717 1060 1005 0 50839 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 208304 KiB
Current children cumulated memory: 186868 KiB
[startup+3.11299 s]
/proc/loadavg: 0.09 0.09 0.09 5/246 390386
/proc/meminfo: memFree=125915776/131655788 swapFree=131058856/131071996
[pid=390372] ppid=390369 vsize=241860 memory=210664 CPUtime=3.09 cores=1,3
/proc/390372/stat : 390372 (Exact) R 390369 390372 390310 0 -1 4194304 39643 0 0 0 293 16 0 0 20 0 1 0 59647622 247664640 52666 134679101440 4194304 8309489 140732029895376 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 24281088 140732029903805 140732029903975 140732029903975 140732029910991 0
/proc/390372/statm: 60465 52666 1092 1005 0 59228 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 241860 KiB
Current children cumulated memory: 210664 KiB
[startup+6.30032 s]
/proc/loadavg: 0.41 0.16 0.11 5/246 390386
/proc/meminfo: memFree=125536068/131655788 swapFree=131058856/131071996
[pid=390372] ppid=390369 vsize=397584 memory=336320 CPUtime=6.26 cores=1,3
/proc/390372/stat : 390372 (Exact) R 390369 390372 390310 0 -1 4194304 58297 0 0 0 605 21 0 0 20 0 1 0 59647622 407126016 84080 134679101440 4194304 8309489 140732029895376 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 24281088 140732029903805 140732029903975 140732029903975 140732029910991 0
/proc/390372/statm: 99396 84080 1092 1005 0 98159 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 397584 KiB
Current children cumulated memory: 336320 KiB
[startup+12.7003 s]
/proc/loadavg: 0.69 0.22 0.13 5/246 390387
/proc/meminfo: memFree=124973332/131655788 swapFree=131058856/131071996
[pid=390372] ppid=390369 vsize=835848 memory=704116 CPUtime=12.64 cores=1,3
/proc/390372/stat : 390372 (Exact) R 390369 390372 390310 0 -1 4194304 118627 0 0 0 1225 39 0 0 20 0 1 0 59647622 855908352 176029 134679101440 4194304 8309489 140732029895376 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 24281088 140732029903805 140732029903975 140732029903975 140732029910991 0
/proc/390372/statm: 208962 176029 1092 1005 0 207725 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 835848 KiB
Current children cumulated memory: 704116 KiB
[startup+25.5003 s]
/proc/loadavg: 1.50 0.42 0.20 5/246 390389
/proc/meminfo: memFree=123627704/131655788 swapFree=131058856/131071996
[pid=390372] ppid=390369 vsize=1368872 memory=1312592 CPUtime=25.39 cores=1,3
/proc/390372/stat : 390372 (Exact) R 390369 390372 390310 0 -1 4194304 195989 0 0 0 2475 64 0 0 20 0 1 0 59647622 1401724928 328148 134679101440 4194304 8309489 140732029895376 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 24281088 140732029903805 140732029903975 140732029903975 140732029910991 0
/proc/390372/statm: 342218 328148 1140 1005 0 340981 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 1368872 KiB
Current children cumulated memory: 1312592 KiB
[startup+51.1127 s]
/proc/loadavg: 2.35 0.71 0.30 5/244 390392
/proc/meminfo: memFree=121033904/131655788 swapFree=131058856/131071996
[pid=390372] ppid=390369 vsize=2921628 memory=2284500 CPUtime=50.91 cores=1,3
/proc/390372/stat : 390372 (Exact) R 390369 390372 390310 0 -1 4194304 324313 0 0 0 4973 118 0 0 20 0 1 0 59647622 2991747072 571125 134679101440 4194304 8309489 140732029895376 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 24281088 140732029903805 140732029903975 140732029903975 140732029910991 0
/proc/390372/statm: 730407 571125 1140 1005 0 729170 0
Current children cumulated CPU time: 50.91 s
Current children cumulated vsize: 2921628 KiB
Current children cumulated memory: 2284500 KiB
[startup+102.3 s]
/proc/loadavg: 3.37 1.24 0.50 5/244 390448
/proc/meminfo: memFree=117474832/131655788 swapFree=131058856/131071996
[pid=390372] ppid=390369 vsize=4740176 memory=3756216 CPUtime=101.92 cores=1,3
/proc/390372/stat : 390372 (Exact) R 390369 390372 390310 0 -1 4194304 502956 0 0 0 9991 201 0 0 20 0 1 0 59647622 4853940224 939054 134679101440 4194304 8309489 140732029895376 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 24281088 140732029903805 140732029903975 140732029903975 140732029910991 0
/proc/390372/statm: 1185044 939054 1140 1005 0 1183807 0
Current children cumulated CPU time: 101.92 s
Current children cumulated vsize: 4740176 KiB
Current children cumulated memory: 3756216 KiB
[startup+162.3 s]
/proc/loadavg: 3.83 1.76 0.73 5/244 390596
/proc/meminfo: memFree=113380280/131655788 swapFree=131058856/131071996
[pid=390372] ppid=390369 vsize=4901100 memory=3975732 CPUtime=161.73 cores=1,3
/proc/390372/stat : 390372 (Exact) R 390369 390372 390310 0 -1 4194304 530855 0 0 0 15962 211 0 0 20 0 1 0 59647622 5018726400 993933 134679101440 4194304 8309489 140732029895376 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 24281088 140732029903805 140732029903975 140732029903975 140732029910991 0
/proc/390372/statm: 1225275 993933 1140 1005 0 1224038 0
Current children cumulated CPU time: 161.73 s
Current children cumulated vsize: 4901100 KiB
Current children cumulated memory: 3975732 KiB
[startup+222.3 s]
/proc/loadavg: 3.99 2.18 0.94 5/242 390606
/proc/meminfo: memFree=107982248/131655788 swapFree=131058856/131071996
[pid=390372] ppid=390369 vsize=4901100 memory=3985020 CPUtime=221.56 cores=1,3
/proc/390372/stat : 390372 (Exact) R 390369 390372 390310 0 -1 4194304 532599 0 0 0 21942 214 0 0 20 0 1 0 59647622 5018726400 996255 134679101440 4194304 8309489 140732029895376 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 24281088 140732029903805 140732029903975 140732029903975 140732029910991 0
/proc/390372/statm: 1225275 996255 1140 1005 0 1224038 0
Current children cumulated CPU time: 221.56 s
Current children cumulated vsize: 4901100 KiB
Current children cumulated memory: 3985020 KiB
[startup+282.3 s]
/proc/loadavg: 3.99 2.52 1.14 5/242 390661
/proc/meminfo: memFree=104880204/131655788 swapFree=131058856/131071996
[pid=390372] ppid=390369 vsize=4902312 memory=4145800 CPUtime=281.39 cores=1,3
/proc/390372/stat : 390372 (Exact) R 390369 390372 390310 0 -1 4194304 534559 0 0 0 27918 221 0 0 20 0 1 0 59647622 5019967488 1036450 134679101440 4194304 8309489 140732029895376 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 24281088 140732029903805 140732029903975 140732029903975 140732029910991 0
/proc/390372/statm: 1225578 1036450 1140 1005 0 1224341 0
Current children cumulated CPU time: 281.39 s
Current children cumulated vsize: 4902312 KiB
Current children cumulated memory: 4145800 KiB
[startup+342.3 s]
/proc/loadavg: 4.05 2.80 1.32 5/241 390672
/proc/meminfo: memFree=102986792/131655788 swapFree=131058856/131071996
[pid=390372] ppid=390369 vsize=4902632 memory=4636308 CPUtime=341.23 cores=1,3
/proc/390372/stat : 390372 (Exact) R 390369 390372 390310 0 -1 4194304 536430 0 0 0 33892 231 0 0 20 0 1 0 59647622 5020295168 1159077 134679101440 4194304 8309489 140732029895376 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 24281088 140732029903805 140732029903975 140732029903975 140732029910991 0
/proc/390372/statm: 1225658 1159077 1140 1005 0 1224421 0
Current children cumulated CPU time: 341.23 s
Current children cumulated vsize: 4902632 KiB
Current children cumulated memory: 4636308 KiB
[startup+402.3 s]
/proc/loadavg: 4.06 3.04 1.50 5/241 390682
/proc/meminfo: memFree=102025884/131655788 swapFree=131058856/131071996
[pid=390372] ppid=390369 vsize=7201864 memory=5352348 CPUtime=401.08 cores=1,3
/proc/390372/stat : 390372 (Exact) R 390369 390372 390310 0 -1 4194304 592311 0 0 0 39803 305 0 0 20 0 1 0 59647622 7374708736 1338087 134679101440 4194304 8309489 140732029895376 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 24281088 140732029903805 140732029903975 140732029903975 140732029910991 0
/proc/390372/statm: 1800466 1338087 1140 1005 0 1799229 0
Current children cumulated CPU time: 401.08 s
Current children cumulated vsize: 7201864 KiB
Current children cumulated memory: 5352348 KiB
[startup+462.3 s]
/proc/loadavg: 4.12 3.25 1.67 5/244 390697
/proc/meminfo: memFree=101262488/131655788 swapFree=131058856/131071996
[pid=390372] ppid=390369 vsize=7204104 memory=5499420 CPUtime=460.92 cores=1,3
/proc/390372/stat : 390372 (Exact) R 390369 390372 390310 0 -1 4194304 594298 0 0 0 45783 309 0 0 20 0 1 0 59647622 7377002496 1374855 134679101440 4194304 8309489 140732029895376 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 24281088 140732029903805 140732029903975 140732029903975 140732029910991 0
/proc/390372/statm: 1801026 1374855 1140 1005 0 1799789 0
################
# More data... #
################
[startup+3102.3 s]
/proc/loadavg: 4.17 4.15 4.07 5/244 391785
/proc/meminfo: memFree=87297880/131655788 swapFree=131058856/131071996
[pid=390372] ppid=390369 vsize=7272156 memory=6741096 CPUtime=3094.36 cores=1,3
/proc/390372/stat : 390372 (Exact) R 390369 390372 390310 0 -1 4194304 712853 0 0 0 309013 423 0 0 20 0 1 0 59647622 7446687744 1685274 134679101440 4194304 8309489 140732029895376 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 24281088 140732029903805 140732029903975 140732029903975 140732029910991 0
/proc/390372/statm: 1818039 1685274 1140 1005 0 1816802 0
Current children cumulated CPU time: 3094.36 s
Current children cumulated vsize: 7272156 KiB
Current children cumulated memory: 6741096 KiB
[startup+3162.3 s]
/proc/loadavg: 4.13 4.14 4.07 5/244 392181
/proc/meminfo: memFree=87296396/131655788 swapFree=131058856/131071996
[pid=390372] ppid=390369 vsize=7272156 memory=6741096 CPUtime=3154.22 cores=1,3
/proc/390372/stat : 390372 (Exact) R 390369 390372 390310 0 -1 4194304 715249 0 0 0 314998 424 0 0 20 0 1 0 59647622 7446687744 1685274 134679101440 4194304 8309489 140732029895376 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 24281088 140732029903805 140732029903975 140732029903975 140732029910991 0
/proc/390372/statm: 1818039 1685274 1140 1005 0 1816802 0
Current children cumulated CPU time: 3154.22 s
Current children cumulated vsize: 7272156 KiB
Current children cumulated memory: 6741096 KiB
[startup+3222.3 s]
/proc/loadavg: 4.10 4.13 4.07 5/244 392191
/proc/meminfo: memFree=87296036/131655788 swapFree=131058856/131071996
[pid=390372] ppid=390369 vsize=7272156 memory=6741096 CPUtime=3214.07 cores=1,3
/proc/390372/stat : 390372 (Exact) R 390369 390372 390310 0 -1 4194304 718143 0 0 0 320982 425 0 0 20 0 1 0 59647622 7446687744 1685274 134679101440 4194304 8309489 140732029895376 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 24281088 140732029903805 140732029903975 140732029903975 140732029910991 0
/proc/390372/statm: 1818039 1685274 1140 1005 0 1816802 0
Current children cumulated CPU time: 3214.07 s
Current children cumulated vsize: 7272156 KiB
Current children cumulated memory: 6741096 KiB
[startup+3282.3 s]
/proc/loadavg: 4.08 4.12 4.07 5/244 392201
/proc/meminfo: memFree=87295432/131655788 swapFree=131058856/131071996
[pid=390372] ppid=390369 vsize=7272156 memory=6741096 CPUtime=3273.92 cores=1,3
/proc/390372/stat : 390372 (Exact) R 390369 390372 390310 0 -1 4194304 719909 0 0 0 326966 426 0 0 20 0 1 0 59647622 7446687744 1685274 134679101440 4194304 8309489 140732029895376 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 24281088 140732029903805 140732029903975 140732029903975 140732029910991 0
/proc/390372/statm: 1818039 1685274 1140 1005 0 1816802 0
Current children cumulated CPU time: 3273.92 s
Current children cumulated vsize: 7272156 KiB
Current children cumulated memory: 6741096 KiB
[startup+3342.3 s]
/proc/loadavg: 4.06 4.11 4.07 5/246 392382
/proc/meminfo: memFree=87294644/131655788 swapFree=131058856/131071996
[pid=390372] ppid=390369 vsize=7272156 memory=6741096 CPUtime=3333.77 cores=1,3
/proc/390372/stat : 390372 (Exact) R 390369 390372 390310 0 -1 4194304 723250 0 0 0 332951 426 0 0 20 0 1 0 59647622 7446687744 1685274 134679101440 4194304 8309489 140732029895376 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 24281088 140732029903805 140732029903975 140732029903975 140732029910991 0
/proc/390372/statm: 1818039 1685274 1140 1005 0 1816802 0
Current children cumulated CPU time: 3333.77 s
Current children cumulated vsize: 7272156 KiB
Current children cumulated memory: 6741096 KiB
[startup+3402.3 s]
/proc/loadavg: 4.07 4.10 4.07 5/246 392392
/proc/meminfo: memFree=87294584/131655788 swapFree=131058856/131071996
[pid=390372] ppid=390369 vsize=7272156 memory=6741096 CPUtime=3393.63 cores=1,3
/proc/390372/stat : 390372 (Exact) R 390369 390372 390310 0 -1 4194304 725832 0 0 0 338936 427 0 0 20 0 1 0 59647622 7446687744 1685274 134679101440 4194304 8309489 140732029895376 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 24281088 140732029903805 140732029903975 140732029903975 140732029910991 0
/proc/390372/statm: 1818039 1685274 1140 1005 0 1816802 0
Current children cumulated CPU time: 3393.63 s
Current children cumulated vsize: 7272156 KiB
Current children cumulated memory: 6741096 KiB
[startup+3462.3 s]
/proc/loadavg: 4.18 4.13 4.08 5/245 392404
/proc/meminfo: memFree=87293524/131655788 swapFree=131058856/131071996
[pid=390372] ppid=390369 vsize=7272156 memory=6741096 CPUtime=3453.48 cores=1,3
/proc/390372/stat : 390372 (Exact) R 390369 390372 390310 0 -1 4194304 728304 0 0 0 344920 428 0 0 20 0 1 0 59647622 7446687744 1685274 134679101440 4194304 8309489 140732029895376 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 24281088 140732029903805 140732029903975 140732029903975 140732029910991 0
/proc/390372/statm: 1818039 1685274 1140 1005 0 1816802 0
Current children cumulated CPU time: 3453.48 s
Current children cumulated vsize: 7272156 KiB
Current children cumulated memory: 6741096 KiB
[startup+3522.3 s]
/proc/loadavg: 4.13 4.12 4.08 5/244 392426
/proc/meminfo: memFree=87293140/131655788 swapFree=131058856/131071996
[pid=390372] ppid=390369 vsize=7272156 memory=6741096 CPUtime=3513.32 cores=1,3
/proc/390372/stat : 390372 (Exact) R 390369 390372 390310 0 -1 4194304 731600 0 0 0 350904 428 0 0 20 0 1 0 59647622 7446687744 1685274 134679101440 4194304 8309489 140732029895376 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 24281088 140732029903805 140732029903975 140732029903975 140732029910991 0
/proc/390372/statm: 1818039 1685274 1140 1005 0 1816802 0
Current children cumulated CPU time: 3513.32 s
Current children cumulated vsize: 7272156 KiB
Current children cumulated memory: 6741096 KiB
[startup+3582.3 s]
/proc/loadavg: 4.05 4.09 4.07 5/245 392441
/proc/meminfo: memFree=87292604/131655788 swapFree=131058856/131071996
[pid=390372] ppid=390369 vsize=7272156 memory=6741096 CPUtime=3573.18 cores=1,3
/proc/390372/stat : 390372 (Exact) R 390369 390372 390310 0 -1 4194304 734202 0 0 0 356886 432 0 0 20 0 1 0 59647622 7446687744 1685274 134679101440 4194304 8309489 140732029895376 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 24281088 140732029903805 140732029903975 140732029903975 140732029910991 0
/proc/390372/statm: 1818039 1685274 1140 1005 0 1816802 0
Current children cumulated CPU time: 3573.18 s
Current children cumulated vsize: 7272156 KiB
Current children cumulated memory: 6741096 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.2 s]
/proc/loadavg: 4.08 4.10 4.08 5/245 392445
/proc/meminfo: memFree=87292648/131655788 swapFree=131058856/131071996
[pid=390372] ppid=390369 vsize=7272156 memory=6741096 CPUtime=3600.02 cores=1,3
/proc/390372/stat : 390372 (Exact) R 390369 390372 390310 0 -1 4194304 735378 0 0 0 359570 432 0 0 20 0 1 0 59647622 7446687744 1685274 134679101440 4194304 8309489 140732029895376 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 24281088 140732029903805 140732029903975 140732029903975 140732029910991 0
/proc/390372/statm: 1818039 1685274 1140 1005 0 1816802 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 7272156 KiB
Current children cumulated memory: 6741096 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
[startup+3611.22 s]
# the end of solver process 390372 was just reported to runsolver
# Child ended because it received signal 9 (SIGKILL)
# cumulated CPU time of all completed processes: user=3597.7 s, system=4.34244 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3609.6 s]
/proc/loadavg: 4.08 4.10 4.08 5/245 392445
/proc/meminfo: memFree=87292648/131655788 swapFree=131058856/131071996
[pid=390372] ppid=390369 vsize=7272156 memory=6741096 CPUtime=3600.42 cores=1,3
/proc/390372/stat : 390372 (Exact) R 390369 390372 390310 0 -1 4194304 735391 0 0 0 359610 432 0 0 20 0 1 0 59647622 7446687744 1685274 134679101440 4194304 8309489 140732029895376 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 24281088 140732029903805 140732029903975 140732029903975 140732029910991 0
/proc/390372/statm: 1818039 1685274 1140 1005 0 1816802 0
Current children cumulated CPU time: 3600.42 s
Current children cumulated vsize: 7272156 KiB
Current children cumulated memory: 6741096 KiB
[startup+3610.4 s]
/proc/loadavg: 4.08 4.10 4.08 5/245 392445
/proc/meminfo: memFree=87292640/131655788 swapFree=131058856/131071996
[pid=390372] ppid=390369 vsize=7272156 memory=6741096 CPUtime=3601.21 cores=1,3
/proc/390372/stat : 390372 (Exact) R 390369 390372 390310 0 -1 4194304 735410 0 0 0 359689 432 0 0 20 0 1 0 59647622 7446687744 1685274 134679101440 4194304 8309489 140732029895376 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 24281088 140732029903805 140732029903975 140732029903975 140732029910991 0
/proc/390372/statm: 1818039 1685274 1140 1005 0 1816802 0
Current children cumulated CPU time: 3601.21 s
Current children cumulated vsize: 7272156 KiB
Current children cumulated memory: 6741096 KiB
[startup+3610.8 s]
/proc/loadavg: 4.08 4.10 4.08 5/245 392445
/proc/meminfo: memFree=87292640/131655788 swapFree=131058856/131071996
[pid=390372] ppid=390369 vsize=7272156 memory=6741096 CPUtime=3601.61 cores=1,3
/proc/390372/stat : 390372 (Exact) R 390369 390372 390310 0 -1 4194304 735423 0 0 0 359729 432 0 0 20 0 1 0 59647622 7446687744 1685274 134679101440 4194304 8309489 140732029895376 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 24281088 140732029903805 140732029903975 140732029903975 140732029910991 0
/proc/390372/statm: 1818039 1685274 1140 1005 0 1816802 0
Current children cumulated CPU time: 3601.61 s
Current children cumulated vsize: 7272156 KiB
Current children cumulated memory: 6741096 KiB
[startup+3611.2 s]
/proc/loadavg: 4.08 4.10 4.08 5/245 392445
/proc/meminfo: memFree=87292648/131655788 swapFree=131058856/131071996
[pid=390372] ppid=390369 vsize=7272156 memory=6741096 CPUtime=3602.01 cores=1,3
/proc/390372/stat : 390372 (Exact) R 390369 390372 390310 0 -1 4194304 735432 0 0 0 359769 432 0 0 20 0 1 0 59647622 7446687744 1685274 134679101440 4194304 8309489 140732029895376 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 24281088 140732029903805 140732029903975 140732029903975 140732029910991 0
/proc/390372/statm: 1818039 1685274 1140 1005 0 1816802 0
Current children cumulated CPU time: 3602.01 s
Current children cumulated vsize: 7272156 KiB
Current children cumulated memory: 6741096 KiB
Child ended because it received signal 9 (SIGKILL)
Real time (s): 3611.22
CPU time (s): 3602.04
CPU user time (s): 3597.7
CPU system time (s): 4.34244
CPU usage (%): 99.7458
Max. virtual memory (cumulated for all children) (KiB): 9657080
Max. memory (cumulated for all children) (KiB): 7554756
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3597.7
system time used= 4.34244
maximum resident set size= 7573188
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 735432
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= 96
involuntary context switches= 1935
# summary of solver processes directly reported to runsolver:
# pid: 390372
# total CPU time (s): 3602.04
# total CPU user time (s): 3597.7
# total CPU system time (s): 4.34244
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.7874 second user time and 34.7006 second system time
The end
Begin job on nodeC009 at 2024-07-29 09:02:58 IDJOB=4462089 IDBENCH=178877 IDSOLVER=3060 FILE ID=nodeC009/4462089-1722236577 RUNJOBID= nodeC009-1722236577-390322 SLURM_JOB_ID= 8248778 Free space on /tmp= 723768 MiB SOLVER NAME= Exact 2024-07-05 BENCH NAME= PB24/normalized-PB24/OPT-LIN/pettersson/StableMatchings/KidneyTransplantBenchmarks/normalized-KE_690_001.opb COMMAND LINE= HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=RANDOMSEED BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4462089-1722236577/watcher-4462089-1722236577 -o /tmp/evaluation-result-4462089-1722236577/solver-4462089-1722236577 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC009-1722236577-390322 --watchdog 3760 HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=1468058496 HOME/instance-4462089-1722236577.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 249cf9587e5805e9a219512abdd98e50 RANDOM SEED=1468058496 nodeC009.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021 /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.253 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 invpcid_single pti tpr_shadow vnmi 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 bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.96 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 : 1197.251 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 invpcid_single pti tpr_shadow vnmi 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 bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.36 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.264 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 invpcid_single pti tpr_shadow vnmi 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 bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.96 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 : 1197.279 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 invpcid_single pti tpr_shadow vnmi 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 bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.36 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 : 1197.255 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 invpcid_single pti tpr_shadow vnmi 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 bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.96 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 : 1197.251 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 invpcid_single pti tpr_shadow vnmi 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 bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.36 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 : 1197.254 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 invpcid_single pti tpr_shadow vnmi 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 bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.96 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 : 1197.326 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 invpcid_single pti tpr_shadow vnmi 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 bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.36 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131655788 kB MemFree: 126765300 kB MemAvailable: 129870596 kB Buffers: 422292 kB Cached: 3451488 kB SwapCached: 4924 kB Active: 1966548 kB Inactive: 2240892 kB Active(anon): 1520 kB Inactive(anon): 385672 kB Active(file): 1965028 kB Inactive(file): 1855220 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131058856 kB Dirty: 22728 kB Writeback: 0 kB AnonPages: 328432 kB Mapped: 94232 kB Shmem: 53492 kB KReclaimable: 250492 kB Slab: 363548 kB SReclaimable: 250492 kB SUnreclaim: 113056 kB KernelStack: 3780 kB PageTables: 9992 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196899888 kB Committed_AS: 762332 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 18848 kB HardwareCorrupted: 0 kB AnonHugePages: 206848 kB ShmemHugePages: 0 kB ShmemPmdMapped: 0 kB FileHugePages: 0 kB FilePmdMapped: 0 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB Hugetlb: 0 kB DirectMap4k: 367432 kB DirectMap2M: 44625920 kB DirectMap1G: 91226112 kB Free space on /tmp at the end= 723736 MiB End job on nodeC009 at 2024-07-29 10:03:09