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.02 | 3611.71 |
| Name | PB24/WBO/PARTIAL-LIN/wcsp/warehouse/ normalized-cap111_wcsp.wbo |
| MD5SUM | 9202fc79e8368b67f7e7060a66676775 |
| 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 | 7688496 |
| Best CPU time to get the best result obtained on this benchmark | 4.37019 |
| Max-Satisfiable | |
| Max-(Un)Satisfiability was proved | |
| Best value of the cost | |
| Optimality of the best cost was proved | |
| Number of variables | 2600 |
| Total number of constraints | 5148 |
| Number of soft constraints | 5048 |
| Number of constraints which are clauses | 5048 |
| Number of constraints which are cardinality constraints (but not clauses) | 100 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 50 |
| Top cost | 61306436 |
| Min constraint cost | 1 |
| Max constraint cost | 61306436 |
| Sum of constraints costs | 154547346300 |
| Biggest number in a constraint | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 51 |
| Number of bits of the biggest sum of numbers | 6 |
| 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 27735166 0.00/0.07 o 24605620 0.00/0.07 o 24245992 0.00/0.07 o 24232033 0.00/0.07 o 24156075 0.00/0.07 o 23594403 0.00/0.07 o 23449143 0.00/0.08 o 23397280 0.00/0.08 o 23331395 0.00/0.08 o 23323092 0.00/0.08 o 23259385 0.00/0.09 o 23201386 0.00/0.09 o 23172983 0.00/0.09 o 23134834 0.00/0.09 o 23119627 0.00/0.09 o 23112412 0.09/0.10 o 23106279 0.09/0.10 o 23099223 0.09/0.11 o 23071590 0.09/0.12 o 22861319 0.09/0.12 o 22832916 0.09/0.14 o 22687656 0.09/0.15 o 22582034 0.09/0.15 o 22561172 0.09/0.17 o 22251073 0.09/0.18 o 22034972 0.09/0.18 o 21889712 0.09/0.20 o 21886654 0.19/0.23 o 21821053 0.19/0.29 o 21810935 0.19/0.29 o 21810415 0.19/0.30 o 21806017 0.19/0.30 o 21803879 0.40/0.43 o 21793029 0.40/0.43 o 21647769 0.49/0.52 o 21383776 0.49/0.52 o 21171406 0.49/0.53 o 21170886 0.49/0.53 o 21166488 0.49/0.53 o 21164350 0.49/0.54 o 21143488 0.59/0.63 o 21141102 0.59/0.64 o 21138964 0.59/0.66 o 21110561 0.59/0.69 o 21089554 0.68/0.70 o 21078704 0.68/0.76 o 20825924 0.68/0.76 o 20680664 0.68/0.77 o 20557320 0.68/0.77 o 20350978 0.78/0.89 o 20349715 0.88/0.90 o 20347577 0.88/0.91 o 20341444 0.88/0.92 o 20333367 0.88/0.95 o 20329049 0.88/0.95 o 20308252 0.88/0.96 o 20263044 0.88/0.96 o 20220656 0.88/0.97 o 20136320 0.98/1.03 o 20115758 21.71/21.81 o 20075566 21.71/21.86 o 20065290 21.71/21.89 o 20040056 21.81/21.92 o 20011769 22.02/22.13 o 18728754 22.02/22.18 o 18563559 22.11/22.22 o 18489222 22.61/22.73 o 18462746 22.61/22.78 o 18425134 22.71/22.82 o 18374704 26.00/26.13 o 18210112 26.00/26.18 o 17975534 26.10/26.23 o 17673736 27.00/27.14 o 17494168 27.09/27.21 o 17486848 27.09/27.26 o 17475227 29.00/29.14 o 17401590 29.09/29.20 o 17297384 29.09/29.25 o 17281030 32.89/33.02 o 17251636 32.99/33.12 o 17240143 32.99/33.19 o 17237169 33.08/33.26 o 17229488 41.26/41.50 o 17151649 53.22/53.42 o 17132715 53.22/53.46 o 17110069 74.75/75.06 o 16985533 90.50/90.87 o 16812466 90.50/90.89 o 16808042 90.60/90.91 o 16807222 90.60/90.94 o 16801674 90.60/90.96 o 16799422 90.60/90.98 o 16798919 90.60/91.00 o 16797769 90.70/91.02 o 16726672 90.70/91.04 o 16655575 90.70/91.06 o 16584478 90.70/91.08 o 16513381 90.80/91.10 o 16510535 90.80/91.12 o 16503292 90.80/91.14 o 16502142 90.90/91.28 o 16500359 90.90/91.29 o 16493039 91.00/91.31 o 16489562 91.00/91.33 o 16487796 91.00/91.35 o 16486646 91.00/91.37 o 16484319 91.00/91.38 o 16483169 91.10/91.40 o 16478186 91.10/91.42 o 16477036 91.20/91.57 o 16475417 91.20/91.59 o 16472094 91.29/91.61 o 16464567 91.59/91.94 o 16460652 91.70/92.04 o 16445438 91.70/92.06 o 16444918 91.70/92.08 o 16440520 91.70/92.09 o 16438382 91.80/92.12 o 16434387 91.80/92.14 o 16432249 92.09/92.48 o 16395333 92.19/92.52 o 16393508 92.19/92.55 o 16390212 92.19/92.57 o 16383496 92.19/92.59 o 16372646 92.29/92.63 o 16372431 92.29/92.65 o 16365375 92.29/92.67 o 16344229 92.29/92.69 o 16342120 92.39/92.71 o 16337014 92.39/92.73 o 16330881 92.70/93.03 o 16327968 92.70/93.06 o 16283915 92.70/93.09 o 16278809 92.80/93.11 o 16272676 92.80/93.17 o 16195435 92.80/93.19 o 16167032 92.90/93.22 o 16156169 92.90/93.23 o 16154615 92.90/93.25 o 16146706 92.90/93.27 o 16146650 92.90/93.29 o 16127808 93.00/93.31 o 16121675 93.00/93.33 o 16118303 93.00/93.35 o 16118247 93.00/93.37 o 16099405 93.00/93.39 o 16093272 93.10/93.44 o 16091087 93.10/93.47 o 16060534 93.10/93.49 o 16045577 93.19/93.51 o 16034727 93.19/93.53 o 16033804 93.19/93.55 o 16029809 93.19/93.57 o 16027671 93.70/94.00 o 16024246 93.70/94.05 o 16019572 93.70/94.08 o 15993765 93.80/94.11 o 15943335 94.29/94.68 o 14675009 94.39/94.72 o 12895001 94.39/94.76 o 12877563 94.39/94.79 o 12803226 95.29/95.68 o 12802582 95.39/95.70 o 12766461 95.39/95.72 o 12758425 95.39/95.74 o 12753751 95.39/95.79 o 12744510 95.48/95.81 o 12733022 95.48/95.83 o 12730913 95.48/95.85 o 12713957 95.48/95.86 o 12705716 95.48/95.88 o 12688150 95.58/95.93 o 12673856 95.58/95.95 o 12645453 95.69/96.03 o 12639990 95.69/96.05 o 12616901 95.79/96.13 o 12599214 95.79/96.15 o 12580276 95.79/96.17 o 12559714 96.28/96.68 o 12317943 96.38/96.74 o 12091954 96.88/97.26 o 12085213 96.98/97.35 o 12060587 96.98/97.37 o 12055018 96.98/97.39 o 12021172 97.08/97.41 o 11998526 97.08/97.44 o 11733830 97.08/97.46 o 11588570 97.68/98.04 o 11371968 99.47/99.80 o 11370213 99.47/99.82 o 11353041 99.57/99.90 o 11302611 99.57/99.98 o 11281749 99.97/100.34 o 11258660 100.87/101.25 o 11242306 100.87/101.30 o 11130466 100.97/101.33 o 10920431 100.97/101.35 o 10901594 100.97/101.38 o 10889692 101.07/101.40 o 10884041 101.07/101.43 o 10853644 101.47/101.82 o 10840681 101.47/101.85 o 10833154 101.57/101.91 o 10832634 101.57/101.94 o 10828236 101.57/101.97 o 10826098 101.67/102.01 o 10816857 101.67/102.04 o 10805369 101.67/102.06 o 10803260 101.67/102.09 o 10800235 101.77/102.12 o 10771347 101.77/102.14 o 10760497 102.16/102.50 o 10741586 102.16/102.55 o 10690589 102.16/102.58 o 10652977 102.26/102.60 o 10602547 103.06/103.48 o 10594403 104.16/104.53 o 10449143 109.74/110.19 o 10430306 109.84/110.21 o 10418404 109.84/110.23 o 10412753 109.84/110.25 o 10398710 109.84/110.27 o 10382356 113.03/113.41 o 10344830 116.41/116.80 o 10337587 125.49/125.93 o 10336998 125.49/125.97 o 10336178 125.59/126.02 o 10335180 125.59/126.06 o 10323552 125.69/126.12 o 10321414 125.78/126.22 o 10288409 125.78/126.26 o 10280332 125.88/126.34 o 10274869 125.88/126.38 o 10251780 126.48/126.98 o 10195338 126.59/127.02 o 10161381 126.59/127.06 o 10109987 126.59/127.09 o 10035650 127.58/128.09 o 10019296 129.87/130.33 o 10014838 129.87/130.37 o 9997666 130.97/131.47 o 9989660 132.17/132.61 o 9712838 148.01/148.51 o 9712733 148.01/148.55 o 9710208 148.52/149.07 o 9708965 150.01/150.56 o 9699449 150.11/150.60 o 9680508 154.09/154.68 o 9535248 187.18/187.80 o 9524158 187.18/187.83 o 9499738 188.27/188.98 o 9459078 188.38/189.01 o 9455620 188.38/189.03 o 9451668 188.38/189.05 o 9436544 224.54/225.30 o 9436349 224.54/225.34 o 9429012 227.13/227.95 o 9414688 236.10/236.90 o 9414646 236.10/236.94 o 9411667 238.50/239.37 o 9386756 243.88/244.70 o 9327506 243.88/244.74 o 9300251 243.88/244.78 o 9209302 266.50/267.42 o 9207462 266.50/267.46 o 9206312 266.60/267.50 o 9204187 272.38/273.33 o 9202530 272.38/273.38 o 9194494 272.48/273.49 o 9158626 342.74/343.99 o 9158391 342.84/344.03 o 9151148 342.84/344.07 o 9149039 342.94/344.11 o 9137800 342.94/344.16 o 9101932 342.94/344.19 o 9081070 343.04/344.27 o 9041276 343.14/344.30 o 9026319 345.83/347.05 o 9014822 366.76/368.06 o 9014049 366.76/368.08 o 9012827 366.76/368.10 o 9011311 366.95/368.24 o 9008337 367.55/368.88 o 8992898 370.55/371.81 o 8986547 372.04/373.32 o 8965043 372.64/373.96 o 8936312 435.53/437.02 o 8936130 435.53/437.06 o 8924321 435.82/437.30 o 8921528 504.78/506.51 o 8921443 549.14/551.06 o 8917707 549.24/551.14 o 8894510 549.24/551.19 o 8861840 550.53/552.43 o 8860124 550.53/552.49 o 8860080 550.62/552.54 o 8859440 550.82/552.73 o 8855404 550.82/552.79 o 8855123 550.92/552.84 o 8854291 550.92/552.89 o 8853651 551.02/552.95 o 8849847 551.02/553.00 o 8848973 551.13/553.05 o 8847092 551.13/553.10 o 8847048 551.23/553.14 o 8846408 551.32/553.20 o 8845832 551.32/553.25 o 8844662 551.42/553.30 o 8843830 551.42/553.35 o 8843190 551.52/553.40 o 8841917 551.52/553.44 o 8840036 551.52/553.49 o 8839992 551.62/553.54 o 8839352 558.99/560.96 o 8838351 559.10/561.02 o 8837519 559.10/561.08 o 8836879 559.29/561.20 o 8836360 559.29/561.26 o 8836316 559.39/561.32 o 8835676 559.59/561.50 o 8834416 559.59/561.55 o 8834372 559.69/561.61 o 8833732 559.69/561.68 o 8833324 559.79/561.73 o 8833280 559.79/561.79 o 8832640 559.89/561.85 o 8832241 559.99/561.90 o 8831367 559.99/561.96 o 8829486 560.09/562.03 o 8829442 560.09/562.09 o 8828802 560.29/562.26 o 8828283 560.39/562.32 o 8828239 560.39/562.37 o 8827599 584.42/586.45 o 8827116 584.42/586.48 o 8826296 586.41/588.46 o 8810857 759.80/762.47 o 8810578 759.90/762.50 o 8810400 759.90/762.53 o 8809580 759.90/762.57 o 8809127 760.00/762.60 o 8807455 763.88/766.52 o 8806496 763.88/766.56 o 8805498 763.98/766.60 o 8805435 763.98/766.64 o 8804877 763.98/766.68 o 8804057 764.08/766.72 o 8803383 764.08/766.76 o 8803205 764.18/766.80 o 8802385 764.18/766.86 o 8801911 764.28/766.90 o 8801436 764.28/766.94 o 8801037 764.28/766.98 o 8799659 764.39/767.02 o 8798985 764.39/767.06 o 8797987 764.58/767.23 o 8796860 764.58/767.28 o 8796682 764.68/767.32 o 8795862 764.98/767.60 o 8795789 764.98/767.65 o 8795740 764.98/767.69 o 8795097 765.08/767.73 o 8793069 768.27/770.97 o 8792404 769.37/772.08 o 8791406 773.35/776.06 o 8769776 910.38/913.59 o 8768951 910.48/913.63 o 8768131 910.48/913.66 o 8766006 1211.11/1215.29 o 8765646 1211.21/1215.32 o 8765330 1211.21/1215.35 o 8765152 1211.21/1215.38 o 8764332 1213.00/1217.14 o 8763333 1213.00/1217.17 o 8762513 1213.10/1217.21 o 8762264 1213.10/1217.25 o 8761942 1213.10/1217.28 o 8760874 1213.20/1217.32 o 8759666 1213.20/1217.35 o 8758846 1213.40/1217.53 o 8758616 1213.40/1217.56 o 8757902 1213.50/1217.60 o 8757636 1213.50/1217.63 o 8757262 1213.50/1217.66 o 8756958 1213.60/1217.70 o 8755038 1213.60/1217.73 o 8754218 1449.44/1454.32 o 8740871 1453.82/1458.77 o 8740092 1453.92/1458.81 o 8739663 1453.92/1458.84 o 8739023 1454.02/1458.95 o 8737956 1454.02/1458.98 o 8737448 1454.13/1459.01 o 8737200 1454.13/1459.04 o 8736270 1454.13/1459.07 o 8735201 1454.23/1459.11 o 8734900 1454.23/1459.14 o 8733831 1454.23/1459.17 o 8733463 1454.32/1459.20 o 8733428 1454.32/1459.23 o 8732359 1460.80/1465.77 o 8714549 1460.90/1465.81 o 8679358 1460.90/1465.83 o 8632435 1460.90/1465.84 o 8625756 1460.90/1465.86 o 8606919 1466.88/1471.86 o 8597403 1466.98/1471.90 o 8594337 1466.98/1471.93 o 8587017 1473.17/1478.17 o 8584317 1473.17/1478.20 o 8583655 1473.26/1478.22 o 8582161 1473.26/1478.25 o 8579319 1473.76/1478.73 o 8542571 1473.76/1478.76 o 8481147 1473.76/1478.79 o 8475684 1474.56/1479.54 o 8427551 1475.16/1480.10 o 8418035 1475.16/1480.13 o 8410715 1476.35/1481.37 o 8405840 1477.25/1482.22 o 8374244 1493.70/1498.79 o 8372306 1510.75/1515.89 o 8371176 1520.32/1525.45 o 8360270 1573.86/1579.15 o 8358598 1590.89/1596.27 o 8315464 1677.62/1683.21 o 8307008 1787.77/1793.76 o 8302664 1787.87/1793.81 o 8301842 1787.87/1793.85 o 8297856 1787.97/1793.90 o 8290491 1919.44/1925.80 o 8290124 1919.44/1925.86 o 8282918 1919.44/1925.89 o 8264783 1919.54/1925.91 o 8258007 1919.54/1925.94 o 8170198 1919.64/1926.00 o 8168971 1919.64/1926.03 o 8168309 1919.64/1926.05 o 8166815 1919.64/1926.08 o 8165133 1919.74/1926.10 o 8164471 1919.74/1926.13 o 8162977 1919.74/1926.16 o 8155762 1949.24/1955.70 o 8140918 1949.24/1955.72 o 8123222 1949.24/1955.74 o 8105087 1949.24/1955.75 o 8098311 2008.95/2015.62 o 8098002 2008.95/2015.63 o 8097247 2118.41/2125.47 o 8017614 2118.41/2125.47 o 8011488 2118.41/2125.48 o 8000053 2118.41/2125.48 o 7978818 3600.00/3611.70 c Program interrupted by user. 3600.00/3611.70 s SATISFIABLE 3600.00/3611.70 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 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600
OK 7978818
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 (49406 MiB free)
memory of node 1: 64473 MiB (43752 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4456423-1721721981/watcher-4456423-1721721981 -o /tmp/evaluation-result-4456423-1721721981/solver-4456423-1721721981 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC030-1721718370-86439 --watchdog 3760 HOME/Exact_nosoplex --print-uniform=0 --verbosity=0 --print-sol --seed=1437038529 HOME/instance-4456423-1721721981.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
Linux 4.18.0-301.1.el8.x
Current StackSize limit: 8192 KiB
solver pid=89074, runsolver pid=89071
[startup+0.100736 s]*
/proc/loadavg: 4.08 4.10 4.09 5/254 89075
/proc/meminfo: memFree=95376924/131524600 swapFree=131071996/131071996
[pid=89074] ppid=89071 vsize=39568 memory=20384 CPUtime=0.09 cores=0,2
/proc/89074/stat : 89074 (Exact_nosoplex) R 89071 89074 86429 0 -1 4194304 4433 0 0 0 9 0 0 0 20 0 1 0 8722093 40517632 5096 134679101440 4194304 7248369 140732470343152 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7946728 8011032 39481344 140732470346667 140732470346846 140732470346846 140732470353862 0
/proc/89074/statm: 9892 5096 835 746 0 8956 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 39568 KiB
Current children cumulated memory: 20384 KiB
[startup+0.205381 s]*
/proc/loadavg: 4.08 4.10 4.09 5/254 89075
/proc/meminfo: memFree=95375288/131524600 swapFree=131071996/131071996
[pid=89074] ppid=89071 vsize=41020 memory=21704 CPUtime=0.19 cores=0,2
/proc/89074/stat : 89074 (Exact_nosoplex) R 89071 89074 86429 0 -1 4194304 4804 0 0 0 19 0 0 0 20 0 1 0 8722093 42004480 5426 134679101440 4194304 7248369 140732470343152 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7946728 8011032 39481344 140732470346667 140732470346846 140732470346846 140732470353862 0
/proc/89074/statm: 10255 5426 835 746 0 9319 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 41020 KiB
Current children cumulated memory: 21704 KiB
[startup+0.305435 s]*
/proc/loadavg: 4.08 4.10 4.09 5/254 89075
/proc/meminfo: memFree=95371272/131524600 swapFree=131071996/131071996
[pid=89074] ppid=89071 vsize=43012 memory=25860 CPUtime=0.3 cores=0,2
/proc/89074/stat : 89074 (Exact_nosoplex) R 89071 89074 86429 0 -1 4194304 5272 0 0 0 29 1 0 0 20 0 1 0 8722093 44044288 6465 134679101440 4194304 7248369 140732470343152 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7946728 8011032 39481344 140732470346667 140732470346846 140732470346846 140732470353862 0
/proc/89074/statm: 10753 6465 835 746 0 9817 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 43012 KiB
Current children cumulated memory: 25860 KiB
[startup+0.700223 s]
/proc/loadavg: 4.08 4.10 4.09 5/254 89075
/proc/meminfo: memFree=95365472/131524600 swapFree=131071996/131071996
[pid=89074] ppid=89071 vsize=50108 memory=36812 CPUtime=0.68 cores=0,2
/proc/89074/stat : 89074 (Exact_nosoplex) R 89071 89074 86429 0 -1 4194304 7053 0 0 0 67 1 0 0 20 0 1 0 8722093 51310592 9203 134679101440 4194304 7248369 140732470343152 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7946728 8011032 39481344 140732470346667 140732470346846 140732470346846 140732470353862 0
/proc/89074/statm: 12527 9203 835 746 0 11591 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 50108 KiB
Current children cumulated memory: 36812 KiB
[startup+1.50023 s]
/proc/loadavg: 4.08 4.10 4.09 5/254 89075
/proc/meminfo: memFree=95352456/131524600 swapFree=131071996/131071996
[pid=89074] ppid=89071 vsize=62076 memory=55088 CPUtime=1.48 cores=0,2
/proc/89074/stat : 89074 (Exact_nosoplex) R 89071 89074 86429 0 -1 4194304 10084 0 0 0 146 2 0 0 20 0 1 0 8722093 63565824 13772 134679101440 4194304 7248369 140732470343152 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7946728 8011032 39481344 140732470346667 140732470346846 140732470346846 140732470353862 0
/proc/89074/statm: 15519 13772 835 746 0 14583 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 62076 KiB
Current children cumulated memory: 55088 KiB
[startup+3.10538 s]
/proc/loadavg: 4.15 4.12 4.09 5/254 89075
/proc/meminfo: memFree=95332932/131524600 swapFree=131071996/131071996
[pid=89074] ppid=89071 vsize=77900 memory=66420 CPUtime=3.08 cores=0,2
/proc/89074/stat : 89074 (Exact_nosoplex) R 89071 89074 86429 0 -1 4194304 11585 0 0 0 305 3 0 0 20 0 1 0 8722093 79769600 16605 134679101440 4194304 7248369 140732470343152 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7946728 8011032 39481344 140732470346667 140732470346846 140732470346846 140732470353862 0
/proc/89074/statm: 19475 16605 835 746 0 18539 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 77900 KiB
Current children cumulated memory: 66420 KiB
[startup+6.30021 s]
/proc/loadavg: 4.15 4.12 4.09 5/254 89075
/proc/meminfo: memFree=95309464/131524600 swapFree=131071996/131071996
[pid=89074] ppid=89071 vsize=116804 memory=89648 CPUtime=6.27 cores=0,2
/proc/89074/stat : 89074 (Exact_nosoplex) R 89071 89074 86429 0 -1 4194304 15790 0 0 0 623 4 0 0 20 0 1 0 8722093 119607296 22412 134679101440 4194304 7248369 140732470343152 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7946728 8011032 39481344 140732470346667 140732470346846 140732470346846 140732470353862 0
/proc/89074/statm: 29201 22412 835 746 0 28265 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 116804 KiB
Current children cumulated memory: 89648 KiB
[startup+12.7002 s]
/proc/loadavg: 4.13 4.11 4.09 5/254 89077
/proc/meminfo: memFree=95250944/131524600 swapFree=131071996/131071996
[pid=89074] ppid=89071 vsize=200560 memory=154580 CPUtime=12.64 cores=0,2
/proc/89074/stat : 89074 (Exact_nosoplex) R 89071 89074 86429 0 -1 4194304 25305 0 0 0 1257 7 0 0 20 0 1 0 8722093 205373440 38645 134679101440 4194304 7248369 140732470343152 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7946728 8011032 39481344 140732470346667 140732470346846 140732470346846 140732470353862 0
/proc/89074/statm: 50140 38645 835 746 0 49204 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 200560 KiB
Current children cumulated memory: 154580 KiB
[startup+25.5002 s]
/proc/loadavg: 4.11 4.11 4.09 5/254 89078
/proc/meminfo: memFree=95206336/131524600 swapFree=131071996/131071996
[pid=89074] ppid=89071 vsize=216868 memory=190112 CPUtime=25.4 cores=0,2
/proc/89074/stat : 89074 (Exact_nosoplex) R 89071 89074 86429 0 -1 4194304 29647 0 0 0 2531 9 0 0 20 0 1 0 8722093 222072832 47528 134679101440 4194304 7248369 140732470343152 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7946728 8011032 39481344 140732470346667 140732470346846 140732470346846 140732470353862 0
/proc/89074/statm: 54217 47528 835 746 0 53281 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 216868 KiB
Current children cumulated memory: 190112 KiB
[startup+51.1055 s]
/proc/loadavg: 4.13 4.11 4.09 5/254 89083
/proc/meminfo: memFree=95024068/131524600 swapFree=131071996/131071996
[pid=89074] ppid=89071 vsize=509488 memory=370804 CPUtime=50.93 cores=0,2
/proc/89074/stat : 89074 (Exact_nosoplex) R 89071 89074 86429 0 -1 4194304 54205 0 0 0 5071 22 0 0 20 0 1 0 8722093 521715712 92701 134679101440 4194304 7248369 140732470343152 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7946728 8011032 39481344 140732470346667 140732470346846 140732470346846 140732470353862 0
/proc/89074/statm: 127372 92701 835 746 0 126436 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 509488 KiB
Current children cumulated memory: 370804 KiB
[startup+102.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/255 89093
/proc/meminfo: memFree=94984276/131524600 swapFree=131071996/131071996
[pid=89074] ppid=89071 vsize=555536 memory=411000 CPUtime=101.96 cores=0,2
/proc/89074/stat : 89074 (Exact_nosoplex) R 89071 89074 86429 0 -1 4194304 64352 0 0 0 10172 24 0 0 20 0 1 0 8722093 568868864 102750 134679101440 4194304 7248369 140732470343152 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7946728 8011032 39481344 140732470346667 140732470346846 140732470346846 140732470353862 0
/proc/89074/statm: 138884 102750 835 746 0 137948 0
Current children cumulated CPU time: 101.96 s
Current children cumulated vsize: 555536 KiB
Current children cumulated memory: 411000 KiB
[startup+162.3 s]
/proc/loadavg: 4.08 4.10 4.09 5/258 89154
/proc/meminfo: memFree=95292556/131524600 swapFree=131071996/131071996
[pid=89074] ppid=89071 vsize=691044 memory=523920 CPUtime=161.76 cores=0,2
/proc/89074/stat : 89074 (Exact_nosoplex) R 89071 89074 86429 0 -1 4194304 92663 0 0 0 16145 31 0 0 20 0 1 0 8722093 707629056 130980 134679101440 4194304 7248369 140732470343152 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7946728 8011032 39481344 140732470346667 140732470346846 140732470346846 140732470353862 0
/proc/89074/statm: 172761 130980 835 746 0 171825 0
Current children cumulated CPU time: 161.76 s
Current children cumulated vsize: 691044 KiB
Current children cumulated memory: 523920 KiB
[startup+222.3 s]
/proc/loadavg: 4.13 4.11 4.09 5/258 89164
/proc/meminfo: memFree=95286208/131524600 swapFree=131071996/131071996
[pid=89074] ppid=89071 vsize=691420 memory=524272 CPUtime=221.55 cores=0,2
/proc/89074/stat : 89074 (Exact_nosoplex) R 89071 89074 86429 0 -1 4194304 92779 0 0 0 22124 31 0 0 20 0 1 0 8722093 708014080 131068 134679101440 4194304 7248369 140732470343152 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7946728 8011032 39481344 140732470346667 140732470346846 140732470346846 140732470353862 0
/proc/89074/statm: 172855 131068 835 746 0 171919 0
Current children cumulated CPU time: 221.55 s
Current children cumulated vsize: 691420 KiB
Current children cumulated memory: 524272 KiB
[startup+282.3 s]
/proc/loadavg: 4.09 4.11 4.09 5/260 89180
/proc/meminfo: memFree=95285248/131524600 swapFree=131071996/131071996
[pid=89074] ppid=89071 vsize=691420 memory=524316 CPUtime=281.36 cores=0,2
/proc/89074/stat : 89074 (Exact_nosoplex) R 89071 89074 86429 0 -1 4194304 92851 0 0 0 28104 32 0 0 20 0 1 0 8722093 708014080 131079 134679101440 4194304 7248369 140732470343152 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7946728 8011032 39481344 140732470346667 140732470346846 140732470346846 140732470353862 0
/proc/89074/statm: 172855 131079 835 746 0 171919 0
Current children cumulated CPU time: 281.36 s
Current children cumulated vsize: 691420 KiB
Current children cumulated memory: 524316 KiB
[startup+342.302 s]
/proc/loadavg: 4.14 4.12 4.09 5/260 89237
/proc/meminfo: memFree=100185864/131524600 swapFree=131071996/131071996
[pid=89074] ppid=89071 vsize=691676 memory=524688 CPUtime=341.15 cores=0,2
/proc/89074/stat : 89074 (Exact_nosoplex) R 89071 89074 86429 0 -1 4194304 92978 0 0 0 34083 32 0 0 20 0 1 0 8722093 708276224 131172 134679101440 4194304 7248369 140732470343152 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7946728 8011032 39481344 140732470346667 140732470346846 140732470346846 140732470353862 0
/proc/89074/statm: 172919 131172 835 746 0 171983 0
Current children cumulated CPU time: 341.15 s
Current children cumulated vsize: 691676 KiB
Current children cumulated memory: 524688 KiB
[startup+402.3 s]
/proc/loadavg: 4.11 4.11 4.09 5/260 89247
/proc/meminfo: memFree=100132448/131524600 swapFree=131071996/131071996
[pid=89074] ppid=89071 vsize=692188 memory=525292 CPUtime=400.94 cores=0,2
/proc/89074/stat : 89074 (Exact_nosoplex) R 89071 89074 86429 0 -1 4194304 93174 0 0 0 40061 33 0 0 20 0 1 0 8722093 708800512 131323 134679101440 4194304 7248369 140732470343152 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7946728 8011032 39481344 140732470346667 140732470346846 140732470346846 140732470353862 0
/proc/89074/statm: 173047 131323 835 746 0 172111 0
Current children cumulated CPU time: 400.94 s
Current children cumulated vsize: 692188 KiB
Current children cumulated memory: 525292 KiB
[startup+462.3 s]
/proc/loadavg: 4.16 4.12 4.09 5/256 89258
/proc/meminfo: memFree=100118680/131524600 swapFree=131071996/131071996
[pid=89074] ppid=89071 vsize=692188 memory=525292 CPUtime=460.73 cores=0,2
/proc/89074/stat : 89074 (Exact_nosoplex) R 89071 89074 86429 0 -1 4194304 93220 0 0 0 46040 33 0 0 20 0 1 0 8722093 708800512 131323 134679101440 4194304 7248369 140732470343152 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7946728 8011032 39481344 140732470346667 140732470346846 140732470346846 140732470353862 0
/proc/89074/statm: 173047 131323 835 746 0 172111 0
Current children cumulated CPU time: 460.73 s
################
# More data... #
################
Current children cumulated memory: 597640 KiB
[startup+2922.3 s]
/proc/loadavg: 4.14 4.16 4.12 5/257 90415
/proc/meminfo: memFree=102153384/131524600 swapFree=131071996/131071996
[pid=89074] ppid=89071 vsize=717064 memory=597640 CPUtime=2912.78 cores=0,2
/proc/89074/stat : 89074 (Exact_nosoplex) R 89071 89074 86429 0 -1 4194304 106211 0 0 0 291238 40 0 0 20 0 1 0 8722093 734273536 149410 134679101440 4194304 7248369 140732470343152 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7946728 8011032 39481344 140732470346667 140732470346846 140732470346846 140732470353862 0
/proc/89074/statm: 179266 149410 835 746 0 178330 0
Current children cumulated CPU time: 2912.78 s
Current children cumulated vsize: 717064 KiB
Current children cumulated memory: 597640 KiB
[startup+2982.3 s]
/proc/loadavg: 4.11 4.14 4.12 5/257 90808
/proc/meminfo: memFree=102105324/131524600 swapFree=131071996/131071996
[pid=89074] ppid=89071 vsize=717380 memory=597960 CPUtime=2972.59 cores=0,2
/proc/89074/stat : 89074 (Exact_nosoplex) R 89071 89074 86429 0 -1 4194304 106519 0 0 0 297219 40 0 0 20 0 1 0 8722093 734597120 149490 134679101440 4194304 7248369 140732470343152 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7946728 8011032 39481344 140732470346667 140732470346846 140732470346846 140732470353862 0
/proc/89074/statm: 179345 149490 851 746 0 178409 0
Current children cumulated CPU time: 2972.59 s
Current children cumulated vsize: 717380 KiB
Current children cumulated memory: 597960 KiB
[startup+3042.3 s]
/proc/loadavg: 4.15 4.14 4.12 5/257 90818
/proc/meminfo: memFree=102098896/131524600 swapFree=131071996/131071996
[pid=89074] ppid=89071 vsize=717892 memory=598304 CPUtime=3032.4 cores=0,2
/proc/89074/stat : 89074 (Exact_nosoplex) R 89071 89074 86429 0 -1 4194304 106891 0 0 0 303200 40 0 0 20 0 1 0 8722093 735121408 149576 134679101440 4194304 7248369 140732470343152 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7946728 8011032 39481344 140732470346667 140732470346846 140732470346846 140732470353862 0
/proc/89074/statm: 179473 149576 851 746 0 178537 0
Current children cumulated CPU time: 3032.4 s
Current children cumulated vsize: 717892 KiB
Current children cumulated memory: 598304 KiB
[startup+3102.3 s]
/proc/loadavg: 4.12 4.13 4.11 5/257 90829
/proc/meminfo: memFree=102092676/131524600 swapFree=131071996/131071996
[pid=89074] ppid=89071 vsize=718532 memory=598928 CPUtime=3092.21 cores=0,2
/proc/89074/stat : 89074 (Exact_nosoplex) R 89071 89074 86429 0 -1 4194304 107291 0 0 0 309181 40 0 0 20 0 1 0 8722093 735776768 149732 134679101440 4194304 7248369 140732470343152 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7946728 8011032 39481344 140732470346667 140732470346846 140732470346846 140732470353862 0
/proc/89074/statm: 179633 149732 851 746 0 178697 0
Current children cumulated CPU time: 3092.21 s
Current children cumulated vsize: 718532 KiB
Current children cumulated memory: 598928 KiB
[startup+3162.3 s]
/proc/loadavg: 4.14 4.14 4.11 5/256 91007
/proc/meminfo: memFree=102087720/131524600 swapFree=131071996/131071996
[pid=89074] ppid=89071 vsize=718532 memory=599172 CPUtime=3152.02 cores=0,2
/proc/89074/stat : 89074 (Exact_nosoplex) R 89071 89074 86429 0 -1 4194304 107539 0 0 0 315162 40 0 0 20 0 1 0 8722093 735776768 149793 134679101440 4194304 7248369 140732470343152 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7946728 8011032 39481344 140732470346667 140732470346846 140732470346846 140732470353862 0
/proc/89074/statm: 179633 149793 851 746 0 178697 0
Current children cumulated CPU time: 3152.02 s
Current children cumulated vsize: 718532 KiB
Current children cumulated memory: 599172 KiB
[startup+3222.3 s]
/proc/loadavg: 4.09 4.12 4.10 5/256 91017
/proc/meminfo: memFree=102073360/131524600 swapFree=131071996/131071996
[pid=89074] ppid=89071 vsize=718532 memory=599172 CPUtime=3211.82 cores=0,2
/proc/89074/stat : 89074 (Exact_nosoplex) R 89071 89074 86429 0 -1 4194304 107780 0 0 0 321142 40 0 0 20 0 1 0 8722093 735776768 149793 134679101440 4194304 7248369 140732470343152 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7946728 8011032 39481344 140732470346667 140732470346846 140732470346846 140732470353862 0
/proc/89074/statm: 179633 149793 851 746 0 178697 0
Current children cumulated CPU time: 3211.82 s
Current children cumulated vsize: 718532 KiB
Current children cumulated memory: 599172 KiB
[startup+3282.3 s]
/proc/loadavg: 4.11 4.13 4.10 5/258 91044
/proc/meminfo: memFree=102061652/131524600 swapFree=131071996/131071996
[pid=89074] ppid=89071 vsize=718532 memory=599172 CPUtime=3271.63 cores=0,2
/proc/89074/stat : 89074 (Exact_nosoplex) R 89071 89074 86429 0 -1 4194304 108024 0 0 0 327123 40 0 0 20 0 1 0 8722093 735776768 149793 134679101440 4194304 7248369 140732470343152 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7946728 8011032 39481344 140732470346667 140732470346846 140732470346846 140732470353862 0
/proc/89074/statm: 179633 149793 851 746 0 178697 0
Current children cumulated CPU time: 3271.63 s
Current children cumulated vsize: 718532 KiB
Current children cumulated memory: 599172 KiB
[startup+3342.3 s]
/proc/loadavg: 4.08 4.12 4.10 5/258 91056
/proc/meminfo: memFree=102059076/131524600 swapFree=131071996/131071996
[pid=89074] ppid=89071 vsize=718532 memory=599172 CPUtime=3331.44 cores=0,2
/proc/89074/stat : 89074 (Exact_nosoplex) R 89071 89074 86429 0 -1 4194304 108269 0 0 0 333104 40 0 0 20 0 1 0 8722093 735776768 149793 134679101440 4194304 7248369 140732470343152 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7946728 8011032 39481344 140732470346667 140732470346846 140732470346846 140732470353862 0
/proc/89074/statm: 179633 149793 851 746 0 178697 0
Current children cumulated CPU time: 3331.44 s
Current children cumulated vsize: 718532 KiB
Current children cumulated memory: 599172 KiB
[startup+3402.3 s]
/proc/loadavg: 4.14 4.12 4.10 5/258 91067
/proc/meminfo: memFree=102052044/131524600 swapFree=131071996/131071996
[pid=89074] ppid=89071 vsize=718532 memory=599172 CPUtime=3391.26 cores=0,2
/proc/89074/stat : 89074 (Exact_nosoplex) R 89071 89074 86429 0 -1 4194304 108510 0 0 0 339086 40 0 0 20 0 1 0 8722093 735776768 149793 134679101440 4194304 7248369 140732470343152 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7946728 8011032 39481344 140732470346667 140732470346846 140732470346846 140732470353862 0
/proc/89074/statm: 179633 149793 851 746 0 178697 0
Current children cumulated CPU time: 3391.26 s
Current children cumulated vsize: 718532 KiB
Current children cumulated memory: 599172 KiB
[startup+3462.3 s]
/proc/loadavg: 4.11 4.12 4.09 5/257 91077
/proc/meminfo: memFree=102050080/131524600 swapFree=131071996/131071996
[pid=89074] ppid=89071 vsize=718532 memory=599172 CPUtime=3451.07 cores=0,2
/proc/89074/stat : 89074 (Exact_nosoplex) R 89071 89074 86429 0 -1 4194304 108754 0 0 0 345067 40 0 0 20 0 1 0 8722093 735776768 149793 134679101440 4194304 7248369 140732470343152 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7946728 8011032 39481344 140732470346667 140732470346846 140732470346846 140732470353862 0
/proc/89074/statm: 179633 149793 851 746 0 178697 0
Current children cumulated CPU time: 3451.07 s
Current children cumulated vsize: 718532 KiB
Current children cumulated memory: 599172 KiB
[startup+3522.3 s]
/proc/loadavg: 4.16 4.12 4.10 5/257 91089
/proc/meminfo: memFree=102043304/131524600 swapFree=131071996/131071996
[pid=89074] ppid=89071 vsize=718532 memory=599172 CPUtime=3510.88 cores=0,2
/proc/89074/stat : 89074 (Exact_nosoplex) R 89071 89074 86429 0 -1 4194304 108998 0 0 0 351048 40 0 0 20 0 1 0 8722093 735776768 149793 134679101440 4194304 7248369 140732470343152 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7946728 8011032 39481344 140732470346667 140732470346846 140732470346846 140732470353862 0
/proc/89074/statm: 179633 149793 851 746 0 178697 0
Current children cumulated CPU time: 3510.88 s
Current children cumulated vsize: 718532 KiB
Current children cumulated memory: 599172 KiB
[startup+3582.3 s]
/proc/loadavg: 4.15 4.13 4.10 5/254 91099
/proc/meminfo: memFree=102042048/131524600 swapFree=131071996/131071996
[pid=89074] ppid=89071 vsize=718532 memory=599172 CPUtime=3570.69 cores=0,2
/proc/89074/stat : 89074 (Exact_nosoplex) R 89071 89074 86429 0 -1 4194304 109240 0 0 0 357029 40 0 0 20 0 1 0 8722093 735776768 149793 134679101440 4194304 7248369 140732470343152 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7946728 8011032 39481344 140732470346667 140732470346846 140732470346846 140732470353862 0
/proc/89074/statm: 179633 149793 851 746 0 178697 0
Current children cumulated CPU time: 3570.69 s
Current children cumulated vsize: 718532 KiB
Current children cumulated memory: 599172 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3611.7 s]
/proc/loadavg: 4.17 4.13 4.10 5/254 91103
/proc/meminfo: memFree=102041684/131524600 swapFree=131071996/131071996
[pid=89074] ppid=89071 vsize=718532 memory=599172 CPUtime=3600 cores=0,2
/proc/89074/stat : 89074 (Exact_nosoplex) R 89071 89074 86429 0 -1 4194304 109469 0 0 0 359960 40 0 0 20 0 1 0 8722093 735776768 149793 134679101440 4194304 7248369 140732470343152 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7946728 8011032 39481344 140732470346667 140732470346846 140732470346846 140732470353862 0
/proc/89074/statm: 179633 149793 851 746 0 178697 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 718532 KiB
Current children cumulated memory: 599172 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3611.71 s]
# the end of solver process 89074 was just reported to runsolver
# Child status: 10
# cumulated CPU time of all completed processes: user=3599.61 s, system=0.410843 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3611.7 s]
/proc/loadavg: 4.17 4.13 4.10 5/254 91103
/proc/meminfo: memFree=102041684/131524600 swapFree=131071996/131071996
[pid=89074] ppid=89071 vsize=718532 memory=599172 CPUtime=3600 cores=0,2
/proc/89074/stat : 89074 (Exact_nosoplex) R 89071 89074 86429 0 -1 4194304 109469 0 0 0 359960 40 0 0 20 0 1 0 8722093 735776768 149793 134679101440 4194304 7248369 140732470343152 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7946728 8011032 39481344 140732470346667 140732470346846 140732470346846 140732470353862 0
/proc/89074/statm: 179633 149793 851 746 0 178697 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 718532 KiB
Current children cumulated memory: 599172 KiB
Child status: 10
Real time (s): 3611.71
CPU time (s): 3600.02
CPU user time (s): 3599.61
CPU system time (s): 0.410843
CPU usage (%): 99.6764
Max. virtual memory (cumulated for all children) (KiB): 718532
Max. memory (cumulated for all children) (KiB): 599172
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.61
system time used= 0.410843
maximum resident set size= 599172
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 109473
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= 75
involuntary context switches= 25204
# summary of solver processes directly reported to runsolver:
# pid: 89074
# total CPU time (s): 3600.02
# total CPU user time (s): 3599.61
# total CPU system time (s): 0.410843
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.79427 second user time and 16.6447 second system time
The end
Begin job on nodeC030 at 2024-07-23 10:06:21 IDJOB=4456423 IDBENCH=143986 IDSOLVER=3039 FILE ID=nodeC030/4456423-1721721981 RUNJOBID= nodeC030-1721718370-86439 SLURM_JOB_ID= 7770398 Free space on /tmp= 890060 MiB SOLVER NAME= Exact_no_SoPlex 2024-07-05 BENCH NAME= PB24/WBO/PARTIAL-LIN/wcsp/warehouse/normalized-cap111_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-4456423-1721721981/watcher-4456423-1721721981 -o /tmp/evaluation-result-4456423-1721721981/solver-4456423-1721721981 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC030-1721718370-86439 --watchdog 3760 HOME/Exact_nosoplex --print-uniform=0 --verbosity=0 --print-sol --seed=1437038529 HOME/instance-4456423-1721721981.wbo TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 9202fc79e8368b67f7e7060a66676775 RANDOM SEED=1437038529 nodeC030.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 : 3641.425 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.45 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 : 3688.533 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.46 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 : 3642.361 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.45 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.159 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.46 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 : 3676.122 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.45 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 : 3688.541 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.46 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 : 3615.835 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.45 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3599.866 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.46 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131524600 kB MemFree: 95394348 kB MemAvailable: 120864464 kB Buffers: 142000 kB Cached: 26057556 kB SwapCached: 0 kB Active: 932400 kB Inactive: 34422844 kB Active(anon): 1544 kB Inactive(anon): 9191892 kB Active(file): 930856 kB Inactive(file): 25230952 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071996 kB Dirty: 5072 kB Writeback: 0 kB AnonPages: 9151460 kB Mapped: 110384 kB Shmem: 37720 kB KReclaimable: 296264 kB Slab: 403624 kB SReclaimable: 296264 kB SUnreclaim: 107360 kB KernelStack: 4096 kB PageTables: 27316 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196834296 kB Committed_AS: 12376368 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 19552 kB HardwareCorrupted: 0 kB AnonHugePages: 8067072 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: 277204 kB DirectMap2M: 25710592 kB DirectMap1G: 110100480 kB Free space on /tmp at the end= 890048 MiB End job on nodeC030 at 2024-07-23 11:06:33