Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| Exact_no_SoPlex 2024-07-05 | MSAT (TO) | 3600.01 | 3612.2 |
| Name | PB24/WBO/PARTIAL-LIN/wcsp/warehouse/ normalized-cap104_wcsp.wbo |
| MD5SUM | 8ae6cf967e584e12cada7dd8fbc9b19b |
| Bench Category | PARTIAL-LIN (WBO, both soft and hard constraints, linear constraints) |
| Best result obtained on this benchmark | MOPT |
| Best cost obtained on this benchmark | 9026651 |
| Best CPU time to get the best result obtained on this benchmark | 1.26181 |
| Max-Satisfiable | |
| Max-(Un)Satisfiability was proved | |
| Best value of the cost | |
| Optimality of the best cost was proved | |
| Number of variables | 1300 |
| Total number of constraints | 2598 |
| Number of soft constraints | 2523 |
| Number of constraints which are clauses | 2523 |
| Number of constraints which are cardinality constraints (but not clauses) | 75 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 25 |
| Top cost | 63586724 |
| Min constraint cost | 1 |
| Max constraint cost | 63586724 |
| Sum of constraints costs | 80090480126 |
| Biggest number in a constraint | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 26 |
| Number of bits of the biggest sum of numbers | 5 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.06 o 39640503 0.00/0.06 o 27499995 0.00/0.06 o 25462131 0.00/0.06 o 25431799 0.00/0.06 o 25420270 0.00/0.06 o 23868620 0.00/0.06 o 23742235 0.00/0.06 o 23691079 0.00/0.06 o 23545819 0.00/0.06 o 23498527 0.00/0.06 o 23456191 0.00/0.07 o 23430800 0.00/0.08 o 23427135 0.09/0.11 o 23073005 0.09/0.11 o 22927745 0.09/0.11 o 22871487 0.09/0.11 o 22735241 0.09/0.13 o 22648715 0.09/0.13 o 22536104 0.09/0.13 o 22266624 0.09/0.13 o 22010870 0.09/0.13 o 21791532 0.09/0.13 o 21790331 0.09/0.13 o 21786228 0.09/0.13 o 21786148 0.09/0.13 o 21785566 0.09/0.13 o 21784072 0.09/0.14 o 21782069 0.09/0.14 o 21763171 0.09/0.14 o 21761970 0.09/0.14 o 21757867 0.09/0.14 o 21757787 0.09/0.14 o 21706878 0.09/0.14 o 21706296 0.09/0.15 o 21704802 0.09/0.15 o 21703791 0.09/0.15 o 21558531 0.09/0.16 o 21553567 0.09/0.16 o 21553487 0.09/0.16 o 21552905 0.09/0.16 o 21551411 0.09/0.16 o 21550400 0.09/0.16 o 21546352 0.09/0.16 o 21546272 0.09/0.16 o 21542139 0.09/0.17 o 21532676 0.09/0.17 o 21527653 0.09/0.17 o 21513778 0.09/0.17 o 21505036 0.09/0.18 o 21499732 0.09/0.18 o 21499652 0.09/0.18 o 21499070 0.09/0.18 o 21497576 0.09/0.18 o 21496565 0.09/0.19 o 21443490 0.09/0.19 o 21443459 0.09/0.19 o 21441965 0.09/0.20 o 21440954 0.19/0.21 o 21404206 0.19/0.21 o 21258946 0.19/0.21 o 21192059 0.19/0.21 o 19659191 0.19/0.22 o 19658915 0.19/0.22 o 19604696 0.19/0.22 o 19602274 0.19/0.22 o 19600320 0.19/0.22 o 19596217 0.19/0.22 o 19596137 0.19/0.22 o 19450877 0.19/0.23 o 19450295 0.19/0.23 o 19448801 0.19/0.23 o 19447790 0.19/0.23 o 19426644 0.19/0.23 o 19384906 0.19/0.23 o 19377691 0.19/0.24 o 19341570 0.19/0.24 o 19328860 0.19/0.27 o 18569422 0.19/0.27 o 18540077 0.19/0.27 o 18472164 0.19/0.27 o 18380389 0.19/0.27 o 18280312 0.19/0.28 o 18135052 0.19/0.28 o 18081499 0.19/0.28 o 18013586 0.19/0.28 o 17921811 0.19/0.28 o 17909101 0.29/0.33 o 17825263 0.29/0.33 o 17824361 0.29/0.33 o 17811651 0.29/0.34 o 17806379 0.29/0.34 o 17797637 0.29/0.35 o 17776491 0.29/0.35 o 17769276 0.39/0.47 o 17705893 0.39/0.48 o 17286427 0.39/0.48 o 17142829 0.39/0.49 o 16976299 0.39/0.49 o 16526395 0.39/0.49 o 15994591 0.39/0.49 o 15985855 0.39/0.50 o 15976215 0.39/0.50 o 15972540 0.39/0.50 o 15961273 0.49/0.51 o 15937896 0.49/0.51 o 15916266 0.78/0.86 o 15907701 0.78/0.87 o 15900486 0.78/0.87 o 15894263 0.78/0.88 o 15893510 0.78/0.89 o 15892309 0.78/0.89 o 15888206 0.88/0.90 o 15888126 0.88/0.90 o 15887544 0.88/0.91 o 15886050 0.88/0.92 o 15885039 0.88/0.95 o 15788220 0.88/0.96 o 15740087 0.98/1.04 o 15732962 0.98/1.05 o 15728334 4.87/5.00 o 15581052 4.98/5.02 o 15575599 4.98/5.04 o 15558830 4.98/5.06 o 15556525 4.98/5.08 o 15553958 5.08/5.11 o 15552431 5.08/5.13 o 15549713 5.08/5.16 o 15548723 5.08/5.18 o 15548088 5.08/5.19 o 15546471 5.17/5.23 o 15541167 5.17/5.24 o 15539011 5.27/5.31 o 15530269 5.37/5.41 o 15492061 5.37/5.43 o 15355815 5.46/5.54 o 15235753 5.46/5.56 o 15235378 5.56/5.63 o 15106923 5.56/5.66 o 15075089 6.66/6.79 o 14836933 8.66/8.73 o 14818633 8.66/8.78 o 13272259 8.76/8.88 o 13137718 8.86/8.91 o 13126186 8.86/8.93 o 13125546 8.86/8.96 o 13123322 8.86/8.98 o 13122239 8.97/9.01 o 13118434 8.97/9.03 o 13117822 8.97/9.05 o 13116892 8.97/9.08 o 13116295 9.06/9.10 o 13115538 9.06/9.13 o 13114941 9.06/9.15 o 13114514 9.06/9.17 o 13113431 9.16/9.20 o 13074666 9.16/9.23 o 13067346 9.16/9.25 o 13063134 9.16/9.28 o 13062494 9.26/9.30 o 13060270 9.26/9.33 o 13055814 9.26/9.35 o 13055174 9.26/9.37 o 13052950 9.36/9.40 o 13038333 9.36/9.43 o 13037693 9.36/9.45 o 13035469 9.36/9.48 o 13034857 9.46/9.50 o 13033927 9.46/9.52 o 13033330 9.76/9.86 o 13029550 9.86/9.94 o 12979120 18.63/18.71 o 12977884 18.63/18.76 o 12971532 18.63/18.79 o 12970183 18.73/18.82 o 12969193 18.73/18.85 o 12968558 18.73/18.87 o 12968005 18.83/18.90 o 12966941 18.83/18.95 o 12966886 18.83/18.98 o 12956285 18.94/19.01 o 12937887 18.94/19.03 o 12936000 18.94/19.06 o 12929340 18.94/19.09 o 12922125 19.04/19.16 o 12908950 19.04/19.18 o 12904583 19.13/19.21 o 12902672 19.13/19.24 o 12901411 19.23/19.35 o 12863203 19.23/19.38 o 12726957 19.33/19.47 o 12676527 19.53/19.61 o 12628394 19.73/19.84 o 12606253 19.73/19.87 o 12601378 20.03/20.18 o 12595641 20.13/20.21 o 12570639 21.03/21.19 o 12563218 22.42/22.51 o 12487516 28.40/28.55 o 12472477 28.40/28.57 o 12467456 29.40/29.56 o 12439169 32.29/32.45 o 12409410 32.29/32.47 o 12403591 32.39/32.50 o 12396127 35.58/35.73 o 12344910 36.47/36.63 o 12342699 36.47/36.69 o 12342117 36.57/36.73 o 12341884 36.57/36.77 o 12340623 50.03/50.21 o 12340058 50.93/51.19 o 12279302 51.62/51.83 o 12240183 51.62/51.85 o 12157993 52.52/52.78 o 12150673 53.12/53.39 o 12150327 53.61/53.86 o 12138616 53.61/53.88 o 12121345 53.71/53.90 o 12112794 53.71/53.92 o 12109634 54.51/54.70 o 12106176 54.51/54.72 o 12104618 54.51/54.74 o 12098538 54.51/54.76 o 12098424 54.51/54.78 o 12095346 54.61/54.80 o 12076194 57.50/57.78 o 12041293 57.60/57.80 o 12024534 57.60/57.83 o 11990017 80.53/80.81 o 11982493 80.53/80.81 o 11981661 80.53/80.82 o 11981021 80.53/80.82 o 11978797 81.13/81.41 o 11973005 81.13/81.42 o 11969645 81.42/81.75 o 11917785 83.12/83.41 o 11890530 83.12/83.42 o 11799581 84.72/85.08 o 11785536 84.82/85.10 o 11780086 86.41/86.70 o 11750004 97.07/97.44 o 11749953 97.07/97.47 o 11748258 97.47/97.88 o 11745098 101.05/101.48 o 11736642 101.15/101.50 o 11690440 101.85/102.20 o 11690199 101.85/102.22 o 11689069 101.85/102.24 o 11688440 101.85/102.26 o 11682990 102.15/102.52 o 11677171 102.65/103.01 o 11638580 106.04/106.47 o 11638533 106.14/106.50 o 11636838 106.14/106.55 o 11629623 112.23/112.61 o 11626263 118.60/119.08 o 11606542 119.40/119.86 o 11580933 121.69/122.13 o 11516903 122.29/122.72 o 11511230 122.29/122.74 o 11386416 139.33/139.82 o 11386029 139.33/139.85 o 11385534 139.33/139.87 o 11384899 139.63/140.14 o 11384841 139.63/140.16 o 11384243 140.22/140.72 o 11383447 140.22/140.74 o 11383287 140.22/140.77 o 11381937 140.22/140.79 o 11381063 140.32/140.82 o 11380466 140.42/140.95 o 11380055 140.42/140.98 o 11379560 140.42/141.00 o 11378925 140.53/141.03 o 11378343 140.53/141.05 o 11378222 140.53/141.08 o 11377678 140.53/141.10 o 11377347 140.63/141.12 o 11376712 140.63/141.15 o 11376473 140.63/141.17 o 11376435 140.72/141.20 o 11375838 141.02/141.59 o 11375317 141.12/141.62 o 11374720 141.12/141.64 o 11372420 141.12/141.67 o 11371823 141.22/141.70 o 11371655 141.22/141.72 o 11371058 141.22/141.75 o 11370145 141.22/141.77 o 11369271 141.32/141.80 o 11368674 141.42/141.93 o 11367243 141.42/141.96 o 11366369 141.42/141.99 o 11365437 141.52/142.02 o 11365243 141.52/142.04 o 11364608 141.52/142.07 o 11364232 141.52/142.10 o 11363597 143.62/144.15 o 11362847 143.62/144.18 o 11361836 143.71/144.22 o 11360388 143.71/144.25 o 11357028 144.01/144.56 o 11302809 154.38/154.92 o 11299649 154.49/155.04 o 11262123 155.68/156.26 o 11237212 156.38/156.97 o 11232041 156.38/156.98 o 11226591 157.58/158.16 o 11224382 157.58/158.18 o 11220736 157.67/158.20 o 11220139 162.65/163.27 o 11194530 224.64/225.43 o 11193012 224.64/225.45 o 11192414 224.64/225.47 o 11191948 224.64/225.49 o 11191511 224.74/225.50 o 11188151 224.74/225.52 o 11187140 224.74/225.54 o 11186710 224.74/225.56 o 11186145 224.74/225.57 o 11185612 224.74/225.59 o 11185015 225.14/225.94 o 11184293 225.14/225.95 o 11184228 225.14/225.97 o 11184150 225.14/225.99 o 11183088 225.25/226.01 o 11182453 225.54/226.38 o 11182452 225.54/226.40 o 11181855 226.14/226.91 o 11181496 226.14/226.94 o 11179721 226.14/226.96 o 11179720 226.14/226.98 o 11179123 226.24/227.02 o 11177595 226.24/227.04 o 11176998 228.63/229.42 o 11176766 228.63/229.45 o 11172666 228.73/229.50 o 11171774 228.73/229.53 o 11171139 229.03/229.85 o 11170545 229.03/229.88 o 11170199 229.13/229.91 o 11169101 229.13/229.94 o 11168841 229.13/229.97 o 11167001 229.13/230.00 o 11166127 229.23/230.03 o 11164387 229.23/230.06 o 11161828 229.23/230.08 o 11161193 229.33/230.11 o 11159664 229.33/230.14 o 11158931 229.33/230.17 o 11158296 229.33/230.19 o 11158095 229.43/230.22 o 11155782 229.43/230.25 o 11155147 234.51/235.39 o 11151389 265.50/266.40 o 11145821 265.50/266.45 o 11143482 265.50/266.47 o 11142847 265.70/266.61 o 11138219 268.69/269.62 o 11125902 272.19/273.16 o 11120452 292.52/293.56 o 11094843 293.02/294.08 o 11091775 293.02/294.09 o 11090943 293.12/294.11 o 11090281 293.12/294.12 o 10974690 293.12/294.13 o 10855191 293.12/294.14 o 10847653 293.12/294.15 o 10846570 293.12/294.16 o 10844775 293.12/294.17 o 10844647 293.12/294.17 o 10843815 293.12/294.19 o 10814428 293.22/294.20 o 10793282 293.32/294.33 o 10791786 293.32/294.34 o 10791577 293.32/294.35 o 10789522 293.32/294.36 o 10787931 293.32/294.37 o 10785684 293.32/294.38 o 10785022 293.32/294.39 o 10782896 293.41/294.40 o 10779772 293.41/294.41 o 10775706 293.41/294.42 o 10769812 293.41/294.43 o 10765343 293.41/294.44 o 10762588 293.41/294.45 o 10758193 293.41/294.46 o 10755438 293.41/294.48 o 10753826 293.41/294.49 o 10752994 293.51/294.50 o 10752332 293.51/294.51 o 10748760 293.51/294.52 o 10747082 293.71/294.79 o 10744376 293.81/294.80 o 10743293 293.81/294.81 o 10743176 293.81/294.82 o 10743048 293.81/294.83 o 10742216 293.81/294.84 o 10741370 293.81/294.85 o 10740538 293.81/294.86 o 10732334 293.81/294.87 o 10731430 293.81/294.88 o 10730768 293.81/294.89 o 10729176 293.91/294.91 o 10726714 293.91/294.92 o 10726052 293.91/294.93 o 10719392 293.91/294.95 o 10717492 293.91/294.96 o 10712242 294.02/295.09 o 10703988 294.02/295.10 o 10702095 294.12/295.11 o 10694086 294.12/295.12 o 10677655 294.12/295.13 o 10676555 294.12/295.14 o 10669405 294.12/295.15 o 10665179 294.12/295.16 o 10658029 297.90/298.95 o 10656144 297.90/298.99 o 10642861 299.49/300.56 o 10634405 309.97/311.10 o 10633891 310.07/311.11 o 10633017 310.07/311.12 o 10632274 310.07/311.13 o 10631400 310.07/311.14 o 10630808 310.07/311.15 o 10629214 310.07/311.16 o 10628340 310.07/311.17 o 10627627 310.07/311.18 o 10627206 310.07/311.19 o 10626332 310.16/311.20 o 10625740 310.16/311.21 o 10624329 310.16/311.22 o 10623455 310.16/311.23 o 10622004 310.16/311.24 o 10621291 310.16/311.25 o 10620699 310.16/311.26 o 10619734 310.16/311.27 o 10619021 310.26/311.32 o 10615922 310.26/311.33 o 10613454 310.26/311.34 o 10612741 310.26/311.35 o 10612580 310.26/311.36 o 10611867 310.26/311.37 o 10611275 310.26/311.38 o 10609994 310.26/311.39 o 10609402 310.36/311.40 o 10609338 310.36/311.41 o 10608746 310.36/311.42 o 10607411 310.36/311.43 o 10604943 310.36/311.44 o 10604230 310.36/311.45 o 10603948 310.36/311.46 o 10603356 310.36/311.48 o 10602976 310.36/311.49 o 10601094 310.46/311.50 o 10600933 310.46/311.51 o 10600220 310.46/311.52 o 10598925 310.46/311.53 o 10598333 310.56/311.61 o 10447909 310.56/311.62 o 10422218 310.56/311.62 o 10418769 310.56/311.63 o 10413597 310.56/311.64 o 10412723 310.56/311.66 o 10411830 310.56/311.67 o 10406789 310.56/311.68 o 10405693 310.56/311.69 o 10405111 310.66/311.70 o 10403209 310.66/311.71 o 10402335 310.66/311.72 o 10402244 310.66/311.73 o 10401662 310.66/311.74 o 10398168 310.66/311.75 o 10397294 310.66/311.76 o 10397072 310.66/311.77 o 10396490 310.66/311.78 o 10396198 310.66/311.79 o 10395616 310.76/311.84 o 10382708 310.76/311.85 o 10382531 310.76/311.86 o 10377359 310.76/311.87 o 10376485 310.76/311.88 o 10376394 310.76/311.89 o 10371222 310.86/311.90 o 10370348 310.86/311.91 o 10369766 310.86/311.92 o 10367566 310.86/311.93 o 10362394 310.86/311.94 o 10361520 310.86/311.95 o 10360936 310.86/311.96 o 10360062 310.86/311.97 o 10359840 310.86/311.98 o 10358966 310.86/311.99 o 10358384 310.96/312.00 o 10357371 310.96/312.01 o 10356497 310.96/312.03 o 10354665 310.96/312.03 o 10352680 310.96/312.05 o 10352403 310.96/312.06 o 10351529 310.96/312.07 o 10351222 310.96/312.08 o 10351000 310.96/312.09 o 10350418 310.96/312.10 o 10350126 311.06/312.11 o 10349544 311.06/312.12 o 10348239 311.06/312.13 o 10347657 311.06/312.14 o 10337046 311.06/312.15 o 10336464 311.06/312.16 o 10333597 311.06/312.17 o 10328425 311.06/312.18 o 10327551 311.06/312.19 o 10326969 311.16/312.24 o 10324342 311.16/312.25 o 10323468 311.16/312.26 o 10321239 311.16/312.27 o 10320365 311.16/312.28 o 10320058 311.16/312.29 o 10319836 311.26/312.30 o 10319254 311.26/312.31 o 10318962 311.26/312.32 o 10318380 311.26/312.33 o 10315826 311.26/312.34 o 10315244 311.26/312.35 o 10314813 311.26/312.36 o 10314231 311.26/312.38 o 10313939 311.26/312.39 o 10313357 312.75/313.84 o 10313086 312.75/313.86 o 10312972 312.85/313.94 o 10294080 312.85/313.95 o 10268389 312.85/313.97 o 10267792 312.85/313.98 o 10267712 312.85/313.99 o 10267130 312.95/314.01 o 10262166 312.95/314.02 o 10262107 312.95/314.04 o 10256109 312.95/314.05 o 10256029 312.95/314.06 o 10255447 313.05/314.10 o 10245082 313.05/314.12 o 10245002 313.05/314.13 o 10244420 313.05/314.14 o 10241920 313.05/314.16 o 10241840 313.05/314.17 o 10241258 313.05/314.18 o 10236370 313.15/314.20 o 10211367 313.15/314.22 o 10211287 313.15/314.23 o 10210705 313.15/314.24 o 10208761 313.15/314.26 o 10208179 313.15/314.27 o 10205599 313.15/314.29 o 10205017 328.80/329.90 o 10200384 328.80/329.90 o 10199819 328.90/330.10 o 10054559 329.60/330.73 o 10018345 330.91/332.04 o 10016858 335.29/336.44 o 9955241 335.29/336.46 o 9910967 335.29/336.48 o 9881146 335.39/336.50 o 9876070 335.39/336.52 o 9864226 343.26/344.42 o 9845776 343.26/344.45 o 9829709 366.38/367.68 o 9825365 371.17/372.40 o 9824997 373.36/374.66 o 9818871 376.75/378.06 o 9791616 461.16/462.79 o 9790987 469.45/471.07 o 9788631 477.02/478.65 o 9783706 477.02/478.65 o 9783241 763.09/765.67 o 9753159 816.62/819.33 o 9752082 816.62/819.33 o 9750549 825.19/827.97 o 9711489 905.63/908.64 o 9686793 1274.54/1278.70 o 9671755 1274.54/1278.72 o 9647976 1755.14/1760.90 o 9584799 1764.60/1770.44 o 9548678 1778.75/1784.66 o 9522272 1881.09/1887.37 o 9502551 2919.67/2929.56 o 9476942 3600.00/3612.20 c Program interrupted by user. 3600.00/3612.20 s SATISFIABLE 3600.00/3612.20 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 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 x1295 -x1296 -x1297 -x1298 -x1299 -x1300
OK 9476942
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: 63968 MiB (55999 MiB free)
memory of node 1: 64473 MiB (48011 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4456443-1721722107/watcher-4456443-1721722107 -o /tmp/evaluation-result-4456443-1721722107/solver-4456443-1721722107 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC033-1721718417-85828 --watchdog 3760 HOME/Exact_nosoplex --print-uniform=0 --verbosity=0 --print-sol --seed=1677618319 HOME/instance-4456443-1721722107.wbo
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 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=88489, runsolver pid=88486
[startup+0.100094 s]*
/proc/loadavg: 4.28 4.17 4.10 7/256 88490
/proc/meminfo: memFree=106497508/131524600 swapFree=131071996/131071996
[pid=88489] ppid=88486 vsize=33028 memory=13104 CPUtime=0.09 cores=0,2
/proc/88489/stat : 88489 (Exact_nosoplex) R 88486 88489 85818 0 -1 4194304 2290 0 0 0 9 0 0 0 20 0 1 0 8740433 33820672 3276 134679101440 4194304 7248369 140723538412736 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7946728 8011032 40161280 140723538416555 140723538416734 140723538416734 140723538423750 0
/proc/88489/statm: 8257 3276 835 746 0 7321 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 33028 KiB
Current children cumulated memory: 13104 KiB
[startup+0.204682 s]*
/proc/loadavg: 4.28 4.17 4.10 5/256 88490
/proc/meminfo: memFree=106489892/131524600 swapFree=131071996/131071996
[pid=88489] ppid=88486 vsize=35932 memory=18316 CPUtime=0.19 cores=0,2
/proc/88489/stat : 88489 (Exact_nosoplex) R 88486 88489 85818 0 -1 4194304 3031 0 0 0 19 0 0 0 20 0 1 0 8740433 36794368 4579 134679101440 4194304 7248369 140723538412736 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7946728 8011032 40161280 140723538416555 140723538416734 140723538416734 140723538423750 0
/proc/88489/statm: 8983 4579 835 746 0 8047 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 35932 KiB
Current children cumulated memory: 18316 KiB
[startup+0.305635 s]*
/proc/loadavg: 4.28 4.17 4.10 5/256 88490
/proc/meminfo: memFree=106489096/131524600 swapFree=131071996/131071996
[pid=88489] ppid=88486 vsize=36860 memory=19108 CPUtime=0.29 cores=0,2
/proc/88489/stat : 88489 (Exact_nosoplex) R 88486 88489 85818 0 -1 4194304 3250 0 0 0 29 0 0 0 20 0 1 0 8740433 37744640 4777 134679101440 4194304 7248369 140723538412736 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7946728 8011032 40161280 140723538416555 140723538416734 140723538416734 140723538423750 0
/proc/88489/statm: 9215 4777 835 746 0 8279 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 36860 KiB
Current children cumulated memory: 19108 KiB
[startup+0.700179 s]
/proc/loadavg: 4.28 4.17 4.10 5/256 88490
/proc/meminfo: memFree=106477948/131524600 swapFree=131071996/131071996
[pid=88489] ppid=88486 vsize=44536 memory=32368 CPUtime=0.68 cores=0,2
/proc/88489/stat : 88489 (Exact_nosoplex) R 88486 88489 85818 0 -1 4194304 5003 0 0 0 68 0 0 0 20 0 1 0 8740433 45604864 8092 134679101440 4194304 7248369 140723538412736 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7946728 8011032 40161280 140723538416555 140723538416734 140723538416734 140723538423750 0
/proc/88489/statm: 11134 8092 835 746 0 10198 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 44536 KiB
Current children cumulated memory: 32368 KiB
[startup+1.50019 s]
/proc/loadavg: 4.28 4.17 4.10 5/256 88490
/proc/meminfo: memFree=106465816/131524600 swapFree=131071996/131071996
[pid=88489] ppid=88486 vsize=51820 memory=42528 CPUtime=1.48 cores=0,2
/proc/88489/stat : 88489 (Exact_nosoplex) R 88486 88489 85818 0 -1 4194304 6526 0 0 0 147 1 0 0 20 0 1 0 8740433 53063680 10632 134679101440 4194304 7248369 140723538412736 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7946728 8011032 40161280 140723538416555 140723538416734 140723538416734 140723538423750 0
/proc/88489/statm: 12955 10632 835 746 0 12019 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 51820 KiB
Current children cumulated memory: 42528 KiB
[startup+3.10545 s]
/proc/loadavg: 4.28 4.17 4.10 5/256 88490
/proc/meminfo: memFree=106434440/131524600 swapFree=131071996/131071996
[pid=88489] ppid=88486 vsize=69692 memory=52328 CPUtime=3.09 cores=0,2
/proc/88489/stat : 88489 (Exact_nosoplex) R 88486 88489 85818 0 -1 4194304 8193 0 0 0 307 2 0 0 20 0 1 0 8740433 71364608 13082 134679101440 4194304 7248369 140723538412736 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7946728 8011032 40161280 140723538416555 140723538416734 140723538416734 140723538423750 0
/proc/88489/statm: 17423 13082 835 746 0 16487 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 69692 KiB
Current children cumulated memory: 52328 KiB
[startup+6.30021 s]
/proc/loadavg: 4.25 4.17 4.10 5/256 88491
/proc/meminfo: memFree=106394232/131524600 swapFree=131071996/131071996
[pid=88489] ppid=88486 vsize=84912 memory=73928 CPUtime=6.26 cores=0,2
/proc/88489/stat : 88489 (Exact_nosoplex) R 88486 88489 85818 0 -1 4194304 11562 0 0 0 624 2 0 0 20 0 1 0 8740433 86949888 18482 134679101440 4194304 7248369 140723538412736 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7946728 8011032 40161280 140723538416555 140723538416734 140723538416734 140723538423750 0
/proc/88489/statm: 21228 18482 835 746 0 20292 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 84912 KiB
Current children cumulated memory: 73928 KiB
[startup+12.7002 s]
/proc/loadavg: 4.23 4.16 4.10 5/256 88491
/proc/meminfo: memFree=106302204/131524600 swapFree=131071996/131071996
[pid=88489] ppid=88486 vsize=187076 memory=141956 CPUtime=12.65 cores=0,2
/proc/88489/stat : 88489 (Exact_nosoplex) R 88486 88489 85818 0 -1 4194304 21250 0 0 0 1258 7 0 0 20 0 1 0 8740433 191565824 35489 134679101440 4194304 7248369 140723538412736 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7946728 8011032 40161280 140723538416555 140723538416734 140723538416734 140723538423750 0
/proc/88489/statm: 46769 35489 835 746 0 45833 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 187076 KiB
Current children cumulated memory: 141956 KiB
[startup+25.5002 s]
/proc/loadavg: 4.18 4.15 4.10 5/256 88494
/proc/meminfo: memFree=106249760/131524600 swapFree=131071996/131071996
[pid=88489] ppid=88486 vsize=189724 memory=144144 CPUtime=25.41 cores=0,2
/proc/88489/stat : 88489 (Exact_nosoplex) R 88486 88489 85818 0 -1 4194304 21839 0 0 0 2534 7 0 0 20 0 1 0 8740433 194277376 36036 134679101440 4194304 7248369 140723538412736 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7946728 8011032 40161280 140723538416555 140723538416734 140723538416734 140723538423750 0
/proc/88489/statm: 47431 36036 835 746 0 46495 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 189724 KiB
Current children cumulated memory: 144144 KiB
[startup+51.1055 s]
/proc/loadavg: 4.19 4.16 4.10 5/256 88544
/proc/meminfo: memFree=107069676/131524600 swapFree=131071996/131071996
[pid=88489] ppid=88486 vsize=207768 memory=181320 CPUtime=50.93 cores=0,2
/proc/88489/stat : 88489 (Exact_nosoplex) R 88486 88489 85818 0 -1 4194304 26640 0 0 0 5085 8 0 0 20 0 1 0 8740433 212754432 45330 134679101440 4194304 7248369 140723538412736 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7946728 8011032 40161280 140723538416555 140723538416734 140723538416734 140723538423750 0
/proc/88489/statm: 51942 45330 835 746 0 51006 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 207768 KiB
Current children cumulated memory: 181320 KiB
[startup+102.3 s]
/proc/loadavg: 4.15 4.15 4.09 5/257 88554
/proc/meminfo: memFree=106753836/131524600 swapFree=131071996/131071996
[pid=88489] ppid=88486 vsize=261876 memory=226780 CPUtime=101.95 cores=0,2
/proc/88489/stat : 88489 (Exact_nosoplex) R 88486 88489 85818 0 -1 4194304 38032 0 0 0 10183 12 0 0 20 0 1 0 8740433 268161024 56695 134679101440 4194304 7248369 140723538412736 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7946728 8011032 40161280 140723538416555 140723538416734 140723538416734 140723538423750 0
/proc/88489/statm: 65469 56695 835 746 0 64533 0
Current children cumulated CPU time: 101.95 s
Current children cumulated vsize: 261876 KiB
Current children cumulated memory: 226780 KiB
[startup+162.3 s]
/proc/loadavg: 4.11 4.13 4.09 5/257 88568
/proc/meminfo: memFree=106614060/131524600 swapFree=131071996/131071996
[pid=88489] ppid=88486 vsize=295760 memory=255668 CPUtime=161.76 cores=0,2
/proc/88489/stat : 88489 (Exact_nosoplex) R 88486 88489 85818 0 -1 4194304 45286 0 0 0 16160 16 0 0 20 0 1 0 8740433 302858240 63917 134679101440 4194304 7248369 140723538412736 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7946728 8011032 40161280 140723538416555 140723538416734 140723538416734 140723538423750 0
/proc/88489/statm: 73940 63917 835 746 0 73004 0
Current children cumulated CPU time: 161.76 s
Current children cumulated vsize: 295760 KiB
Current children cumulated memory: 255668 KiB
[startup+222.3 s]
/proc/loadavg: 4.15 4.14 4.09 5/257 88578
/proc/meminfo: memFree=106363164/131524600 swapFree=131071996/131071996
[pid=88489] ppid=88486 vsize=295760 memory=255668 CPUtime=221.55 cores=0,2
/proc/88489/stat : 88489 (Exact_nosoplex) R 88486 88489 85818 0 -1 4194304 45305 0 0 0 22139 16 0 0 20 0 1 0 8740433 302858240 63917 134679101440 4194304 7248369 140723538412736 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7946728 8011032 40161280 140723538416555 140723538416734 140723538416734 140723538423750 0
/proc/88489/statm: 73940 63917 835 746 0 73004 0
Current children cumulated CPU time: 221.55 s
Current children cumulated vsize: 295760 KiB
Current children cumulated memory: 255668 KiB
[startup+282.3 s]
/proc/loadavg: 4.11 4.13 4.09 5/257 88589
/proc/meminfo: memFree=106342880/131524600 swapFree=131071996/131071996
[pid=88489] ppid=88486 vsize=295760 memory=255700 CPUtime=281.35 cores=0,2
/proc/88489/stat : 88489 (Exact_nosoplex) R 88486 88489 85818 0 -1 4194304 45570 0 0 0 28119 16 0 0 20 0 1 0 8740433 302858240 63925 134679101440 4194304 7248369 140723538412736 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7946728 8011032 40161280 140723538416555 140723538416734 140723538416734 140723538423750 0
/proc/88489/statm: 73940 63925 835 746 0 73004 0
Current children cumulated CPU time: 281.35 s
Current children cumulated vsize: 295760 KiB
Current children cumulated memory: 255700 KiB
[startup+342.3 s]
/proc/loadavg: 4.08 4.12 4.09 5/257 88599
/proc/meminfo: memFree=106335988/131524600 swapFree=131071996/131071996
[pid=88489] ppid=88486 vsize=295760 memory=255720 CPUtime=341.17 cores=0,2
/proc/88489/stat : 88489 (Exact_nosoplex) R 88486 88489 85818 0 -1 4194304 45705 0 0 0 34100 17 0 0 20 0 1 0 8740433 302858240 63930 134679101440 4194304 7248369 140723538412736 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7946728 8011032 40161280 140723538416555 140723538416734 140723538416734 140723538423750 0
/proc/88489/statm: 73940 63930 835 746 0 73004 0
Current children cumulated CPU time: 341.17 s
Current children cumulated vsize: 295760 KiB
Current children cumulated memory: 255720 KiB
[startup+402.3 s]
/proc/loadavg: 4.43 4.23 4.13 5/257 88610
/proc/meminfo: memFree=106323948/131524600 swapFree=131071996/131071996
[pid=88489] ppid=88486 vsize=296904 memory=257732 CPUtime=400.97 cores=0,2
/proc/88489/stat : 88489 (Exact_nosoplex) R 88486 88489 85818 0 -1 4194304 46298 0 0 0 40080 17 0 0 20 0 1 0 8740433 304029696 64433 134679101440 4194304 7248369 140723538412736 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7946728 8011032 40161280 140723538416555 140723538416734 140723538416734 140723538423750 0
/proc/88489/statm: 74226 64433 851 746 0 73290 0
Current children cumulated CPU time: 400.97 s
Current children cumulated vsize: 296904 KiB
Current children cumulated memory: 257732 KiB
[startup+462.3 s]
/proc/loadavg: 4.16 4.18 4.12 5/255 88622
/proc/meminfo: memFree=106318724/131524600 swapFree=131071996/131071996
[pid=88489] ppid=88486 vsize=296904 memory=257732 CPUtime=460.76 cores=0,2
/proc/88489/stat : 88489 (Exact_nosoplex) R 88486 88489 85818 0 -1 4194304 46311 0 0 0 46059 17 0 0 20 0 1 0 8740433 304029696 64433 134679101440 4194304 7248369 140723538412736 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7946728 8011032 40161280 140723538416555 140723538416734 140723538416734 140723538423750 0
/proc/88489/statm: 74226 64433 851 746 0 73290 0
Current children cumulated CPU time: 460.76 s
################
# More data... #
################
Current children cumulated memory: 291452 KiB
[startup+2862.3 s]
/proc/loadavg: 4.18 4.19 4.17 5/257 90111
/proc/meminfo: memFree=103134552/131524600 swapFree=131071996/131071996
[pid=88489] ppid=88486 vsize=307152 memory=291452 CPUtime=2852.71 cores=0,2
/proc/88489/stat : 88489 (Exact_nosoplex) R 88486 88489 85818 0 -1 4194304 51454 0 0 0 285248 23 0 0 20 0 1 0 8740433 314523648 72863 134679101440 4194304 7248369 140723538412736 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7946728 8011032 40161280 140723538416555 140723538416734 140723538416734 140723538423750 0
/proc/88489/statm: 76788 72863 851 746 0 75852 0
Current children cumulated CPU time: 2852.71 s
Current children cumulated vsize: 307152 KiB
Current children cumulated memory: 291452 KiB
[startup+2922.3 s]
/proc/loadavg: 4.11 4.17 4.17 5/257 90121
/proc/meminfo: memFree=103131708/131524600 swapFree=131071996/131071996
[pid=88489] ppid=88486 vsize=307152 memory=291580 CPUtime=2912.5 cores=0,2
/proc/88489/stat : 88489 (Exact_nosoplex) R 88486 88489 85818 0 -1 4194304 51603 0 0 0 291227 23 0 0 20 0 1 0 8740433 314523648 72895 134679101440 4194304 7248369 140723538412736 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7946728 8011032 40161280 140723538416555 140723538416734 140723538416734 140723538423750 0
/proc/88489/statm: 76788 72895 851 746 0 75852 0
Current children cumulated CPU time: 2912.5 s
Current children cumulated vsize: 307152 KiB
Current children cumulated memory: 291580 KiB
[startup+2982.3 s]
/proc/loadavg: 4.19 4.18 4.17 5/258 90301
/proc/meminfo: memFree=103129180/131524600 swapFree=131071996/131071996
[pid=88489] ppid=88486 vsize=307408 memory=291636 CPUtime=2972.29 cores=0,2
/proc/88489/stat : 88489 (Exact_nosoplex) R 88486 88489 85818 0 -1 4194304 51750 0 0 0 297206 23 0 0 20 0 1 0 8740433 314785792 72909 134679101440 4194304 7248369 140723538412736 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7946728 8011032 40161280 140723538416555 140723538416734 140723538416734 140723538423750 0
/proc/88489/statm: 76852 72909 851 746 0 75916 0
Current children cumulated CPU time: 2972.29 s
Current children cumulated vsize: 307408 KiB
Current children cumulated memory: 291636 KiB
[startup+3042.3 s]
/proc/loadavg: 4.12 4.16 4.17 5/259 90312
/proc/meminfo: memFree=103126444/131524600 swapFree=131071996/131071996
[pid=88489] ppid=88486 vsize=307408 memory=291708 CPUtime=3032.08 cores=0,2
/proc/88489/stat : 88489 (Exact_nosoplex) R 88486 88489 85818 0 -1 4194304 51864 0 0 0 303185 23 0 0 20 0 1 0 8740433 314785792 72927 134679101440 4194304 7248369 140723538412736 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7946728 8011032 40161280 140723538416555 140723538416734 140723538416734 140723538423750 0
/proc/88489/statm: 76852 72927 851 746 0 75916 0
Current children cumulated CPU time: 3032.08 s
Current children cumulated vsize: 307408 KiB
Current children cumulated memory: 291708 KiB
[startup+3102.3 s]
/proc/loadavg: 4.21 4.18 4.17 5/260 90325
/proc/meminfo: memFree=103123604/131524600 swapFree=131071996/131071996
[pid=88489] ppid=88486 vsize=307408 memory=291708 CPUtime=3091.87 cores=0,2
/proc/88489/stat : 88489 (Exact_nosoplex) R 88486 88489 85818 0 -1 4194304 51977 0 0 0 309164 23 0 0 20 0 1 0 8740433 314785792 72927 134679101440 4194304 7248369 140723538412736 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7946728 8011032 40161280 140723538416555 140723538416734 140723538416734 140723538423750 0
/proc/88489/statm: 76852 72927 851 746 0 75916 0
Current children cumulated CPU time: 3091.87 s
Current children cumulated vsize: 307408 KiB
Current children cumulated memory: 291708 KiB
[startup+3162.3 s]
/proc/loadavg: 4.14 4.16 4.17 5/257 90348
/proc/meminfo: memFree=103114804/131524600 swapFree=131071996/131071996
[pid=88489] ppid=88486 vsize=307408 memory=291708 CPUtime=3151.66 cores=0,2
/proc/88489/stat : 88489 (Exact_nosoplex) R 88486 88489 85818 0 -1 4194304 52088 0 0 0 315143 23 0 0 20 0 1 0 8740433 314785792 72927 134679101440 4194304 7248369 140723538412736 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7946728 8011032 40161280 140723538416555 140723538416734 140723538416734 140723538423750 0
/proc/88489/statm: 76852 72927 851 746 0 75916 0
Current children cumulated CPU time: 3151.66 s
Current children cumulated vsize: 307408 KiB
Current children cumulated memory: 291708 KiB
[startup+3222.3 s]
/proc/loadavg: 4.10 4.14 4.16 5/257 90358
/proc/meminfo: memFree=103113344/131524600 swapFree=131071996/131071996
[pid=88489] ppid=88486 vsize=307408 memory=291708 CPUtime=3211.45 cores=0,2
/proc/88489/stat : 88489 (Exact_nosoplex) R 88486 88489 85818 0 -1 4194304 52201 0 0 0 321122 23 0 0 20 0 1 0 8740433 314785792 72927 134679101440 4194304 7248369 140723538412736 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7946728 8011032 40161280 140723538416555 140723538416734 140723538416734 140723538423750 0
/proc/88489/statm: 76852 72927 851 746 0 75916 0
Current children cumulated CPU time: 3211.45 s
Current children cumulated vsize: 307408 KiB
Current children cumulated memory: 291708 KiB
[startup+3282.3 s]
/proc/loadavg: 4.14 4.15 4.16 5/257 90368
/proc/meminfo: memFree=103110704/131524600 swapFree=131071996/131071996
[pid=88489] ppid=88486 vsize=307408 memory=291708 CPUtime=3271.24 cores=0,2
/proc/88489/stat : 88489 (Exact_nosoplex) R 88486 88489 85818 0 -1 4194304 52316 0 0 0 327101 23 0 0 20 0 1 0 8740433 314785792 72927 134679101440 4194304 7248369 140723538412736 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7946728 8011032 40161280 140723538416555 140723538416734 140723538416734 140723538423750 0
/proc/88489/statm: 76852 72927 851 746 0 75916 0
Current children cumulated CPU time: 3271.24 s
Current children cumulated vsize: 307408 KiB
Current children cumulated memory: 291708 KiB
[startup+3342.3 s]
/proc/loadavg: 4.10 4.13 4.15 5/257 90380
/proc/meminfo: memFree=103109944/131524600 swapFree=131071996/131071996
[pid=88489] ppid=88486 vsize=307408 memory=291708 CPUtime=3331.03 cores=0,2
/proc/88489/stat : 88489 (Exact_nosoplex) R 88486 88489 85818 0 -1 4194304 52427 0 0 0 333080 23 0 0 20 0 1 0 8740433 314785792 72927 134679101440 4194304 7248369 140723538412736 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7946728 8011032 40161280 140723538416555 140723538416734 140723538416734 140723538423750 0
/proc/88489/statm: 76852 72927 851 746 0 75916 0
Current children cumulated CPU time: 3331.03 s
Current children cumulated vsize: 307408 KiB
Current children cumulated memory: 291708 KiB
[startup+3402.3 s]
/proc/loadavg: 4.11 4.14 4.15 5/255 90391
/proc/meminfo: memFree=103107276/131524600 swapFree=131071996/131071996
[pid=88489] ppid=88486 vsize=307408 memory=291836 CPUtime=3390.82 cores=0,2
/proc/88489/stat : 88489 (Exact_nosoplex) R 88486 88489 85818 0 -1 4194304 52574 0 0 0 339059 23 0 0 20 0 1 0 8740433 314785792 72959 134679101440 4194304 7248369 140723538412736 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7946728 8011032 40161280 140723538416555 140723538416734 140723538416734 140723538423750 0
/proc/88489/statm: 76852 72959 851 746 0 75916 0
Current children cumulated CPU time: 3390.82 s
Current children cumulated vsize: 307408 KiB
Current children cumulated memory: 291836 KiB
[startup+3462.3 s]
/proc/loadavg: 4.14 4.14 4.15 5/255 90402
/proc/meminfo: memFree=103105616/131524600 swapFree=131071996/131071996
[pid=88489] ppid=88486 vsize=307408 memory=291836 CPUtime=3450.61 cores=0,2
/proc/88489/stat : 88489 (Exact_nosoplex) R 88486 88489 85818 0 -1 4194304 52691 0 0 0 345038 23 0 0 20 0 1 0 8740433 314785792 72959 134679101440 4194304 7248369 140723538412736 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7946728 8011032 40161280 140723538416555 140723538416734 140723538416734 140723538423750 0
/proc/88489/statm: 76852 72959 851 746 0 75916 0
Current children cumulated CPU time: 3450.61 s
Current children cumulated vsize: 307408 KiB
Current children cumulated memory: 291836 KiB
[startup+3522.3 s]
/proc/loadavg: 4.09 4.13 4.15 5/255 90412
/proc/meminfo: memFree=103103280/131524600 swapFree=131071996/131071996
[pid=88489] ppid=88486 vsize=307408 memory=291836 CPUtime=3510.41 cores=0,2
/proc/88489/stat : 88489 (Exact_nosoplex) R 88486 88489 85818 0 -1 4194304 52805 0 0 0 351018 23 0 0 20 0 1 0 8740433 314785792 72959 134679101440 4194304 7248369 140723538412736 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7946728 8011032 40161280 140723538416555 140723538416734 140723538416734 140723538423750 0
/proc/88489/statm: 76852 72959 851 746 0 75916 0
Current children cumulated CPU time: 3510.41 s
Current children cumulated vsize: 307408 KiB
Current children cumulated memory: 291836 KiB
[startup+3582.3 s]
/proc/loadavg: 4.14 4.13 4.15 5/255 90423
/proc/meminfo: memFree=103098784/131524600 swapFree=131071996/131071996
[pid=88489] ppid=88486 vsize=307408 memory=291836 CPUtime=3570.2 cores=0,2
/proc/88489/stat : 88489 (Exact_nosoplex) R 88486 88489 85818 0 -1 4194304 52917 0 0 0 356997 23 0 0 20 0 1 0 8740433 314785792 72959 134679101440 4194304 7248369 140723538412736 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7946728 8011032 40161280 140723538416555 140723538416734 140723538416734 140723538423750 0
/proc/88489/statm: 76852 72959 851 746 0 75916 0
Current children cumulated CPU time: 3570.2 s
Current children cumulated vsize: 307408 KiB
Current children cumulated memory: 291836 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3612.2 s]
/proc/loadavg: 4.00 4.10 4.14 4/248 90459
/proc/meminfo: memFree=103879632/131524600 swapFree=131071996/131071996
[pid=88489] ppid=88486 vsize=307408 memory=291836 CPUtime=3600 cores=0,2
/proc/88489/stat : 88489 (Exact_nosoplex) R 88486 88489 85818 0 -1 4194304 53027 0 0 0 359977 23 0 0 20 0 1 0 8740433 314785792 72959 134679101440 4194304 7248369 140723538412736 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7946728 8011032 40161280 140723538416555 140723538416734 140723538416734 140723538423750 0
/proc/88489/statm: 76852 72959 851 746 0 75916 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 307408 KiB
Current children cumulated memory: 291836 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3612.2 s]
# the end of solver process 88489 was just reported to runsolver
# Child status: 10
# cumulated CPU time of all completed processes: user=3599.77 s, system=0.23752 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 10
Real time (s): 3612.2
CPU time (s): 3600.01
CPU user time (s): 3599.77
CPU system time (s): 0.23752
CPU usage (%): 99.6625
Max. virtual memory (cumulated for all children) (KiB): 307408
Max. memory (cumulated for all children) (KiB): 291836
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.77
system time used= 0.23752
maximum resident set size= 291836
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 53028
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= 36
involuntary context switches= 25204
# summary of solver processes directly reported to runsolver:
# pid: 88489
# total CPU time (s): 3600.01
# total CPU user time (s): 3599.77
# total CPU system time (s): 0.23752
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.5014 second user time and 16.3192 second system time
The end
Begin job on nodeC033 at 2024-07-23 10:08:27 IDJOB=4456443 IDBENCH=143996 IDSOLVER=3039 FILE ID=nodeC033/4456443-1721722107 RUNJOBID= nodeC033-1721718417-85828 SLURM_JOB_ID= 7770410 Free space on /tmp= 890064 MiB SOLVER NAME= Exact_no_SoPlex 2024-07-05 BENCH NAME= PB24/WBO/PARTIAL-LIN/wcsp/warehouse/normalized-cap104_wcsp.wbo COMMAND LINE= HOME/Exact_nosoplex --print-uniform=0 --verbosity=0 --print-sol --seed=RANDOMSEED BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4456443-1721722107/watcher-4456443-1721722107 -o /tmp/evaluation-result-4456443-1721722107/solver-4456443-1721722107 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC033-1721718417-85828 --watchdog 3760 HOME/Exact_nosoplex --print-uniform=0 --verbosity=0 --print-sol --seed=1677618319 HOME/instance-4456443-1721722107.wbo TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 8ae6cf967e584e12cada7dd8fbc9b19b RANDOM SEED=1677618319 nodeC033.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 : 0xb00002a cpu MHz : 3658.461 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 invpcid_single pti ibrs ibpb stibp 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 : 6999.99 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 : 3686.376 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 invpcid_single pti ibrs ibpb stibp 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 : 7005.76 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 : 3655.044 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 invpcid_single pti ibrs ibpb stibp 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 : 6999.99 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 : 3600.203 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 invpcid_single pti ibrs ibpb stibp 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 : 7005.76 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 : 3658.746 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 invpcid_single pti ibrs ibpb stibp 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 : 6999.99 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 : 3686.611 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 invpcid_single pti ibrs ibpb stibp 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 : 7005.76 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 : 3600.179 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 invpcid_single pti ibrs ibpb stibp 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 : 6999.99 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 : 3600.289 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 invpcid_single pti ibrs ibpb stibp 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 : 7005.76 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131524600 kB MemFree: 106507620 kB MemAvailable: 123960920 kB Buffers: 139688 kB Cached: 18069704 kB SwapCached: 0 kB Active: 903480 kB Inactive: 23403260 kB Active(anon): 1532 kB Inactive(anon): 6133532 kB Active(file): 901948 kB Inactive(file): 17269728 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071996 kB Dirty: 10544 kB Writeback: 56 kB AnonPages: 6095508 kB Mapped: 110468 kB Shmem: 37720 kB KReclaimable: 242892 kB Slab: 347228 kB SReclaimable: 242892 kB SUnreclaim: 104336 kB KernelStack: 4160 kB PageTables: 21524 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196834296 kB Committed_AS: 7880132 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 18976 kB HardwareCorrupted: 0 kB AnonHugePages: 5632000 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: 305876 kB DirectMap2M: 23584768 kB DirectMap1G: 112197632 kB Free space on /tmp at the end= 890064 MiB End job on nodeC033 at 2024-07-23 11:08:40